Cincin Noetherian

Cincin Noetherian adalah cincin di mana setiap ideal dihasilkan secara terbatas, atau secara ekuivalen, ideal-ideal di dalamnya memenuhi kondisi rantai naik, sebuah hipotesis keterbatasan yang membuat teori ideal dapat dikelola.

Definition

Cincin komutatif adalah Noetherian jika setiap rantai ideal yang naik stabil, atau secara ekuivalen jika setiap ideal dihasilkan secara terbatas, atau secara ekuivalen jika setiap koleksi ideal yang tidak kosong memiliki elemen maksimal.

Scope

Topik ini mencakup formulasi ekuivalen dari kondisi Noetherian, teorema basis Hilbert, modul Noetherian, persistensi sifat di bawah hasil bagi, lokalisasi, dan pembangkitan terbatas, serta perannya sebagai hipotesis dasar aljabar komutatif dan geometri aljabar.

Core questions

• Kondisi ekuivalen apa yang mendefinisikan cincin Noetherian?
• Mengapa teorema basis Hilbert menjaga cincin polinomial tetap Noetherian?
• Bagaimana sifat Noetherian diteruskan ke hasil bagi, lokalisasi, dan aljabar yang dihasilkan secara terbatas?
• Mengapa hipotesis Noetherian hampir ada di mana-mana dalam aljabar komutatif?

Key theories

Formulasi ekuivalen

Kondisi rantai naik pada ideal, pembangkitan terbatas dari setiap ideal, dan kondisi elemen maksimal pada keluarga ideal adalah ekuivalen, memberikan beberapa definisi cincin Noetherian yang dapat dipertukarkan.

Teorema basis Hilbert

Jika suatu cincin adalah Noetherian maka cincin polinomial di atasnya dalam sejumlah variabel terbatas juga Noetherian, sehingga aljabar yang dihasilkan secara terbatas di atas medan dan di atas bilangan bulat adalah Noetherian.

Stabilitas properti

Hasil bagi dan lokalisasi cincin Noetherian adalah Noetherian, dan modul yang dihasilkan secara terbatas di atas cincin Noetherian adalah Noetherian, sehingga kelas tersebut tertutup di bawah konstruksi standar aljabar komutatif.

Clinical relevance

Kondisi Noetherian adalah hipotesis keterbatasan yang mendasari hampir semua aljabar komutatif dan geometri aljabar: kondisi ini menjamin bahwa dekomposisi primer ada, bahwa varietas dibentuk oleh sejumlah persamaan yang terbatas, dan bahwa konstruksi kunci berakhir, sehingga cincin-cincin yang muncul dalam geometri dan teori bilangan hampir selalu Noetherian.

History

David Hilbert membuktikan teorema basisnya pada tahun 1890 dalam konteks teori invarian, tetapi kondisi rantai naik abstrak dan teori sistematis cincin Noetherian adalah hasil karya Emmy Noether pada tahun 1920-an, yang namanya kemudian diabadikan pada konsep tersebut.

Key figures

• Emmy Noether
• David Hilbert
• Emanuel Lasker

Seminal works

• atiyah1969
• eisenbud1995
• matsumura1989

Frequently asked questions

Mengapa pembangkitan ideal yang terbatas merupakan hipotesis yang sangat berguna?

Ini memastikan bahwa ideal, dan karenanya himpunan aljabar yang mereka definisikan, dijelaskan oleh data yang terbatas, bahwa rantai ideal yang naik tidak dapat berlanjut selamanya, dan bahwa argumen induktif berakhir. Ini adalah kondisi yang tepat yang diperlukan untuk dekomposisi primer dan teori dimensi.

Apakah sebagian besar cincin yang ditemui dalam praktik adalah Noetherian?

Ya. Medan, domain ideal utama, cincin bilangan bulat, dan aljabar apa pun yang dihasilkan secara terbatas di atasnya adalah Noetherian berdasarkan teorema basis Hilbert. Cincin non-Noetherian memang ada tetapi relatif eksotis dalam geometri dan teori bilangan.