Đại số, X, p. 187
Cho A,B là hai đại số k (kết hợp và có một phần tử khả nghịch), M là một A-môđun trái, P là một B-môđun trái, N là một song môđun (B,A). (a) Chứng minh rằng tồn tại hai dãy phổ (X, pp. 175-177, bài tập 14 đến 17) của các k-môđun 1E và 2E, hội tụ về cùng một k-môđun phân bậc, sao cho
1E2pq=ExtAp(M,ExtBq(N,P));2E2pq=ExtBp(TorqA(N,M),P). (b) Bằng hợp thành của các đồng cấu
γ và
δ của bài tập 15, p. 176, định nghĩa một
k-đồng cấu
μ:ExtA(M,HomB(N,P))→HomB(TorA(N,M),P). Nếu
P là đơn ánh, chứng minh rằng
μ là một đẳng cấu. (c) Nếu
N là một
A-môđun phẳng, chỉ ra rằng dãy
1E hội tụ về
ExtB(N⊗AM,P); nếu
N là một
B-môđun xạ ảnh, dãy
2E hội tụ về
ExtA(M,HomB(N,P)). (d) Cho
ρ:A→B là một đồng cấu của các đại số
k. Chỉ ra rằng tồn tại một dãy phổ
E, sao cho
E2pq=ExtBp(TorqA(B,M),P), hội tụ về
ExtA(M,P), và một dãy phổ
′E, sao cho
′E2pq=ExtBp(P,ExtAq(B,M)), hội tụ về
ExtA(P,M).