Example 2

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

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

The complexes homotopic to zero are the split complexes of zero homology, i.e. the complexes $C$ such that $H(C)=0$ and that $Z(C)$ is a direct factor in $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.