Bourbaki

Bài tập 15, § 2

Đại số, X, p. 176

Cho EE là một dãy phổ của các A-môđun, hội tụ tới một A-môđun phân bậc G (Bài tập 14). a) Giả sử rằng E2p,q=0E_2^{p,q} = 0 với p<0p < 0. Bây giờ chứng minh rằng các ánh xạ αr\alpha_r cảm sinh, với mọi qq, các đồng cấu A đơn ánh:

E∞0,q→⋯→E30,q→E20,q E_{\infty}^{0,q} \to \cdots \to E_3^{0,q} \to E_2^{0,q}

do đó, bằng hợp thành với (β0q)−1(\beta^{0q})^{-1} và với ánh xạ chuyển qua thương, một đồng cấu A γq:Gq→E20,q\gamma^q : G^q \to E_2^{0,q}. b) Giả sử rằng E2pq=0E_2^{pq} = 0 với q<0q < 0. Bây giờ chứng minh rằng các ánh xạ αr−1\alpha_r^{-1} cảm sinh các đồng cấu toàn ánh:

E2p,0→E3p,0→⋯→E∞p,0 E_2^{p,0} \to E_3^{p,0} \to \cdots \to E_{\infty}^{p,0}

do đó bằng hợp thành với βp,0\beta^{p,0} một đồng cấu A δp:E2p,0→Gp\delta^p : E_2^{p,0} \to G^p. c) Giả sử rằng các giả thiết của a) và b) được thỏa mãn, nghĩa là E2pq=0E_2^{pq} = 0 nếu p<0p < 0 hoặc q<0q < 0. Bây giờ chứng minh rằng dãy

0→E21,0→δ1G1→γ1E10,1→d2E22,0→δ2G2 0 \to E_2^{1,0} \xrightarrow{\delta^1} G^1 \xrightarrow{\gamma^1} E_1^{0,1} \xrightarrow{d_2} E_2^{2,0} \xrightarrow{\delta^2} G^2

là khớp. d) Giả sử rằng E2pq=0E_2^{pq} = 0 nếu p>0p > 0 hoặc q>0q > 0; định nghĩa một dãy khớp tương tự như dãy của c). e) Giả sử rằng tồn tại các số nguyên r,dr, d, với d⩾r⩾2d \geqslant r \geqslant 2, sao cho Erpq=0E_r^{pq} = 0 nếu p≠0,dp \neq 0, d. Định nghĩa một dãy khớp:

⋯→Erd,n−d→Gn→Er0,n→Erd,n+1−d→Gn+1→⋯ . \cdots \to E_r^{d,n-d} \to G^n \to E_r^{0,n} \to E_r^{d,n+1-d} \to G^{n+1} \to \cdots .

Nếu tương tự Erpq=0E_r^{pq} = 0 với q≠0,dq \neq 0, d, bây giờ chứng minh rằng tồn tại một dãy khớp:

⋯→Ern,0→Gn→Ern−d,d→Ern+1,0→⋯ . \cdots \to E_r^{n,0} \to G^n \to E_r^{n-d,d} \to E_r^{n+1,0} \to \cdots .

f) Giả sử rằng E2pq=0E_2^{pq} = 0 nếu q≠0q \neq 0 (resp. p≠0p \neq 0). Bây giờ chứng minh rằng đồng cấu

δn:E2n,0→Gn (resp. γn:Gn→E20,n) \delta^n : E_2^{n,0} \to G^n \text{ (resp. } \gamma^n : G^n \to E_2^{0,n})

là song ánh với mọi nn.

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.