Bourbaki

Bài tập 9, § 2

Đại số, X, p. 173

Cho u:C′→Cu : C' \to C là một cấu xạ của các phức A. Ta ký hiệu bởi v:C→Coker (u)v : C \to \mathrm{Coker}\,(u) ánh xạ chuyển qua đến thương. Ta xét các đồng cấu A phân bậc

α:(Ker u) (−1)→Con (u)vaˋφ:Con (u)→Coker (u) \alpha : (\mathrm{Ker}\,u)\ (-1) \to \mathrm{Con}\,(u) \quad \text{và} \quad \varphi : \mathrm{Con}\,(u) \to \mathrm{Coker}\,(u)

được xác định bởi α(x′)=(x′,0)\alpha(x') = (x', 0), φ(x′,x)=v(x)\varphi(x', x) = v(x) với x′∈C′x' \in C', x∈Cx \in C. Bây giờ chứng minh rằng α,φ\alpha, \varphi là các cấu xạ của các phức và rằng chúng sinh ra một dãy khớp

⋯→Hn−1(Ker u)→H(α)Hn(Con (u))→H(φ)Hn(Coker u)→δHn−2(Ker u)→⋯ \cdots \to H_{n-1}(\mathrm{Ker}\,u) \xrightarrow{H(\alpha)} H_n(\mathrm{Con}\,(u)) \xrightarrow{H(\varphi)} H_n(\mathrm{Coker}\,u) \xrightarrow{\delta} H_{n-2}(\mathrm{Ker}\,u) \to \cdots

trong đó δ\delta là hợp thành của các đồng cấu nối liên quan đến hai dãy khớp

0→Ker u→C′→Im u→0vaˋ0→Im u→C→Coker u→0. 0 \to \mathrm{Ker}\,u \to C' \to \mathrm{Im}\,u \to 0 \quad \text{và} \quad 0 \to \mathrm{Im}\,u \to C \to \mathrm{Coker}\,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-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.