Đại số, X, p. 189
Cho A,B là hai k-đại số (kết hợp và có phần tử khả nghịch); cho M là một A-môđun trái, P là một B-môđun phải, N là một (A,B)-song môđun. Xét đồng cấu
σ:HomB(N,P)⊗AM→HomB(HomA(M,N),P) sao cho
σ(u⊗m)(v)=u∘v(m) với
u∈HomB(N,P),v∈HomA(M,N),m∈M (II, p. 190, bài tập 6). (a) Thay thế
M bởi một phân giải xạ ảnh, định nghĩa với sự trợ giúp của
σ một đồng cấu
k τ:TorA(HomB(N,P),M)→HomgrB(ExtA(M,N),P). (b) Từ nay giả sử rằng
A là Noether trái và rằng
A-môđun
M là kiểu hữu hạn. Bây giờ chứng minh rằng nếu
B-môđun
P là đơn ánh, thì
τ là một đẳng cấu. (c) Bây giờ chứng minh rằng tồn tại hai dãy phổ
E và
′E (X, pp. 175-177, bài tập 14 đến 17), hội tụ đến cùng một
k-môđun phân bậc, sao cho
E2pq=TorpA(ExtBq(N,P),M)′E2pq=ExtBp(ExtA−q(M,N),P).