Đại số, X, p. 187
Cho M là một A-môđun, n là một số nguyên ⩾1. Bây giờ chứng minh rằng các điều kiện sau là tương đương:
α) M có một n-biểu diễn hữu hạn (X, p. 180, bài tập 6).
β) Đối với mọi hệ quy nạp lọc (Nα)α∈I, đồng cấu chính tắc
limExtAi(M,Nα)→ExtAi(M,limNα) là song ánh đối với
i<n.
γ) Đối với mọi họ (Pβ)β∈J các A-môđun phải, đồng cấu chính tắc
ToriAβ∈J∏Pβ,M→β∈J∏ToriA(Pβ,M) là song ánh đối với
i<n.
δ) Đối với mọi tập hợp I, đồng cấu chính tắc Ad!⊗AM→M! là song ánh, và ta có
ToriA(Ad!,M)=0cho 0<i<n. (Lập luận bằng quy nạp theo
n, sử dụng bài tập 18, p. 170.)