Cebirsel Sayı Kuramı
Cebirsel sayı kuramı, tam sayıların aritmetiğini, rasyonel sayıların sonlu genişlemeleri içindeki cebirsel tam sayı halkalarına genişletir; bu halkalarda tek türlü çarpanlara ayırma özelliği başarısız olabilir ancak idealler düzeyinde yeniden sağlanır.
Tanım
Cebirsel sayı kuramı, sayı cisimlerini (rasyonel sayıların sonlu genişlemeleri) ve bunların tam sayı halkalarını, çarpanlara ayırmayı, birimleri ve cisim genişlemelerini aritmetik olarak anlamak için değişmeli cebir ve Galois kuramı araçlarını kullanarak inceleyen bir alandır.
Kapsam
Bu kapsam, sayı cisimlerini ve bunların tam sayı halkalarını, ideallerin asal ideallere ayrılmasını, tek türlü çarpanlara ayırmanın başarısızlığını ölçen ideal sınıf grubunu, Dirichlet birim teoremini, genişlemelerdeki asalların dallanmasını ve davranışını, sayı cisimlerinin Galois kuramını ve aritmetik veriler açısından değişmeli genişlemeleri tanımlayan sınıf cisim kuramını içermektedir.
Alt konular
Temel sorular
- Cebirsel tam sayı halkasında tek türlü çarpanlara ayırmanın yerini ne alır ve asal idealler bunu nasıl geri kazandırır?
- İdeal sınıf grubu tarafından ölçülen tek türlü çarpanlara ayırmanın başarısızlığı ne kadar büyüktür ve her zaman sonlu mudur?
- Bir tam sayı halkasının birimleri nasıl davranır ve sıraları (rankları) nedir?
- Rasyonel asallar bir genişlemede nasıl ayrılır, dallanır veya atıl kalır ve Galois kuramı bunu nasıl yönetir?
Temel kuramlar
- İdeallerin Tek Türlü Çarpanlara Ayrılması
- Bir sayı cisminin tam sayı halkası gibi bir Dedekind bölgesinde, her sıfırdan farklı ideal, asal ideallere tek türlü ayrılır ve aritmetiğin temel teoreminin yapısal rolünü geri kazandırır.
- Sınıf Sayısının Sonluluğu ve Dirichlet Birim Teoremi
- İdeal sınıf grubu sonludur ve birim grubu, reel ve karmaşık gömülmelerin sayısı tarafından belirlenen bir rütbeye (ranka) sahip sonlu üretilmiş bir gruptur; bunlar Minkowski tarzı sayı geometrisi tarafından belirlenen iki temel taştır.
- Sınıf Cisim Kuramı
- Bir sayı cisminin değişmeli genişlemeleri, genelleştirilmiş ideal sınıf gruplarının bölümleri tarafından sınıflandırılır ve kuadratik karşılıklılık, Artin dönüşümünün karşılıklılık yasasına genelleştirilir.
Klinik önem
Tam sayı halkaları ve ideal aritmetiği, kuantum sonrası güvenlik için değerlendirilen kafes tabanlı ve ideal-kafes şemaları da dahil olmak üzere modern kriptografinin cebirsel omurgasını oluşturmakta ve bilinen en hızlı genel çarpanlara ayırma algoritması olan sayı cismi eleğinin temelini oluşturmaktadır.
Tarihçe
Bu alan, Fermat'nın Son Teoremi'nden esinlenerek, siklotomik cisimlerdeki tek türlü çarpanlara ayırmayı düzeltmek amacıyla Kummer'in 1847 civarında ideal sayıları tanıtmasıyla gelişmiştir. Dedekind bunları 1870'lerde idealler olarak yeniden formüle etmiş, Minkowski geometrik yöntemler eklemiş ve Hilbert, Takagi ile Artin yirminci yüzyılın başlarında sınıf cisim kuramını inşa etmişlerdir.
Öne çıkan isimler
- Ernst Kummer
- Richard Dedekind
- Leopold Kronecker
- Emil Artin
İlgili konular
Temel eserler
- neukirch1999
Sıkça sorulan sorular
- Cebirsel tam sayılar için tek türlü çarpanlara ayırma neden her zaman geçerli değildir?
- Birçok tam sayı halkasında bir eleman, indirgenemezlere gerçekten farklı şekillerde ayrılabilir; çözüm, elemanlar yerine idealleri çarpanlara ayırmaktır, bu durumda tek türlülük her zaman geri sağlanır.
- Sınıf sayısı nedir?
- Bu, ideal sınıf grubunun mertebesidir; bir tam sayı halkasının tek türlü çarpanlara ayırma özelliğinden ne kadar uzak olduğunu tam olarak ölçen sonlu bir sayıdır; çarpanlara ayırma tek türlü olduğunda tam olarak bire eşittir.