Lemma 1
Tag 0DWR, permanent. Cite it as [Bourbaki, Tag 0DWR].
Algebra, chapter X, § 5. Modules d’extensions
a) If or is bounded on the right, if is projective and if , then . b) If or is bounded on the left, if is injective and if , then .
Let ; is then a morphism of complexes from to ; in case a) (resp. b)), vanishes for sufficiently small (resp. sufficiently large). By X, p. 47, Proposition 1, is then homotopic to zero, hence belongs to , which gives the conclusion.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.