Noether Halkası
Noether halkası, her idealin sonlu üretildiği, eşdeğer olarak ideallerinin artan zincir koşulunu sağladığı, ideal teorisini ele alınabilir kılan bir sonluluk hipotezi içeren bir halkadır.
Tanım
Bir değişmeli halka, eğer her artan ideal zinciri kararlı hale gelirse, eşdeğer olarak her ideal sonlu üretilmişse, eşdeğer olarak boş olmayan her ideal koleksiyonunun maksimal bir elemanı varsa Noether'dir.
Kapsam
Bu konu, Noether koşulunun eşdeğer formülasyonlarını, Hilbert taban teoremini, Noether modüllerini, özelliğin bölüm halkaları, lokalizasyon ve sonlu üretim altındaki kalıcılığını ve değişmeli cebir ile cebirsel geometrinin temel hipotezi olarak rolünü kapsamaktadır.
Temel sorular
- Bir Noether halkasını hangi eşdeğer koşullar tanımlar?
- Hilbert taban teoremi neden polinom halkalarını Noether olarak tutar?
- Noether özelliği bölüm halkalarına, lokalizasyonlara ve sonlu üretilmiş cebirlere nasıl geçer?
- Noether hipotezi değişmeli cebirde neden neredeyse her yerde bulunur?
Temel kuramlar
- Eşdeğer formülasyonlar
- İdealler üzerindeki artan zincir koşulu, her idealin sonlu üretimi ve ideal aileleri üzerindeki maksimal eleman koşulu eşdeğerdir ve bir Noether halkasının birbirinin yerine geçebilen çeşitli tanımlarını sunar.
- Hilbert taban teoremi
- Eğer bir halka Noether ise, o halka üzerindeki sonlu sayıda değişkenli polinom halkası da Noether'dir; bu nedenle cisimler ve tam sayılar üzerindeki sonlu üretilmiş cebirler Noether'dir.
- Özelliğin kararlılığı
- Noether halkalarının bölüm halkaları ve lokalizasyonları Noether'dir ve bir Noether halkası üzerindeki sonlu üretilmiş modüller Noether'dir; bu nedenle sınıf, değişmeli cebirin standart yapıları altında kapalıdır.
Klinik önem
Noether koşulu, değişmeli cebir ve cebirsel geometrinin neredeyse tamamının altında yatan sonluluk hipotezidir: birincil ayrışımın varlığını, varyetelerin sonlu sayıda denklemle tanımlandığını ve anahtar yapıların sonlandığını garanti eder; bu nedenle geometri ve sayı teorisinde ortaya çıkan halkalar neredeyse her zaman Noether'dir.
Tarihçe
David Hilbert, 1890'da değişmezler teorisi bağlamında taban teoremini kanıtlamıştır, ancak soyut artan zincir koşulu ve Noether halkalarının sistematik teorisi 1920'lerde Emmy Noether'e aittir ve kavramın adı da ondan gelmektedir.
Öne çıkan isimler
- Emmy Noether
- David Hilbert
- Emanuel Lasker
İlgili konular
Temel eserler
- atiyah1969
- eisenbud1995
- matsumura1989
Sıkça sorulan sorular
- İdeallerin sonlu üretimi neden bu kadar faydalı bir hipotezdir?
- İdeallerin ve dolayısıyla tanımladıkları cebirsel kümelerin sonlu miktarda veriyle tanımlanmasını, ideallerin artan zincirlerinin sonsuza dek devam edemeyeceğini ve tümevarımsal argümanların sonlandığını sağlar. Bunlar, birincil ayrışım ve boyut teorisi için tam olarak gerekli koşullardır.
- Pratikte karşılaşılan çoğu halka Noether midir?
- Evet. Cisimler, temel ideal bölgeleri, tam sayılar halkaları ve bunlar üzerindeki sonlu üretilmiş herhangi bir cebir, Hilbert taban teoremi gereği Noether'dir. Noether olmayan halkalar mevcuttur ancak geometri ve sayı teorisinde nispeten egzotiktirler.