Corollary 2
Tag 0DW6, permanent. Cite it as [Bourbaki, Tag 0DW6].
Algebra, chapter X, § 4. Produits de torsion
Suppose and are projective and is flat. Then the sequences of -modules (11) and (13) are exact and split. This follows from the theorem and the following lemma:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.