Remark 1

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

Commutative Algebra, chapter I, § 2. Flat modules

With the hypotheses of Proposition 6, $E \otimes_A F'$ is usually identified with $\phi(F')$ for every submodule $F'$ of $F$ , which gives the formula

E \otimes_A (F' \cap F'') = (E \otimes_A F') \cap (E \otimes_A F'').

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

Cited by

Nothing.

Cites

Proposition 6