Bourbaki

Bài tập 10, § 2

Đại số, X, p. 174

Cho u:C→C′u : C \to C' là một cấu xạ của các A-phức, P là một A-môđun xạ ảnh, nn là một số nguyên ⩾0\geqslant 0,

h:P→Hn(Con (u)) h : P \to H_n(\mathrm{Con}\,(u))

là một đồng cấu A. Bây giờ chứng minh rằng tồn tại một phức C~\tilde{C}, một dãy khớp của các phức

0→C→iC~→P(−n)→0 0 \to C \xrightarrow{i} \tilde{C} \to P(-n) \to 0

và một cấu xạ u~:C~→C′\tilde{u} : \tilde{C} \to C' sao cho u~∘i=u\tilde{u} \circ i = u và sao cho cấu xạ C(i):Con (u)→Con (u~)C(i) : \mathrm{Con}\,(u) \to \mathrm{Con}\,(\tilde{u}) cảm sinh bởi ii thỏa mãn các tính chất sau:

α)\alpha) Ánh xạ Hp(C(i)):Hp(Con (u))→Hp(Con (u~))H_p(C(i)) : H_p(\mathrm{Con}\,(u)) \to H_p(\mathrm{Con}\,(\tilde{u})) là song ánh với p≠n,n+1p \neq n, n+1; β)\beta) Tồn tại một dãy khớp

0→Hn+1(Con (u))→Hn+1(C(i))Hn+1(Con (u~))→P→hHn(Con (u))→Hn(C(i))Hn(Con (u~))→0. 0 \to H_{n+1}(\mathrm{Con}\,(u)) \xrightarrow{H_{n+1}(C(i))} H_{n+1}(\mathrm{Con}\,(\tilde{u})) \to P \xrightarrow{h} H_n(\mathrm{Con}\,(u)) \xrightarrow{H_n(C(i))} H_n(\mathrm{Con}\,(\tilde{u})) \to 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-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.