Sonlu Üretilmiş Modüller İçin Yapı Teoremi
Yapı teoremi, bir ana ideal bölgesi (principal-ideal domain) üzerindeki sonlu üretilmiş modülleri, serbest bir kısım ve devirli burulma (torsion) parçalarının direkt toplamları olarak sınıflandırmaktadır. Bu teorem, değişmeli grupların sınıflandırılmasını ve matrislerin kanonik formlarını birleştirmektedir.
Tanım
Yapı teoremi, bir ana ideal bölgesi üzerindeki her sonlu üretilmiş modülün, sonlu ranklı bir serbest modül ile sonlu sayıda devirli burulma modülünün direkt toplamına izomorfik olduğunu belirtmektedir. Bu modülü izomorfizmaya kadar belirleyen değişmezler (değişmez çarpanlar veya elementer bölenler) bulunmaktadır.
Kapsam
Bu konu, bir ana ideal bölgesi üzerindeki sonlu üretilmiş bir modülün değişmez çarpanlara (invariant factors) ve elementer bölenlere (elementary divisors) ayrıştırılmasını, bu değişmezlerin tekliğini, serbest rankı ve burulma altmodülünü (torsion submodule) ve sonlu değişmeli gruplara ve doğrusal operatörlerin kanonik formlarına yönelik iki ana uygulamasını kapsamaktadır.
Temel sorular
- Bir ana ideal bölgesi üzerindeki sonlu üretilmiş bir modül nasıl ayrışır?
- Bu tür modülleri izomorfizmaya kadar hangi değişmezler sınıflandırır?
- Teorem, sonlu değişmeli grupların sınıflandırmasını nasıl yeniden elde eder?
- Teorem, rasyonel ve Jordan kanonik formlarını nasıl verir?
Temel kuramlar
- Değişmez Çarpan Ayrıştırması
- Bir ana ideal bölgesi üzerindeki sonlu üretilmiş bir modül, halkanın kendisinin belirli sayıda direkt toplamı ile, bölünen değişmez çarpanlar zinciri tarafından oluşturulan devirli bölüm modüllerinin direkt toplamıdır. Bu çarpanlar tektir ve modülü belirler.
- Elementer Bölen Ayrıştırması
- Değişmez çarpanları asal kuvvetlere (prime powers) ayrıştırmak, elementer bölen formunu verir. Bu, asal kuvvet mertebeli devirli modüllere eşdeğer bir ayrıştırmadır ve aynı zamanda tam bir izomorfizm değişmezidir.
- Değişmeli Gruplara ve Operatörlere Uygulamalar
- Tam sayılar üzerinde teorem, sonlu üretilmiş değişmeli grupları sınıflandırırken, tek değişkenli bir polinom halkası (polynomial ring) üzerinde ise doğrusal operatörleri sınıflandırarak rasyonel ve Jordan kanonik formlarını üretir.
Klinik önem
Yapı teoremi, cebirdeki en önemli sınıflandırma sonuçlarından biridir: tek bir ifade, hem sonlu üretilmiş değişmeli grupların temel teoremini hem de doğrusal operatörlerin kanonik form teorisini ortaya koymaktadır. Bu araçlar topoloji, sayı teorisi ve uygulamalı doğrusal cebir boyunca kullanılmaktadır.
Tarihçe
Bu sonuç, Kronecker'in on dokuzuncu yüzyıldaki sonlu değişmeli gruplar sınıflandırmasını ve tam sayı matrisleri için Smith normal formunu genelleştirmektedir. Emmy Noether ve ekolü tarafından modül-teorik dile yeniden dökülen bu teorem, klasik teoremleri Weierstrass ve Jordan'ın kanonik formlarıyla birleştirmiştir.
Öne çıkan isimler
- Emmy Noether
- Karl Weierstrass
- Henry John Stephen Smith
- Leopold Kronecker
İlgili konular
Temel eserler
- dummit2004
- lang2002
- hungerford1974
Sıkça sorulan sorular
- Teorem neden bir ana ideal bölgesi gerektirir?
- İspat, halka üzerindeki matrisler için Smith normal formuna dayanmaktadır. Bu form, her idealin ana ideal (principal ideal) olmasına bağlıdır, böylece eleman çiftlerinin en büyük ortak bölenleri (greatest common divisors) bulunur. Daha genel halkalar üzerinde bu düzenli ayrıştırma başarısız olur.
- Tek bir teorem hem değişmeli grupları hem de kanonik formları nasıl verir?
- Hem tam sayılar hem de bir cisim (field) üzerindeki tek değişkenli polinom halkası, ana ideal bölgeleridir. Teoremi tam sayılar üzerinde uygulamak değişmeli grupları sınıflandırırken, bir operatörlü vektör uzayının bir modül olduğu polinom halkası üzerinde uygulamak kanonik formları verir.