Bourbaki

Bài tập 21, § 1

Đại số giao hoán, IX, p. 47

Ta giữ lại các giả thiết và các ký hiệu của hai bài tập trước. a) Phép nhân với pp trong W(K)/pW(K)W(K)/p\mathscr{W}(K) là đơn ánh. b) Cho aa là một phần tử của W(Ω)W(\Omega) sao cho a∉W(K)a \notin W(K) và pa∈W(K)pa \in W(K). Ký hiệu K(a)K(a) là trường con của Ω\Omega sinh trên KK bởi các thành phần (an)n∈N(a_n)_{n \in \mathbf{N}} của aa. Chứng minh rằng K(a)K(a) là một mở rộng Abel của KK, có nhóm Galois đẳng cấu với nhóm tôpô Zp\mathbf{Z}_p. c) Nếu AA là một tập con của W(K)W(K), ký hiệu K(p−1(A))K(p^{-1}(A)) là mở rộng con của Ω\Omega sinh bởi các trường K(a)K(a) với mọi phần tử aa của W(Ω)W(\Omega) sao cho pa∈Apa \in A. Chứng minh trong trường hợp này các khẳng định tương tự như các khẳng định (i) đến (iv) của bài tập 19, c). d) Cho Γ\Gamma là nhóm tự đẳng cấu của Ω\Omega trên KK. Cho nn là một số nguyên ⩾1\geqslant 1 và cho φn\varphi_n là một đồng cấu liên tục của Γ\Gamma vào Z/pnZ\mathbf{Z}/p^n\mathbf{Z}. Chứng minh rằng tồn tại một đồng cấu liên tục φ\varphi của Γ\Gamma vào Zp\mathbf{Z}_p cảm sinh φn\varphi_n bằng cách chuyển qua thương. Ký hiệu Homc(Γ,Γ′)\mathrm{Hom}_c(\Gamma, \Gamma') là nhóm các đồng cấu liên tục của Γ\Gamma vào Γ′\Gamma', với Γ′\Gamma' là một nhóm tôpô, chứng minh rằng ánh xạ chính tắc

Homc(Γ,Zp)⊗Zp(Qp/Zp)→Homc(Γ,Qp/Zp) \mathrm{Hom}_c(\Gamma, \mathbf{Z}_p) \otimes_{\mathbf{Z}_p} (\mathbf{Q}_p/\mathbf{Z}_p) \to \mathrm{Hom}_c(\Gamma, \mathbf{Q}_p/\mathbf{Z}_p)
là một đẳng cấu.

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.