Sayı Cisimlerinin Dallanma ve Galois Teorisi
Bir sayı cisminin bir asalı, daha büyük bir cisimde incelendiğinde, birkaç asal ideale ayrılabilir, asal kalabilir veya dallanabilir; Galois teorisi, tüm bu davranışları ayrışım grupları ve Frobenius elemanı aracılığıyla düzenlemektedir.
Tanım
Dallanma, bir taban cisminin bir asal idealinin bir genişlemede nasıl çarpanlara ayrıldığını ve tekrarlayan asal çarpanların ortaya çıkıp çıkmadığını tanımlamaktadır; sayı cisimlerinin Galois teorisi bunu, üzerindeki her asal ideale bağlı Galois grubunun alt grupları aracılığıyla kodlamaktadır.
Kapsam
Bu konu, bir rasyonel asalın bir genişlemedeki asal ideallere, dallanma indeksleri ve kalıntı dereceleriyle birlikte çarpanlara ayrılmasını, bunları dereceyle ilişkilendiren temel özdeşliği, dallanmış ve dallanmamış asalları, bir Galois genişlemesindeki ayrışım ve eylemsizlik gruplarını, Frobenius otomorfizmini, diferenti ve diskriminant ile dallanma arasındaki ilişkiyi ve karşılıklılığı öngören Artin sembolünü kapsamaktadır.
Temel sorular
- Bir rasyonel asal, bir genişlemenin tam sayılar halkasında nasıl çarpanlara ayrılır ve dallanma indeksi ile kalıntı derecesi nelerdir?
- Bu değişmezler neden dereceye toplamı olan temel özdeşliği sağlamaktadır ve Galois genişlemeleri için nasıl basitleşmektedir?
- Ayrışım ve eylemsizlik grupları nelerdir ve Frobenius elemanı kalıntı cisimleri üzerinde nasıl etki etmektedir?
- Hangi asallar dallanmaktadır ve diferent ile diskriminant onları nasıl tespit etmektedir?
Temel kuramlar
- Temel özdeşlik ve ayrışım tipleri
- Bir asal, bir genişlemede, ağırlıklı toplamı cisim derecesine eşit olan dallanma indeksleri ve kalıntı dereceleriyle çarpanlara ayrılmaktadır; bir Galois genişlemesinde tüm çarpanlar aynı indeksi ve dereceyi paylaşarak ayrışmış, eylemsiz ve dallanmış davranışları sınıflandırmaktadır.
- Ayrışım grubu, eylemsizlik grubu ve Frobenius
- Bir Galois genişlemesinde belirli bir asalın üzerindeki bir asal için, ayrışım grubu onun sabitleyicisi, eylemsizlik grubu onun dallanma kısmı olup, bölüm ise kalıntı cismi üzerinde bir kuvvet haritası olarak etki eden Frobenius elemanı tarafından üretilmektedir.
- Diferent, diskriminant ve dallanma
- Diferent ideal ve diskriminant, dallanmış asalları belirlemekte olup, iletken-diskriminant formülü bir Abel genişlemesinin diskriminantını karakterlerinin iletkenleri aracılığıyla ifade etmektedir.
Klinik önem
Asalların Frobenius elemanı aracılığıyla ayrışım davranışı, karşılıklılık yasalarını yönetmekte ve sayı cisimleri üzerinde polinomları ve idealleri çarpanlara ayıran algoritmaların, sayı cismi eleği içindeki adımlar da dahil olmak üzere, hesaplama çekirdeğini oluşturmaktadır.
Tarihçe
Dedekind, asalların çarpanlara ayrılmasını, o asal modülündeki minimal polinomun çarpanlara ayrılmasıyla ilişkilendirmiştir. Hilbert, 1897 tarihli Zahlbericht'inde dallanma teorisini sistemleştirmiş, modern konuyu düzenleyen ayrışım ve eylemsizlik gruplarını ve yüksek dallanma filtrasyonunu tanıtmıştır.
Öne çıkan isimler
- Richard Dedekind
- David Hilbert
- Ferdinand Georg Frobenius
İlgili konular
Temel eserler
- marcus2018
Sıkça sorulan sorular
- Bir asalın dallanması ne anlama gelmektedir?
- Bir asal, bir genişlemede, oradaki asal ideallere çarpanlara ayrılmasında tekrarlayan bir çarpan içermesi durumunda dallanmaktadır; sadece sonlu sayıda asal dallanır ve bunlar tam olarak diskriminantı bölen asallardır.
- Frobenius elemanı nedir?
- Bir Galois genişlemesindeki dallanmamış bir asal için, kalıntı cismi üzerinde p-inci kuvvet haritasını indükleyen kanonik otomorfizmdir; eşlenik sınıfı, asalın nasıl ayrıştığını kaydetmekte ve karşılıklılık yasalarının anahtarını oluşturmaktadır.