Bài tập 31, § 1
Đại số giao hoán, VII, 555
(a) Cho là một miền đóng nguyên chính quy (Bài tập 30) và là trường các phân thức của nó; với mọi đa thức , gọi là ước , trong đó là iđêan phân thức của sinh bởi các hệ số của . Gọi là vành con của gồm các hàm hữu tỉ sao cho (chứng minh rằng điều kiện này chỉ phụ thuộc vào phần tử , sử dụng Bài tập 30 (a) và 12 (c)). Khi đó .
(b) Chứng minh rằng là một miền Bezout (Bài tập 20) (nhận xét rằng, nếu là hai đa thức của , thì chia và trong nếu đủ lớn).
(c) Chứng minh rằng, nếu là một miền Krull, thì là một miền iđêan chính (xét một dãy tăng các iđêan phân thức chính sinh hữu hạn của ). Cho một ví dụ trong đó đóng nguyên hoàn toàn nhưng không phải là một miền iđêan chính (xem Bài tập 22).
(d) Suy ra từ (c) một ví dụ về một miền Noether sao cho tồn tại một trường con của trường các phân thức của nó mà không là Noether.
Lời giải
Chưa có lời giải nào được viết.