İntegral Genişleme
İntegral genişleme, her elemanın alt halka üzerinde monik bir polinomu sağladığı bir halka genişlemesidir; bu, cebirsel cisim genişlemelerini genelleştirmekte ve halkalar arasındaki asal ideallerin ilişkisini düzenlemektedir.
Tanım
Bir halka genişlemesinin bir elemanı, alt halkadaki katsayılara sahip monik bir polinomun kökü ise, alt halka üzerinde integraldir; genişleme, her eleman integral olduğunda integraldir ve integral kapanış, bu tür tüm elemanların kümesidir.
Kapsam
Bu konu, integral elemanları ve integral bağımlılığı, bir genişlemedeki halkanın integral kapanışı ve normal halkaları, lying-over, going-up ve going-down teoremlerini ve boyut kuramının temelini oluşturan yapısal sonuçlar olan Noether normalizasyonunu kapsamaktadır.
Temel sorular
- Bir halka elemanının bir alt halka üzerinde integral olması ne anlama gelmektedir?
- İntegral kapanış nedir ve bir halka ne zaman normaldir?
- Asal idealler integral bir genişleme boyunca nasıl yükselir ve alçalır?
- Noether normalizasyonu, bir cebiri bir polinom halkasının sonlu bir genişlemesi olarak nasıl sunmaktadır?
Temel kuramlar
- İntegral kapanış ve normallik
- Bir alt halka üzerinde integral olan elemanlar bir alt halka, yani integral kapanışı oluşturmaktadır; kesirler cismindeki kendi integral kapanışına eşit olan bir tamlık bölgesi, integral kapalı veya normal olarak adlandırılmakta olup, bu önemli bir düzenlilik koşuludur.
- Lying-over ve going-up teoremleri
- Bir integral genişleme için, alt halkanın her asalı, genişlemenin bir asalının daralmasıdır (lying over), ve asal zincirleri uyumlu bir şekilde yükselir (going up), böylece iki halkanın asal spektrumları sıkı bir şekilde bağlantılıdır.
- Noether normalizasyonu
- Bir cisim üzerindeki her sonlu üretilmiş cebir, cebirsel olarak bağımsız elemanlardaki bir polinom alt halkası üzerinde sonlu, dolayısıyla integral bir modüldür; bu, boyut kuramının ve afin varyetelerin geometrisinin cebirsel kalbidir.
Klinik önem
İntegral genişlemeler, bir sayı cisminin tam sayı halkasının tam sayıların integral kapanışı olduğu cebirsel sayı kuramında ve Noether normalizasyonu ile going-up teoreminin boyut kuramını ve varyeteler arasındaki sonlu morfizmlerin davranışını desteklediği cebirsel geometride merkezi bir öneme sahiptir.
Tarihçe
İntegral bağımlılık, Dedekind tarafından incelenen sayı kuramının cebirsel tam sayılarını soyutlamaktadır. Emmy Noether'in normalizasyon lemması ve Krull'un 1920'ler ve 1930'lardaki çalışmaları, integral genişlemeleri boyut kuramının temeli haline getirmiş, daha sonra Zariski ve Grothendieck tarafından geometrik olarak yorumlanmıştır.
Öne çıkan isimler
- Emmy Noether
- Wolfgang Krull
- David Hilbert
- Oscar Zariski
İlgili konular
Temel eserler
- atiyah1969
- eisenbud1995
- matsumura1989
Sıkça sorulan sorular
- İntegral genişleme, cebirsel bir cisim genişlemesini nasıl genellemektedir?
- Bir cisim üzerinde, integral ve cebirsel aynı anlama gelmektedir, çünkü monik ve keyfi sıfır olmayan polinomlar yalnızca bir birim ile farklılık gösterir. Genel bir halka üzerinde ise monik koşul esastır ve cebirsel tam sayılar gibi davranan elemanları yakalamaktadır.
- Noether normalizasyonu neden önemlidir?
- Bir cisim üzerindeki herhangi bir sonlu üretilmiş cebiri, bir polinom halkasının sonlu bir genişlemesi olarak sunmaktadır, böylece boyutu polinom değişkenlerinin sayısına eşit olmaktadır. Bu durum, afin varyetelerin tüm boyut kuramını somut bir yapıya dayandırmaktadır.