Bourbaki

Bài tập 1, § 2

Đại số giao hoán, IV, 290

(a) Chứng minh rằng trong vành đa thức Noether A=Z[X]A = \mathbf{Z}[X] với một ẩn trên Z\mathbf{Z}, iđêan m=2A+AXm = 2A + AX là cực đại và iđêan q=4A+AXq = 4A + AX là m-nguyên sơ, nhưng không bằng một lũy thừa của m.

(b) Trong vành B=Z[2X,X2,X3]⊂AB = \mathbf{Z}[2X, X^2, X^3] \subset A là Noether, chứng minh rằng iđêan p=2BX+BX2p = 2BX + BX^2 là nguyên tố, nhưng p2p^2 không là p-nguyên sơ, mặc dù căn của nó bằng p.

(c) Cho K là một trường giao hoán và A là vành thương của K[X,Y,Z]K[X, Y, Z] bởi iđêan sinh bởi Z2−XYZ^2 - XY; gọi x, y, z là các ảnh chính tắc của X, Y, Z trong A. Chứng minh rằng p=Ax+Azp = Ax + Az là nguyên tố, rằng p2p^2 không là nguyên sơ và rằng p2=a∩b2p^2 = a \cap b^2 là một phân tích nguyên sơ của p2p^2, trong đó a=Axa = Ax và b=Ax+Ay+Azb = Ax + Ay + Az.

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.