Değişmeli Cebir
Değişmeli cebir, değişmeli halkaları, bunların ideallerini ve üzerlerindeki modülleri inceler; cebirsel geometri ve cebirsel sayı teorisinin yerel cebirsel dili olarak hizmet etmektedir.
Tanım
Değişmeli cebir, birim elemanlı değişmeli halkaların, bunların ideallerinin ve üzerlerindeki modüllerin incelenmesidir; sonluluk koşullarına, lokalizasyona ve asal spektrumun geometrisine özel bir dikkat gösterilmektedir.
Kapsam
Bu alan, Noether halkalarını ve zincir koşullarını, asal ve çarpımsal kümelerde lokalizasyonu, asal spektrumu, tam uzantıları ve tam kapanışı, boyut teorisini, tamamlamayı ve ideallerin asal ayrışımını kapsamaktadır. Şema teorisinin ve tekilliklerin incelenmesinin dayandığı temelleri sağlamaktadır.
Alt konular
Temel sorular
- Hangi sonluluk koşulları (Noether, sonlu üretim) ideal teorisini ele alınabilir kılmaktadır?
- Lokalizasyon, bir halkanın bir asal ideal yakınındaki davranışını nasıl izole etmektedir?
- Tam uzantılar, iki halkanın spektrumlarını nasıl ilişkilendirmektedir?
- Bir ideal, çarpanlara ayırmayı genelleştirerek asal bileşenlere nasıl ayrıştırılabilmektedir?
Temel kuramlar
- Lasker-Noether asal ayrışımı
- Bir Noether halkasında her ideal, asal kuvvetlere çarpanlara ayırmayı genelleştiren ve idealin ilişkili asallarını ortaya çıkaran, sonlu sayıda asal idealin kesişimidir.
- Lokalizasyon ve asal spektrum
- Bir halkayı bir asal idealde lokalize etmek, dikkatini onun yerel davranışına yoğunlaştırmaktadır; spektrum olarak topolojilenen asal idealler kümesi, değişmeli bir halkayı geometrik bir nesne haline getirmektedir.
- Üzerinde Yatma (Lying-over) ve Yukarı Çıkma (Going-up) ve Noether normalizasyonu
- Tam uzantılar, asal ideallerini ilişkilendiren üzerinde yatma (lying-over) ve yukarı çıkma (going-up) teoremlerini sağlamaktadır ve bir cisim üzerindeki sonlu üretilmiş herhangi bir cebir, bir polinom alt halkası üzerinde sonlu bir modüldür (Noether normalizasyonu), bu da boyut teorisinin cebirsel kalbidir.
Klinik önem
Değişmeli cebir, cebirsel geometrinin cebirsel temelini oluşturmaktadır: afin şemalar değişmeli halkaların spektrumlarıdır, yerel halkalar tekillikleri modellemektedir ve boyut teorisi geometrik boyutu ölçmektedir. Cebirsel sayı teorisi için de aynı derecede merkezidir; burada tam sayılar halkaları ile bunların lokalizasyonları ve tamamlamaları temel nesnelerdir.
Tarihçe
Değişmeli cebir, Dedekind ve Kronecker'in aritmetiği ile Hilbert'in değişmezler teorisinden gelişmiştir; 1920'ler ve 1930'larda Emmy Noether ve Wolfgang Krull tarafından zincir koşulları ve boyut teorisi aracılığıyla sistemleştirilmiş ve Zariski, Chevalley ve nihayetinde Grothendieck'in şema teorisi ile geometriyle birleştirilmiştir.
Öne çıkan isimler
- Emmy Noether
- Wolfgang Krull
- David Hilbert
- Oscar Zariski
- Emanuel Lasker
İlgili konular
Temel eserler
- atiyah1969
- eisenbud1995
- matsumura1989
Sıkça sorulan sorular
- Değişmeli cebir, cebirsel geometri ile nasıl ilişkilidir?
- Grothendieck tarafından resmileştirilen bir sözlük bulunmaktadır; bu sözlükte değişmeli halkalar geometrik uzaylara (afin şemalar), asal idealler noktalara ve lokalizasyon bir noktaya yakınlaşmaya karşılık gelmektedir. Değişmeli cebir, bu geometrinin yerel, hesaplamalı tarafını sağlamaktadır.
- Noether koşulu neden bu kadar önemlidir?
- İdealler üzerindeki artan zincir koşulu, her idealin sonlu üretilmiş olmasına eşdeğer olup, anahtar yapıların sonlandığını ve asal ayrışımın var olduğunu garanti etmektedir. Geometri ve sayı teorisinde ortaya çıkan çoğu halka Noether halkasıdır, bu da hipotezi hem doğal hem de güçlü kılmaktadır.