Bourbaki

Proposition 2

Tag 0447, permanent. Cite it as [Bourbaki, Tag 0447].

Commutative Algebra, chapter I, § 3. Faithfully flat modules

Let EE be a faithfully flat right AA-module and u:N′→Nu : N' \to N a left AA-module homomorphism. For uu to be injective (resp. surjective, bijective), it is necessary and sufficient that 1E⊗u:E⊗AN′→E⊗AN1_E \otimes u : E \otimes_A N' \to E \otimes_A N 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

Cites

Transcribed from the printed volume. Not translated.