Bourbaki

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 RR or SS is flat, then ψ(S,R)\psi(S, R) is an isomorphism of graded kk-modules.

b) If RR is projective or if EE is injective, φ(R,E)\varphi(R, E) is an isomorphism of graded kk-modules.

a) Suppose for example R\mathbf R flat, and choose α\alpha and β\beta as above. The homomorphism β⊗α\beta\otimes\alpha is the composite of the morphisms

L(P)⊗AL(M)→1L(P)⊗αL(P)⊗AR→β⊗1RS⊗AR. L(P)\otimes_A L(M)\xrightarrow{1_{L(P)}\otimes\alpha}L(P)\otimes_A\mathbf R\xrightarrow{\beta\otimes1_{\mathbf R}}S\otimes_A\mathbf R.

Since L(P)L(P) (resp. R\mathbf R) is flat and α\alpha (resp. β\beta) is a homomorphism, 1L(P)⊗α1_{L(P)}\otimes\alpha (resp. β⊗1R\beta\otimes1_{\mathbf R}) is one, by prop. 4 of X, p. 67. Therefore β⊗α\beta\otimes\alpha is a homomorphism and ψ(S,R)=H(β⊗α)\psi(S,R)=H(\beta\otimes\alpha) 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.

Translated with machine help, not yet reviewed by a person.