Corollary 1
Tag 0E2J, permanent. Cite it as [Bourbaki, Tag 0E2J].
Algebra, chapter X, § 9. Complexes de Koszul
If is surjective, is homotopic to zero (X, p. 34) as well as and for every complex .
Indeed, there exists such that . Then is homotopic to zero by the proposition 1, and therefore also (X, p. 64, prop. 3) and (X, p. 83, prop. 3).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.