Ekstensi Integral

Ekstensi integral adalah ekstensi gelanggang di mana setiap elemen memenuhi polinomial monik di atas subgelanggang, menggeneralisasi ekstensi medan aljabar dan mengendalikan bagaimana ideal prima berhubungan antar gelanggang.

Definition

Elemen dari suatu ekstensi gelanggang adalah integral di atas subgelanggang jika elemen tersebut merupakan akar dari polinomial monik dengan koefisien dalam subgelanggang; ekstensi tersebut adalah integral ketika setiap elemen adalah integral, dan penutupan integral adalah himpunan semua elemen tersebut.

Scope

Topik ini mencakup elemen integral dan ketergantungan integral, penutupan integral suatu gelanggang dalam ekstensi dan gelanggang normal, teorema lying-over, going-up, dan going-down, serta normalisasi Noether, hasil struktural yang mendasari teori dimensi.

Core questions

• Apa artinya suatu elemen gelanggang menjadi integral di atas subgelanggang?
• Apa itu penutupan integral, dan kapan suatu gelanggang disebut normal?
• Bagaimana ideal prima terangkat dan turun sepanjang ekstensi integral?
• Bagaimana normalisasi Noether menyajikan aljabar sebagai ekstensi hingga dari gelanggang polinomial?

Key theories

Penutupan integral dan normalitas

Elemen-elemen integral di atas subgelanggang membentuk subgelanggang, yaitu penutupan integral, dan suatu domain yang sama dengan penutupan integralnya sendiri dalam medan pecahannya disebut tertutup integral atau normal, suatu kondisi keteraturan kunci.

Teorema lying-over dan going-up

Untuk ekstensi integral, setiap prima dari subgelanggang adalah kontraksi dari prima ekstensi (lying over), dan rantai prima terangkat secara kompatibel (going up), sehingga spektrum prima dari kedua gelanggang terkait erat.

Normalisasi Noether

Setiap aljabar yang dihasilkan secara hingga di atas medan adalah modul hingga, oleh karena itu integral, di atas subgelanggang polinomial dalam elemen-elemen yang secara aljabar independen, inti aljabar dari teori dimensi dan geometri varietas afin.

Clinical relevance

Ekstensi integral sangat penting dalam teori bilangan aljabar, di mana gelanggang bilangan bulat dari medan bilangan adalah penutupan integral dari bilangan bulat, dan dalam geometri aljabar, di mana normalisasi Noether dan teorema going-up mendasari teori dimensi dan perilaku morfisme hingga antar varietas.

History

Ketergantungan integral mengabstraksi bilangan bulat aljabar dari teori bilangan yang dipelajari oleh Dedekind. Lemma normalisasi Emmy Noether dan karya Krull pada tahun 1920-an dan 1930-an menjadikan ekstensi integral sebagai dasar teori dimensi, yang kemudian diinterpretasikan secara geometris oleh Zariski dan Grothendieck.

Key figures

• Emmy Noether
• Wolfgang Krull
• David Hilbert
• Oscar Zariski

Seminal works

• atiyah1969
• eisenbud1995
• matsumura1989

Frequently asked questions

Bagaimana ekstensi integral menggeneralisasi ekstensi medan aljabar?

Di atas medan, integral dan aljabar memiliki arti yang sama karena polinomial monik dan polinomial bukan nol arbitrer hanya berbeda oleh suatu unit. Di atas gelanggang umum, kondisi monik sangat penting, menangkap elemen-elemen yang berperilaku seperti bilangan bulat aljabar.

Mengapa normalisasi Noether penting?

Ini menyajikan setiap aljabar yang dihasilkan secara hingga di atas medan sebagai ekstensi hingga dari gelanggang polinomial, sehingga dimensinya sama dengan jumlah variabel polinomial. Ini mendasari seluruh teori dimensi varietas afin dalam konstruksi konkret.