Đại số, X, p. 189
Cho ρ:A→B là một đồng cấu vành, M,N là hai B-môđun trái, P là một B-môđun phải. a) Gọi LB (tương ứng LA) là một phân giải xạ ảnh của B-môđun (tương ứng của A-môđun) M. Chứng minh rằng tồn tại một cấu xạ A-tuyến tính của các phân giải LA→LB, duy nhất sai khác bởi đồng luân; suy ra các đồng cấu k phân bậc bậc không
α:TorA(P,M)→TorB(P,M)β:ExtB(M,N)→ExtA(M,N). b) Xét các đồng cấu chính tắc (X, p. 109)
λ:TorA(P,M)→TorB(P⊗AB,M)μ:TorA(P,M)→TorB(P,B⊗AM) ν:ExtB(B⊗AM,N)→ExtA(M,N)ρ:ExtB(M,HomA(B,N))→ExtA(M,N). Cho
m:B⊗AM→M,p:P⊗AB→B và
n:N→HomA(B,N) là các đồng cấu
B được xác định bởi
m(b⊗x)=bx,p(y⊗b)=yb và
n(z)(b)=bz với
b∈B,x∈M,y∈P,z∈N. Chứng minh các đẳng thức
α=Tor(1P,m)∘μ=Tor(p,1M)∘λ β=ν∘Ext(m,1N)=ρ∘Ext(1M,n).