Modül Kuramı
Modül kuramı, skalerlerin bir cisimden ziyade bir halkadan geldiği vektör uzaylarının bir genellemesi olan modülleri inceleyerek lineer cebiri, değişmeli grup kuramını ve halkaların temsil kuramını birleştirmektedir.
Tanım
Bir R halkası üzerindeki bir modül, R'nin grup yapısıyla uyumlu bir etkisiyle birlikte bir değişmeli gruptur; vektör uzaylarını (bir cisim üzerindeki modüller) ve değişmeli grupları (tam sayılar üzerindeki modüller) genelleştirmektedir. Modül kuramı bu tür yapıları ve aralarındaki haritaları incelemektedir.
Kapsam
Bu alan; modüller ve alt modüller, bölüm modülleri ve homomorfizmalar, serbest ve izdüşümsel (projective) modüller, doğrudan toplamlar ve çarpımlar, tam diziler, tensör çarpımları ve bilineer haritalar ile bir asal ideal bölgesi (principal-ideal domain) üzerindeki sonlu üretilmiş modüller için yapı teoremini kapsamaktadır. Modern cebirde yaygın olarak kullanılan homolojik dili sağlamaktadır.
Alt konular
Temel sorular
- Bir modül ne zaman bir baza sahip olur ve serbest modüller vektör uzaylarından nasıl farklılık gösterir?
- Bir asal ideal bölgesi (principal-ideal domain) üzerindeki sonlu üretilmiş modüller nasıl sınıflandırılır?
- Tensör çarpımı, bilineer yapıları ve halka değişimini nasıl kodlar?
- Hangi homolojik değişmezler (izdüşümsellik (projectivity), tamlık (exactness)), bir modülün vektör uzayı gibi davranmamasının ölçüsünü verir?
Temel kuramlar
- Bir asal ideal bölgesi (PID) üzerindeki sonlu üretilmiş modüller için yapı teoremi
- Bir asal ideal bölgesi (principal-ideal domain) üzerindeki her sonlu üretilmiş modül, bir serbest modül ile devirli burulma (torsion) modüllerinin doğrudan toplamı olarak ayrışır ve izomorfizmaya kadar onu sınıflandıran değişmezlere (elementer bölenler veya değişmez çarpanlar) sahiptir.
- Tensör çarpımının evrensel özelliği
- İki modülün tensör çarpımı, bilineer haritalar için evrensel hedeftir; bilineer yapıları lineer yapılara dönüştürerek ve halkalar arasında taban değişimini mümkün kılarak işlev görmektedir.
- Serbest, izdüşümsel (projective) ve tam diziler
- Serbest modüller bazları genelleştirir, izdüşümsel (projective) modüller serbest modüllerin doğrudan toplam bileşenleridir ve kısa tam diziler ile bunların ayrışmaları, modüllerin alt modüllerden ve bölüm modüllerinden nasıl inşa edildiğini göstererek homolojik cebirin temelini oluşturmaktadır.
Klinik önem
Modül kuramı temel yapıları birleştirmekte ve genelleştirmektedir: sonlu üretilmiş değişmeli grupların sınıflandırılması ve lineer operatörlerin kanonik formları, asal ideal bölgesi (PID) yapı teoreminin örnekleridir; grup halkaları üzerindeki modüller ise tam olarak temsillerdir, bu da modül kuramını temsil kuramına, cebirsel topolojiye ve değişmeli cebire bağlamaktadır.
Tarihçe
Modüller, Dedekind'in ideallerini ve on dokuzuncu yüzyıl aritmetiğinin değişmeli gruplarını genelleştirmiştir. Emmy Noether tarafından cebirin merkezine yerleştirilmiştir; Noether, ideallerin, ideallerin bölümlerinin ve temsillerin hepsinin modül olduğunu fark etmiştir. Bu konu, Cartan, Eilenberg ve Mac Lane tarafından geliştirilen homolojik cebir için doğal bir zemin haline gelmiştir.
Öne çıkan isimler
- Emmy Noether
- Richard Dedekind
- Wolfgang Krull
- Emil Artin
- Saunders Mac Lane
İlgili konular
Temel eserler
- lang2002
- dummit2004
- atiyah1969
Sıkça sorulan sorular
- Neden her modül bir vektör uzayı gibi serbest değildir?
- Bir cisim üzerinde her modülün bir bazası bulunmaktadır; ancak genel bir halka üzerinde elemanlar, hiçbir bazanın ifade edemeyeceği burulmaya (torsion) veya ilişkilere sahip olabilmektedir. Örneğin, n modülündeki tam sayılar, tam sayılar üzerinde bazası olmayan bir modüldür. Serbest modüller, baza kabul eden özel modüllerdir.
- Modül kuramı lineer cebiri ve değişmeli grupları nasıl geri kazanır?
- Bir cisim üzerindeki bir modül tam olarak bir vektör uzayıdır ve tam sayılar üzerindeki bir modül tam olarak bir değişmeli gruptur. Bu nedenle, bir asal ideal bölgesi (principal-ideal domain) üzerindeki tek yapı teoremi, hem sonlu üretilmiş değişmeli grupların sınıflandırılmasını hem de matrislerin kanonik formlarını sağlamaktadır.