Proposition 2
Tag 0447, permanent. Cite it as [Bourbaki, Tag 0447].
Commutative Algebra, chapter I, § 3. Faithfully flat modules
Let be a faithfully flat right -module and a left -module homomorphism. For to be injective (resp. surjective, bijective), it is necessary and sufficient that be so.
This is an immediate consequence of criterion (a) of Proposition 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
- Proposition 11, § 3
- Proposition 12, § 3
- Proposition 4, § 3
- Proposition 6, § 3
- Proposition 8, § 3
- Corollary 2, § 3