Proposition 3
Tag 0DTX, permanent. Cite it as [Bourbaki, Tag 0DTX].
Algebra, chapter X, § 3. Résolutions
Let be a homomorphism of A-modules, a morphism into of a complex null on the right and projective , and a left resolution of M. There exists a morphism of complexes , and only one up to homotopy, such that .
Let us consider the complex defined as follows: for , , for , , , and the complex defined analogously. Applying to the complexes and Prop. 1 a) with , for and , we obtain Prop. 3.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.