Tại sao sự sinh hữu hạn của các ideal lại là một giả thuyết hữu ích như vậy?

Nó đảm bảo rằng các ideal, và do đó các tập hợp đại số mà chúng định nghĩa, được mô tả bởi hữu hạn dữ liệu, rằng các chuỗi ideal tăng dần không thể tiếp tục mãi mãi, và rằng các lập luận quy nạp kết thúc. Đây chính xác là những điều kiện cần thiết cho sự phân tích nguyên sơ và lý thuyết chiều.

Hầu hết các vành gặp phải trong thực tế có phải là Noether không?

Có. Các trường, các miền ideal chính, các vành số nguyên, và bất kỳ đại số sinh hữu hạn nào trên chúng đều là Noether theo định lý cơ sở Hilbert. Các vành không Noether tồn tại nhưng tương đối kỳ lạ trong hình học và lý thuyết số.

Vành Noether

Vành Noether là vành trong đó mọi ideal đều được sinh hữu hạn, tương đương với việc các ideal của nó thỏa mãn điều kiện chuỗi tăng dần, một giả thuyết hữu hạn hóa giúp lý thuyết ideal trở nên dễ xử lý.

Tìm chủ đề với PaperMindSắp ra mắtFind papers & topics

Tools & resources

Tải xuống bản trình chiếu

Learn & explore

VideoSắp ra mắt

Definition

Một vành giao hoán là Noether nếu mọi chuỗi ideal tăng dần đều ổn định, tương đương với việc mọi ideal đều được sinh hữu hạn, tương đương với việc mọi tập hợp ideal không rỗng đều có một phần tử tối đại.

Scope

Chủ đề này bao gồm các công thức tương đương của điều kiện Noether, định lý cơ sở Hilbert, mô-đun Noether, sự duy trì tính chất dưới các thương, cục bộ hóa và sinh hữu hạn, và vai trò của nó như là giả thuyết nền tảng của đại số giao hoán và hình học đại số.

Core questions

Những điều kiện tương đương nào định nghĩa một vành Noether?
Tại sao định lý cơ sở Hilbert giữ cho các vành đa thức là Noether?
Tính chất Noether được truyền sang các thương, cục bộ hóa và đại số sinh hữu hạn như thế nào?
Tại sao giả thuyết Noether gần như phổ biến trong đại số giao hoán?

Key theories

Các công thức tương đương: Điều kiện chuỗi tăng dần trên các ideal, sự sinh hữu hạn của mọi ideal, và điều kiện phần tử tối đại trên các họ ideal là tương đương, đưa ra một số định nghĩa có thể hoán đổi cho một vành Noether.
Định lý cơ sở Hilbert: Nếu một vành là Noether thì vành đa thức trên nó với hữu hạn biến cũng là Noether, do đó các đại số sinh hữu hạn trên trường và trên các số nguyên là Noether.
Tính ổn định của tính chất: Các thương và cục bộ hóa của vành Noether là Noether, và các mô-đun sinh hữu hạn trên một vành Noether là Noether, do đó lớp này được đóng dưới các cấu trúc chuẩn của đại số giao hoán.

Clinical relevance

Điều kiện Noether là giả thuyết hữu hạn hóa làm nền tảng cho gần như toàn bộ đại số giao hoán và hình học đại số: nó đảm bảo rằng sự phân tích nguyên sơ tồn tại, rằng các đa tạp được xác định bởi hữu hạn phương trình, và rằng các cấu trúc chính kết thúc, do đó các vành phát sinh trong hình học và lý thuyết số gần như luôn là Noether.

History

David Hilbert đã chứng minh định lý cơ sở của mình vào năm 1890 trong bối cảnh lý thuyết bất biến, nhưng điều kiện chuỗi tăng dần trừu tượng và lý thuyết hệ thống về vành Noether là do Emmy Noether đưa ra vào những năm 1920, và khái niệm này được đặt theo tên bà.

Key figures

Emmy Noether
David Hilbert
Emanuel Lasker

Seminal works

atiyah1969
eisenbud1995
matsumura1989

Frequently asked questions

Tại sao sự sinh hữu hạn của các ideal lại là một giả thuyết hữu ích như vậy?: Nó đảm bảo rằng các ideal, và do đó các tập hợp đại số mà chúng định nghĩa, được mô tả bởi hữu hạn dữ liệu, rằng các chuỗi ideal tăng dần không thể tiếp tục mãi mãi, và rằng các lập luận quy nạp kết thúc. Đây chính xác là những điều kiện cần thiết cho sự phân tích nguyên sơ và lý thuyết chiều.
Hầu hết các vành gặp phải trong thực tế có phải là Noether không?: Có. Các trường, các miền ideal chính, các vành số nguyên, và bất kỳ đại số sinh hữu hạn nào trên chúng đều là Noether theo định lý cơ sở Hilbert. Các vành không Noether tồn tại nhưng tương đối kỳ lạ trong hình học và lý thuyết số.