Definition 1
Tag 0DTR, permanent. Cite it as [Bourbaki, Tag 0DTR].
Algebra, chapter X, § 3. Résolutions
Let be an -module. A left resolution of is a pair where is a complex zero on the right and is a homomorphism. A right resolution of is a pair where is a complex zero on the left and a homomorphism.
The length of the resolution (resp. ) is called the length of the complex (resp. ). If and (resp. and ) are two left (resp. right) resolutions of , a morphism of complexes such that (resp. such that ) is called a morphism of resolutions.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.