Corollary 3

Tag 060C, permanent. Cite it as [Bourbaki, Tag 060C].

Algebra, chapter III, § 4. Tensor products of algebras

Let $E, F$ be two $A$ -algebras and $a$ an ideal of $A$ contained in the annihilator of $F$ . Then the $(A/a)$ -algebra $E \otimes_A F$ is canonically isomorphic to $(E/aE) \otimes_{A/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

Nothing.