Remark
Tag 0DU1, permanent. Cite it as [Bourbaki, Tag 0DU1].
Algebra, chapter X, § 3. Résolutions
If , one does not have . However these two morphisms are homotopic according to X, p. 49, prop. 3.
Let be a right a-module; denote by the opposite ring of , by the underlying -module of , by its canonical free resolution. This is denoted by , and the underlying A-complex of is called the canonical free resolution of . Thus one has
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.