Bourbaki

Remark 1

Tag 0DV2, permanent. Cite it as [Bourbaki, Tag 0DV2].

Algebra, chapter X, § 4. Produits de torsion

When C′C' is reduced to C0′=MC'_0=M, then (C⊗AC′)n=Cn⊗AM(C\otimes_A C')_n=C_n\otimes_A M and D=d⊗1MD=d\otimes 1_M; for example C⊗AAsC\otimes_A A_s is naturally identified with CC. Similarly, when CC is reduced to C0=PC_0=P, then (C⊗AC′)n=P⊗ACn′(C\otimes_A C')_n=P\otimes_A C'_n and D=1P⊗dD=1_P\otimes d.

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

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.