Theorem 1
Tag 0DXT, permanent. Cite it as [Bourbaki, Tag 0DXT].
Algebra, chapter X, § 6. Utilisation de résolutions non canoniques
a) If one of the resolutions or is flat, then is an isomorphism of graded -modules.
b) If is projective or if is injective, is an isomorphism of graded -modules.
a) Suppose for example flat, and choose and as above. The homomorphism is the composite of the morphisms
Since (resp. ) is flat and (resp. ) is a homomorphism, (resp. ) is one, by prop. 4 of X, p. 67. Therefore is a homomorphism and is bijective.
b) One reasons analogously, using prop. 4 of X, p. 86.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.