Bourbaki

Corollary 1

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

Algebra, chapter X, § 9. Complexes de Koszul

If uu is surjective, K(u)K(u) is homotopic to zero (X, p. 34) as well as KA(u,C)K^A(u, C) and KA∗(u,C)K_A^*(u, C) for every complex CC.

Indeed, there exists x∈Lx \in L such that u(x)=1u(x) = 1. Then K(u)K(u) is homotopic to zero by the proposition 1, and therefore also KA(u,C)K^A(u, C) (X, p. 64, prop. 3) and KA∗(u,C)K_A^*(u, C) (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.

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