Algebra, X, p. 189
Let A,B be two k-algebras (associative and with unit); let M be a left A-module, P a right B-module, N an (A,B)-bimodule. Consider the homomorphism
σ:HomB(N,P)⊗AM→HomB(HomA(M,N),P) such that
σ(u⊗m)(v)=u∘v(m) for
u∈HomB(N,P),v∈HomA(M,N),m∈M (II, p. 190, exercise 6). (a) Replacing
M by a projective resolution, define with the aid of
σ a
k-homomorphism
τ:TorA(HomB(N,P),M)→HomgrB(ExtA(M,N),P). (b) Suppose henceforth that
A is left noetherian and that the
A-module
M is of finite type. Now prove that if the
B-module
P is injective,
τ is an isomorphism. (c) Now prove that there exist two spectral sequences
E and
′E (X, pp. 175-177, exercises 14 to 17), converging to the same graded
k-module, such that
E2pq=TorpA(ExtBq(N,P),M)′E2pq=ExtBp(ExtA−q(M,N),P).