Wedderburns küçük teoremi - Wedderburns little theorem - Wikipedia

İçinde matematik, Wedderburn'ün küçük teoremi şunu belirtir her sonlu alan adı bir alan. Başka bir deyişle, sonlu halkalar alanlar arasında hiçbir ayrım yoktur, çarpık alanlar ve alanlar.

Artin-Zorn teoremi teoremi genelleştirir alternatif halkalar: her sonlu alternatif bölme halkası bir alandır.[1]

Tarih

Orijinal kanıt tarafından verildi Joseph Wedderburn 1905'te,[2] bunu iki şekilde kanıtlamaya devam etti. Başka bir kanıt verildi Leonard Eugene Dickson Wedderburn'ün orijinal ispatından kısa bir süre sonra ve Dickson, Wedderburn'ün önceliğini kabul etti. Ancak, belirtildiği gibi (Parshall 1983 ), Wedderburn'ün ilk kanıtı yanlıştı - bir boşluk vardı - ve sonraki ispatları ancak Dickson'ın doğru ispatını okuduktan sonra ortaya çıktı. Bu temelde Parshall, Dickson'ın ilk doğru kanıta sahip olması gerektiğini savunuyor.

İspatın basitleştirilmiş bir versiyonu daha sonra tarafından verildi Ernst Witt.[2] Witt'in kanıtı aşağıda özetlenmiştir. Alternatif olarak, teorem bir sonucudur Skolem-Noether teoremi aşağıdaki argüman ile.[3] İzin Vermek D sonlu olmak bölme cebiri ile merkez k. İzin Vermek [D : k] = n2 ve q önemini belirtmek k. Her maksimal alt alanı D vardır qn elementler; bu yüzden bunlar izomorfiktir ve dolayısıyla Skolem-Noether tarafından eşleniktir. Ancak sonlu bir grup (çarpımsal grup D bizim durumumuzda) uygun bir alt grubun eşleniklerinin birliği olamaz; dolayısıyla n = 1.

Daha sonra "grup teorik "kanıt verildi Theodore Kaczynski.[4] Kaczynski'nin yayımlanan ilk matematiksel yazı parçası olan bu kanıt, daha önceki tarihsel kanıtları da kabul eden kısa, iki sayfalık bir nottu.

Sonlu bir alanın Brauer grubuyla ilişkisi

Teorem esasen şunu söylemeye eşdeğerdir: Brauer grubu sonlu bir alanın önemi önemsizdir. Aslında, bu karakterizasyon hemen aşağıdaki gibi teoremin bir kanıtını verir: let k sonlu bir alan ol. Beri Herbrand bölümü sonlu olarak kaybolur, ile çakışır sonra da kaybolan Hilbert 90.

Kanıt

İzin Vermek Bir sonlu bir alan olabilir. Sıfır olmayan her biri için x içinde Bir, iki harita

tarafından enjekte ediliyor iptal mülkü ve böylece sayarak örten. Temel grup teorisinden izler[5] sıfır olmayan elemanların Bir çarpma altında bir grup oluşturur. Böylece, Bir bir çarpık alan.

Her sonlu çarpık alanın bir alan olduğunu kanıtlamak için, çarpık alanın boyutu üzerinde güçlü tümevarım kullanıyoruz. Öyleyse izin ver Bir bir çarpık alan olacak ve tüm eğri alanların uygun alt kümeleri olduğunu varsayalım. Bir alanlardır. Beri merkez Z(Bir) nın-nin Bir bir alan Bir bir vektör uzayı bitti Z(Bir) sonlu boyutlu n. Amacımız o zaman göstermek n = 1. Eğer q emri Z(Bir), sonra Bir sipariş var qn. Unutmayın çünkü Z(Bir) 0 ve 1, q> 1 farklı öğeleri içerir. Her biri için x içinde Bir bu merkezde değil, merkezleyici Zx nın-nin x tümevarım hipotezine göre açıkça bir çarpık alan ve dolayısıyla bir alandır ve çünkü Zx üzerinde bir vektör uzayı olarak görülebilir Z(Bir) ve Bir üzerinde bir vektör uzayı olarak görülebilir Zxbizde var Zx sipariş var qd nerede d böler n ve daha az n. Görüntüleme Z(Bir)*, A *, ve Z *x çarpma altındaki gruplar olarak, sınıf denklemi

toplamın, içinde yer almayan eşlenik sınıfları üzerinden alındığı Z(Bir)*, ve d her bir eşlenik sınıfı için sırası Z *x herhangi x sınıfta qd-1. qn−1 ve qd−1 ikisi de itiraf ediyor polinom çarpanlarına ayırma açısından siklotomik polinomlar

.

Polinom kimliklerinde

ve ,

ayarladık x = q. Çünkü her biri d uygun bir bölen n,

ikisini de böler qn−1 ve her biri ,

yani yukarıdaki sınıf denklemine göre bölünmeli q−1 ve dolayısıyla

.

Bunun güçlendiğini görmek için n 1 olmak, göstereceğiz

için n Karmaşık sayılar üzerinde çarpanlara ayırma kullanarak> 1. Polinom kimliğinde

,

ζ ilkel olanın üzerinden geçer n-birliğin kökleri, set x olmak q ve sonra mutlak değerler al

.

İçin n > 1, görüyoruz ki her ilkel için n-birliğin kökü ζ,

konumu nedeniyle qKarmaşık düzlemde 1 ve ζ. Böylece

.

Notlar

  1. ^ Shult, Ernest E. (2011). Noktalar ve çizgiler. Klasik geometrilerin karakterizasyonu. Universitext. Berlin: Springer-Verlag. s. 123. ISBN  978-3-642-15626-7. Zbl  1213.51001.
  2. ^ a b Lam (2001), s. 204
  3. ^ Teorem 4.1, Ch. Milne IV, sınıf alan teorisi, http://www.jmilne.org/math/CourseNotes/cft.html
  4. ^ Kaczynski, T.J. (Haziran – Temmuz 1964). "Wedderburn Teoreminin Başka Bir Kanıtı". American Mathematical Monthly. 71 (6): 652–653. JSTOR  2312328. (Jstor bağlantısı, giriş gerektirir)
  5. ^ örneğin, Milne'de Egzersiz 1.9, grup teorisi, http://www.jmilne.org/math/CourseNotes/GT.pdf

Referanslar

  • Parshall, K. H. (1983). "Sonlu bölme cebir teoremi ve ötesinin peşinde: Joseph H. M Wedderburn, Leonard Dickson ve Oswald Veblen". Uluslararası Bilim Tarihi Arşivleri. 33: 274–99.
  • Lam, Tsit-Yuen (2001). Değişmeli olmayan halkalarda ilk kurs. Matematikte Lisansüstü Metinler. 131 (2 ed.). Springer. ISBN  0-387-95183-0.

Dış bağlantılar