Đại số, X, p. 180
a) Cho 0→K→P→M→0, 0→K′→P′→M→0 là hai dãy khớp của các A-môđun, với P và P′ xạ ảnh. Bây giờ chứng minh rằng tồn tại một biểu đồ giao hoán:
00→→K⊕P′↓vP⊕K′→→P⊕P′↓uP⊕P′→→M↓lMM→→00
trong đó các dòng ngang là khớp, và trong đó u và v là các đẳng cấu (xem 11, p. 183, bài tập 4).
b) Cho n là một số nguyên ⩾0, (P,p) và (P′,p′) là hai giải xạ ảnh trái của A-môđun M, sao cho Pj=Pj′=0 với j>n và các A-môđun Pi và Pi′ là xạ ảnh với 0⩽i⩽n−1. Bây giờ chứng minh rằng các A-môđun ⨁i⩾0(P2i⊕P2i+1′) và ⨁j⩾0(P2j′⊕P2j+1) là đẳng cấu.
c) Dưới các giả thiết của b), bây giờ chứng minh rằng tồn tại hai phức xạ ảnh R,R′ có đồng điều bằng không, sao cho Ri=Ri′=0 với i∈/[0,n], và một đẳng cấu của các giải u:P⊕R→P′⊕R′.