Bourbaki

Bài tập 4, § 2

Đại số, II, 387

Bourbaki marks this one as harder than the rest.

(a) Cho E, E' là hai A-môđun, N là một môđun con của E và N' là một môđun con của E' sao cho E là xạ ảnh và E/N và E'/N' là đẳng cấu. Chứng minh rằng tồn tại một dãy khớp

0⟶N→uE⊕N′→vE′⟶0. 0 \longrightarrow N \xrightarrow{u} E \oplus N' \xrightarrow{v} E' \longrightarrow 0.

(Nhận xét rằng tồn tại một đồng cấu f:E→E′f : E \to E' sao cho f(N)⊂N′f(N) \subset N', đồng cấu này cho qua các thương một đẳng cấu E/N→E′/N′E/N \to E'/N'; định nghĩa u và v theo một cách tương tự như cách đã dùng cho dãy khớp (29) của § 1, no. 7.)

(b) Suy ra từ (a) rằng nếu E' là xạ ảnh thì E⊕N′E \oplus N' và E′⊕NE' \oplus N là đẳng cấu.

(c) Cho 0→Em→Em−1→…→E1→E0→00 \to E_m \to E_{m-1} \to \ldots \to E_1 \to E_0 \to 0 là một dãy khớp các A-môđun sao cho E0,E1,…,Em−2E_0, E_1, \ldots, E_{m-2} là xạ ảnh. Chứng minh rằng các A-môđun ⨁h≥0Em−2h\bigoplus_{h \geq 0} E_{m-2h} và ⨁h≥0Em−2h+1\bigoplus_{h \geq 0} E_{m-2h+1} là đẳng cấu (với quy ước rằng Ei={0}E_i = \{0\} với i<0i < 0).

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-6. Chưa được người kiểm tra.