Halka Kuramı
Halka kuramı, tam sayıların ve polinomların aritmetiğini genelleştiren ve cebirin ve cebirsel geometrinin büyük bir kısmının yapısal temelini oluşturan, uyumlu toplama ve çarpma işlemleriyle donatılmış kümeleri inceler.
Tanım
Bir halka, iki ikili işlemle (toplama, onu bir değişmeli grup yapan; ve çarpma, toplama üzerinde birleşmeli ve dağılmalı olan) donatılmış bir kümedir, tipik olarak bir çarpımsal birim elemanı bulunur. Halka kuramı bu yapıları, onların ideallerini ve aralarındaki dönüşümleri inceler.
Kapsam
Bu alan, halkaları, alt halkaları ve idealleri; bölüm halkalarını ve izomorfizm teoremlerini; halka homomorfizmlerini; tamlık bölgelerini, kesir cisimlerini ve tek türlü çarpanlara ayırmayı; polinom halkalarını ve Öklid, asal ideal ve Noether halkalarını kapsar. Bir lisansüstü cebir dersi düzeyinde hem değişmeli hem de değişmesiz kuramı içerir.
Alt konular
Temel sorular
- Bir halkanın idealleri, onun bölüm yapısını ve homomorfik görüntülerini nasıl kontrol eder?
- Hangi koşullar altında bir halka, indirgenemez elemanlara tek türlü çarpanlara ayrılmayı kabul eder?
- Bir halkanın özellikleri, onun üzerindeki polinom halkalarına ve kesir halkalarına nasıl aktarılır?
- Hangi yapısal hipotezler (Noether, asal ideal, Öklid) işlenebilir aritmetik sağlar?
Temel kuramlar
- Halkalar için İzomorfizm Teoremleri
- Halka homomorfizmleri, çekirdekleri tarafından bölümler aracılığıyla çarpanlara ayrılır ve idealler ile bölüm halkaları arasındaki ortaya çıkan yazışma, grup-kuramsal izomorfizm teoremlerine paraleldir.
- Tek Türlü Çarpanlara Ayırma Hiyerarşisi
- Öklid bölgeleri asal ideal bölgeleridir, bunlar da tek türlü çarpanlara ayırma bölgeleridir; bu çıkarım zinciri, tamlık bölgelerinin aritmetiğini düzenler ve indirgenemezlere çarpanlara ayırmanın ne zaman esasen tek türlü olduğunu açıklar.
- Hilbert Taban Teoremi
- Eğer bir halka Noether ise, sonlu sayıda değişkene sahip polinom halkası da Noether'dir, bu da cisimler üzerindeki sonlu üretilmiş cebirlerin iyi huylu ideal kuramına sahip olmasını sağlar.
Klinik önem
Halka kuramı, cebirsel geometri (çeşitliliklerin koordinat halkaları), cebirsel sayı kuramı (tam sayı halkaları), kodlama kuramı ve kriptografi (polinom ve bölüm halkaları) ve polinomları sembolik olarak manipüle eden bilgisayar cebir sistemleri için cebirsel alt tabanı sağlar.
Tarihçe
Halka kuramı, Dedekind'in cebirsel sayı kuramındaki ideallerinden ve Hilbert'in değişmezler kuramından doğmuş ve 1920'lerde Emmy Noether tarafından yapısal bir disipline soyutlanmıştır; Noether'in artan zincir koşulları konuyu yeniden şekillendirmiştir. Artin ve diğerleri yapı kuramını değişmesiz ortama genişletmiştir.
Öne çıkan isimler
- Richard Dedekind
- David Hilbert
- Emmy Noether
- Wolfgang Krull
- Emil Artin
İlgili konular
Temel eserler
- lang2002
- dummit2004
- atiyah1969
Sıkça sorulan sorular
- Bir ideal ile bir alt halka arasındaki fark nedir?
- Bir alt halka, halka işlemleri altında kapalıdır; bir ideal ise ek olarak herhangi bir halka elemanıyla çarpma altında emicidir. Rastgele alt halkalar değil, idealler tam olarak halka homomorfizmlerinin çekirdekleridir ve bölünebilen nesnelerdir.
- Polinom halkaları neden bu kadar önemlidir?
- Polinom halkaları serbest değişmeli cebirlerdir: belirsizleri eklemeyi modellerler, idealleri polinom denklemleri sistemlerine karşılık gelir ve Hilbert taban teoremi, ideal kuramlarını sonlu olarak kontrol edilebilir kılar, bu da cebirsel geometriye açılan kapıdır.