Bourbaki

Example 4

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

Algebra, chapter X, § 2. Complexes de A-modules

The complex CC is split as soon as B(C)B(C) and H(C)H(C) are projective (resp. as soon as Bn(C)B_n(C) and Hn(C)H_n(C) are injective for each nn). Indeed, according to the exact sequences (In)(I_n) to (IVn)(IV_n) of No. 1, Z(C)Z(C) is then a direct factor in CC and B(C)B(C) a direct factor of Z(C)Z(C) (resp. B(C)B(C) is a direct factor in CC and Z(C)/B(C)Z(C)/B(C) a direct factor in C/B(C)C/B(C)).

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.