Đại số, X, p. 202
Cho (Mi)i∈E là một họ các A-môđun. (a) Bây giờ chứng minh rằng diA(∏i∈EMi)=supdiA(Mi). (b) Nếu A là Noether, bây giờ chứng minh rằng diA(⨁i∈EMi)=supdiA(Mi). (c) Nếu diA(⨁i∈EMi)=supdiA(Mi) với mọi họ (Mi)i∈E các A-môđun, thì A là Noether (sử dụng Bài tập 21, p. 170).