Bourbaki

Bài tập 15, § 1

Nhãn 001B, cố định. Trích dẫn là [Bourbaki, Tag 001B].

Đại số, VIII, p. 16

Bourbaki marks this one as harder than the rest.

Cho A là một vành giao hoán và M là một A-môđun hữu hạn sinh.

a) Giả sử rằng với mọi dãy tăng (an)n∈N(\mathfrak{a}_n)_{n\in\mathbf{N}} các iđêan của A, dãy (anM)n∈N(\mathfrak{a}_nM)_{n\in\mathbf{N}} là dừng. Chứng minh rằng A-môđun M là Noether. (Rút gọn về trường hợp A-môđun M trung thành và với mọi iđêan a≠0\mathfrak{a}\not= 0 của A, A-môđun M/aMM/\mathfrak{a}M là Noether. Khi đó tồn tại một môđun con N0N_0 của M cực đại trong các môđun con N⊂MN\subset M sao cho M/NM/N trung thành. Chứng minh rằng A-môđun M/N0M/N_0 là Noether và sau đó vành A là Noether, rồi kết luận.)

b)∗)^*Giả sử rằng với mọi dãy giảm (an)n∈N(\mathfrak{a}_n)_{n\in\mathbf{N}} các iđêan của A, dãy (anM)n∈N(\mathfrak{a}_nM)_{n\in\mathbf{N}} là dừng. Chứng minh rằng A-môđun M là Artin. (Rút gọn về trường hợp A-môđun M trung thành. Chứng minh rằng khi đó A chỉ có hữu hạn iđêan cực đại và, dựa vào chứng minh của Mệnh đề 1 của VIII, p. 173, rằng căn của A là lũy linh. Suy ra tồn tại một dãy hữu hạn (m1,m2,⋯ ,mn)(\mathfrak{m}_1,\mathfrak{m}_2,\cdots ,\mathfrak{m}_n) các iđêan cực đại của A mà tích của chúng triệt tiêu M. Kết luận bằng quy nạp theo nn.)\*

Lời giải

Chưa có lời giải nào được viết.

Được trích dẫn bởi

Trích dẫn đến

Bản dịch máy từ tiếng Anh, bởi gpt-5-6. Chưa được người kiểm tra.