Algebra, X, p. 187
Let A,B be two k-algebras (associative and with a unit), M a left A-module, P a left B-module, N a (B,A)-bimodule. (a) Prove that there exist two spectral sequences (X, pp. 175-177, exercises 14 to 17) of k-modules 1E and 2E, converging to the same graded k-module, such that
1E2pq=ExtAp(M,ExtBq(N,P));2E2pq=ExtBp(TorqA(N,M),P). (b) By composition of the homomorphisms
γ and
δ of exercise 15, p. 176, define a
k-homomorphism
μ:ExtA(M,HomB(N,P))→HomB(TorA(N,M),P). If
P is injective, prove that
μ is an isomorphism. (c) If
N is a flat
A-module, show that the sequence
1E converges to
ExtB(N⊗AM,P); if
N is a projective
B-module, the sequence
2E converges to
ExtA(M,HomB(N,P)). (d) Let
ρ:A→B be a homomorphism of
k-algebras. Show that there exists a spectral sequence
E, such that
E2pq=ExtBp(TorqA(B,M),P), converging to
ExtA(M,P), and a spectral sequence
′E, such that
′E2pq=ExtBp(P,ExtAq(B,M)), converging to
ExtA(P,M).