Bourbaki

Bài tập 18, § 1

Đại số giao hoán, VII, 550

Bourbaki marks this one as harder than the rest.

Cho A=⨁n∈ZAnA = \bigoplus_{n \in \mathbf{Z}} A_n là một miền Krull phân bậc với các bậc dương, sao cho A0A_0 là một trường và m=⨁n≫1Anm = \bigoplus_{n \gg 1} A_n là một iđêan cực đại của A. Cho S là tập hợp nhân các phần tử thuần nhất ≠0\neq 0 của A, sao cho vành S−1AS^{-1}A là một miền iđêan chính (Bài tập 16 (b)). (a) Cho pp là một iđêan nguyên tố của A có chiều cao 1 gặp A−mA - m; khi đó pp không phân bậc (nếu không thì p=Ap = A) và iđêan S−1pS^{-1}p của S−1AS^{-1}A là chính, sinh bởi một phần tử có dạng x=1+x1+…+xrx = 1 + x_1 + \ldots + x_r, trong đó xj∈(S−1A)jx_j \in (S^{-1}A)_j. Viết một phần tử của p có dạng 1+a1+…+ar1 + a_1 + \ldots + a_r, (ai∈Aia_i \in A_i) như một bội của xx trong S−1AS^{-1}A và sử dụng Chương V, § 1, no. 3, Mệnh đề 11, chứng minh rằng x∈px \in p; cuối cùng viết mọi phần tử của p như một bội của xx trong S−1AS^{-1}A, chứng minh rằng p=Axp = Ax. (b) Suy ra từ (a) rằng C(A)C(A) và C(Am)C(A_m) là đẳng cấu chính tắc (sử dụng Mệnh đề 17 của no. 10).

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.