Bourbaki

Bài tập 5, § 3

Đại số, X, p. 180

a) Cho 0→K→P→M→0, 0→K′→P′→M→00 \to K \to P \to M \to 0,\ 0 \to K' \to P' \to M \to 0 là hai dãy khớp của các AA-môđun, với PP và P′P' xạ ảnh. Bây giờ chứng minh rằng tồn tại một biểu đồ giao hoán:

0→K⊕P′→P⊕P′→M→0↓v↓u↓lM0→P⊕K′→P⊕P′→M→0 \begin{array}{ccccccccc} 0 & \to & K \oplus P' & \to & P \oplus P' & \to & M & \to & 0 \\ & & \downarrow v & & \downarrow u & & \downarrow l_M & & \\ 0 & \to & P \oplus K' & \to & P \oplus P' & \to & M & \to & 0 \end{array}

trong đó các dòng ngang là khớp, và trong đó uu và vv là các đẳng cấu (xem 11, p. 183, bài tập 4).

b) Cho nn là một số nguyên ⩾0\geqslant 0, (P,p)(P, p) và (P′,p′)(P', p') là hai giải xạ ảnh trái của AA-môđun MM, sao cho Pj=Pj′=0P_j = P'_j = 0 với j>nj > n và các AA-môđun PiP_i và Pi′P'_i là xạ ảnh với 0⩽i⩽n−10 \leqslant i \leqslant n - 1. Bây giờ chứng minh rằng các AA-môđun ⨁i⩾0(P2i⊕P2i+1′)\bigoplus_{i \geqslant 0} (P_{2i} \oplus P'_{2i+1}) và ⨁j⩾0(P2j′⊕P2j+1)\bigoplus_{j \geqslant 0} (P'_{2j} \oplus P_{2j+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′R, R' có đồng điều bằng không, sao cho Ri=Ri′=0R_i = R'_i = 0 với i∉[0,n]i \notin [0, n], và một đẳng cấu của các giải u:P⊕R→P′⊕R′u : P \oplus R \to P' \oplus R'.

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.