Corollary 1

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

Algebra, chapter X, § 9. Complexes de Koszul

For $H_p(x,C)=0$ to hold, it is necessary and sufficient that the homothety with ratio $x$ in $H_p(C)$ be surjective and that the homothety with ratio $x$ in $H_{p-1}(C)$ be injective.

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

Cited by

Nothing.

Cites

Nothing.