Example 1
Tag 0DTU, permanent. Cite it as [Bourbaki, Tag 0DTU].
Algebra, chapter X, § 3. Résolutions
Suppose that the ring is principal; let be an -module and a generating family of . Denote by the free module , by its canonical basis, and define by . The morphism is surjective and its kernel is a free -module by VII, § 3, Corollary 2 to Theorem 1; hence the exact sequence
is a free resolution of of length 1. If is finite, and are of finite type.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.