Proposition 21
Tag 054G, permanent. Cite it as [Bourbaki, Tag 054G].
Commutative Algebra, chapter VII, § 4. Modules over integrally closed Noetherian domains
Let be a Dedekind domain. Every pseudo-zero -module is zero. Every pseudo-injective (resp. pseudo-surjective, pseudo-bijective, pseudo-zero) -module homomorphism is injective (resp. surjective, bijective, zero).
The first assertion has already been shown (no. 4, Example 1); the others follow from it immediately.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.