Sonlu Cisim
Sonlu cisim, sonlu sayıda elemana sahip bir cisimdir; her asal kuvvet için tam olarak bir tane böyle cisim bulunmakta olup, zengin ve hesaplama açısından kullanışlı bir yapıya sahiptir.
Tanım
Sonlu cisim, sonlu sayıda eleman içeren bir cisimdir; mertebesi zorunlu olarak bir asal sayının kuvveti olup, asal cisim (prime field) üzerinde uygun bir polinomun ayrılma cismi (splitting field) olarak inşa edilmektedir.
Kapsam
Bu konu; karakteristik ve asal alt cismi, sonlu cisimlerin asal kuvvet mertebesine göre sınıflandırılmasını, çarpımsal grubun döngüsel yapısını, Frobenius otomorfizmini, alt cisim yapısını ve sonlu cisimlerin ayrılma cisimleri (splitting fields) ile polinom halkalarının bölüm halkaları (quotients of polynomial rings) olarak inşasını kapsamaktadır.
Temel sorular
- Bir sonlu cisim hangi mertebelere sahip olabilir?
- Belirli bir mertebedeki sonlu cisimler nasıl sınıflandırılır?
- Bir sonlu cismin çarpımsal grubunun yapısı nasıldır?
- Frobenius otomorfizmi ve alt cisimler bir sonlu cismi nasıl düzenler?
Temel kuramlar
- Sonlu cisimlerin sınıflandırılması
- Her asal kuvvet için, izomorfizma (isomorphism) farkıyla, o mertebede tam olarak bir tane sonlu cisim bulunmaktadır. Bu cisim, kökleri tam olarak kendi elemanları olan polinomun ayrılma cismi (splitting field) olarak gerçekleştirilmektedir.
- Döngüsel çarpımsal grup
- Bir sonlu cismin sıfırdan farklı elemanları, çarpma işlemi altında döngüsel bir grup oluşturmaktadır. Bu nedenle, cisim tüm sıfırdan farklı elemanları kuvvetler olarak üreten bir ilkel elemana (primitive element) sahiptir.
- Frobenius otomorfizmi
- Karakteristik asala yükseltme, bir cisim otomorfizmi olan Frobenius dönüşümüdür (Frobenius map). Bu dönüşüm, bir sonlu cismin asal cismi (prime field) üzerindeki döngüsel Galois grubunu üretmekte ve alt cisim yapısını yönetmektedir.
Klinik önem
Sonlu cisimler, kodlama teorisi ve kriptografi için temel teşkil etmektedir; zira Reed-Solomon ve diğer hata düzeltme kodları, eliptik eğri kriptosistemleri ve Gelişmiş Şifreleme Standardı (Advanced Encryption Standard) gibi uygulamaların tümü sonlu cisimler üzerinde hesaplama yapmaktadır. Ayrıca, sonlu geometriler ve fark kümeleri (difference sets) aracılığıyla kombinatorik alanında da önemli bir yere sahiptir.
Tarihçe
Galois, kongrüansları incelerken asal kuvvet mertebeli cisimleri tanıtmıştır; bu nedenle sonlu cisimlere Galois cisimleri de denilmektedir. E. H. Moore, 1893 yılında her sonlu cismin mertebesi tarafından izomorfizma (isomorphism) farkıyla belirlendiğini kanıtlamış, Dickson ise yirminci yüzyılın başlarında bu teoriyi kapsamlı bir şekilde geliştirmiştir.
Öne çıkan isimler
- Évariste Galois
- E. H. Moore
- Leonard Eugene Dickson
İlgili konular
Temel eserler
- dummit2004
- lang2002
- hungerford1974
Sıkça sorulan sorular
- Bir sonlu cisim neden asal kuvvet mertebesine sahip olmak zorundadır?
- Bir sonlu cisim, bir asal sayıya göre tam sayılara izomorfik olan en küçük bir alt cisim (karakteristiği) içermektedir ve bu alt cisim üzerinde sonlu boyutlu bir vektör uzayıdır. Bu nedenle, boyutu o asal sayının boyuta yükseltilmiş hali, yani bir asal kuvvettir.
- Aynı boyuttaki iki sonlu cisim gerçekten aynı mıdır?
- Evet, izomorfizma (isomorphism) farkıyla aynıdır. Her asal kuvvet için o mertebede tek bir sonlu cisim bulunmaktadır; bu nedenle boyutlarıyla açıkça belirtilmektedirler. Farklı indirgenemez polinomlar gibi farklı yapılar, izomorfik cisimler üretmektedir.