Aljabar Komutatif
Aljabar komutatif mempelajari gelanggang komutatif, idealnya, dan modul di atasnya, berfungsi sebagai bahasa aljabar lokal geometri aljabar dan teori bilangan aljabar.
Definition
Aljabar komutatif adalah studi tentang gelanggang komutatif dengan identitas, idealnya, dan modul di atasnya, dengan perhatian khusus pada kondisi keterbatasan, lokalisasi, dan geometri spektrum prima.
Scope
Area ini mencakup gelanggang Noetherian dan kondisi rantai, lokalisasi pada prima dan himpunan perkalian, spektrum prima, ekstensi integral dan penutupan integral, teori dimensi, penyelesaian, dan dekomposisi primer ideal. Ini menyediakan dasar-dasar di mana teori skema dan studi singularitas bertumpu.
Sub-topics
Core questions
- Kondisi keterbatasan apa (Noetherian, generasi terbatas) yang membuat teori ideal dapat dikelola?
- Bagaimana lokalisasi mengisolasi perilaku gelanggang di dekat ideal prima?
- Bagaimana ekstensi integral menghubungkan spektrum dua gelanggang?
- Bagaimana suatu ideal dapat didekomposisi menjadi komponen primer, menggeneralisasi faktorisasi?
Key theories
- Dekomposisi primer Lasker-Noether
- Dalam gelanggang Noetherian, setiap ideal adalah irisan terbatas dari ideal primer, menggeneralisasi faktorisasi bilangan bulat menjadi pangkat prima dan mengungkap prima terkait dari ideal tersebut.
- Lokalisasi dan spektrum prima
- Melokalisasi gelanggang pada ideal prima memusatkan perhatian pada perilaku lokalnya; himpunan ideal prima, yang ditopologikan sebagai spektrum, menjadikan gelanggang komutatif sebagai objek geometris.
- Going-up dan normalisasi Noether
- Ekstensi integral memenuhi teorema lying-over dan going-up yang menghubungkan ideal primanya, dan setiap aljabar yang dihasilkan secara terbatas di atas medan adalah modul terbatas di atas subgelanggang polinomial (normalisasi Noether), inti aljabar dari teori dimensi.
Clinical relevance
Aljabar komutatif adalah fondasi aljabar dari geometri aljabar: skema afin adalah spektrum gelanggang komutatif, gelanggang lokal memodelkan singularitas, dan teori dimensi mengukur dimensi geometris. Ini sama pentingnya dengan teori bilangan aljabar, di mana gelanggang bilangan bulat serta lokalisasi dan penyelesaiannya adalah objek dasar.
History
Aljabar komutatif tumbuh dari aritmetika Dedekind dan Kronecker serta teori invarian Hilbert, disistematisasi oleh Emmy Noether dan Wolfgang Krull pada tahun 1920-an dan 1930-an melalui kondisi rantai dan teori dimensi, dan digabungkan dengan geometri oleh Zariski, Chevalley, dan akhirnya teori skema Grothendieck.
Key figures
- Emmy Noether
- Wolfgang Krull
- David Hilbert
- Oscar Zariski
- Emanuel Lasker
Related topics
Seminal works
- atiyah1969
- eisenbud1995
- matsumura1989
Frequently asked questions
- Bagaimana aljabar komutatif berhubungan dengan geometri aljabar?
- Ada kamus, yang diformalkan oleh Grothendieck, di mana gelanggang komutatif berhubungan dengan ruang geometris (skema afin), ideal prima dengan titik, dan lokalisasi dengan memperbesar di dekat suatu titik. Aljabar komutatif menyediakan sisi lokal dan komputasi dari geometri tersebut.
- Mengapa kondisi Noetherian begitu penting?
- Kondisi rantai naik pada ideal, yang setara dengan setiap ideal yang dihasilkan secara terbatas, menjamin bahwa konstruksi kunci berakhir dan dekomposisi primer ada. Sebagian besar gelanggang yang muncul dalam geometri dan teori bilangan adalah Noetherian, membuat hipotesis ini alami dan kuat.