Bài tập 20, § 4

Cho A là một miền Dedekind, P là một A-môđun xạ ảnh và N là một môđun con của P. Chứng minh rằng N là xạ ảnh và là một tổng trực tiếp của các môđun đẳng cấu với các iđêan của A. (Có thể chỉ xét trường hợp P là tự do. Khi đó tiến hành như trong Bài tập 16, sử dụng một lập luận quy nạp siêu hạn dựa trên lập luận của Đại số, Chương VII, § 3, Định lý 1.)