Cho A,B là hai vành, E là một môđun trái trên A, F là một môđun phải trên A và G là một (A,B)-song môđun; khi đó HomB(F,G) có một cấu trúc môđun trái trên A và HomA(E,G) có một cấu trúc môđun phải trên B. Chứng minh rằng các Z-môđun
HomA(E,HomB(F,G))vaˋHomB(F,HomA(E,G)) đều đẳng cấu chính tắc với
Z-môđun các ánh xạ
Z-song tuyến tính
f từ
E×F vào
G sao cho
f(αx,y)=αf(x,y) và
f(x,yβ)=f(x,y)β với
α∈A,β∈B,x∈E,y∈F.