Cho E là một môđun trái A được trình bày hữu hạn. (a) Chứng minh rằng với mọi họ (Fi)i∈I các môđun phải A, đồng cấu chính tắc E⊗A(∏i∈IFi)→∏L∈I(E⊗AFi) (Đại số, chương II, § 3, no. 7) là song ánh. (b) Cho (Gα,ϕβα) là một hệ trực tiếp các môđun trái A; chứng minh rằng đồng cấu chính tắc
⟶limHomA(E,Gα)→HomA(E,⟶limGα)
là song ánh.