Lemma 2

Tag 042G, permanent. Cite it as [Bourbaki, Tag 042G].

Commutative Algebra, chapter I, § 2. Flat modules

If $v : M' \to M$ is injective and $v(M')$ is a direct factor of $M$ , the homomorphism $1, \otimes v$ is injective and its image is a direct factor of $E \otimes_A M$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Exercise 4, § 2
Lemma 5, § 2
Proposition 8, § 3

Cites

Nothing.