Corollary 2
Tag 0E2K, permanent. Cite it as [Bourbaki, Tag 0E2K].
Algebra, chapter X, § 9. Complexes de Koszul
Let be a complex, Ann (C) its annihilator. Then annihilates and .
For every , the homothety is homotopic to zero by the proposition, hence so also are and Homgr () by X, p. 64, prop. 3 and X, p. 83, prop. 3; it follows that annihilates and . If , then and Homgr () are zero.
Suppose projective (resp. acyclic in degrees > 0). Then the complex is projective by III, p. 87, cor. 2 (resp. is a resolution of ); by X, p. 102 (resp. p. 100), one therefore has, for every -module , homomorphisms
(2) , resp. (3) , .
If is projective and acyclic in degrees > 0, the homomorphisms (2) and (3) above are bijective and reciprocal to one another (X, p. 102, prop. 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.