Modül
Modül, skalerleri bir cisimden ziyade bir halkadan gelen, vektör uzayı benzeri bir yapıdır ve abel gruplarını, vektör uzaylarını ve gösterimleri birleştiren modül kuramının merkezi nesnesidir.
Tanım
Bir R halkası üzerindeki modül, R'nin elemanları tarafından dağılma ve birleşme özelliklerine sahip olan ve birimi koruyan bir skaler çarpma ile donatılmış bir abel grubudur; bu, vektör uzaylarını halka katsayılarına genelleştirmektedir.
Kapsam
Bu konu, bir halka üzerindeki modülün tanımını, alt modülleri ve bölüm modüllerini, modül homomorfizmalarını, üreteçleri ve bağıntıları, devirli ve sonlu üretilmiş modülleri ve izomorfizm teoremlerini, abel grupları ve vektör uzaylarının modül olarak temel örnekleriyle birlikte kapsamaktadır.
Temel sorular
- Bir modül, bir vektör uzayını ve bir abel grubunu nasıl genelleştirmektedir?
- Alt modüller, bölüm modülleri ve modül homomorfizmaları nelerdir?
- Bir modül, üreteçler ve bağıntılar aracılığıyla nasıl temsil edilmektedir?
- Modüller neden bir baza sahip olamayabilir?
Temel kuramlar
- Modüller tanıdık yapıları birleştirmektedir
- Bir cisim üzerindeki modül bir vektör uzayıdır ve tam sayılar üzerindeki modül bir abel grubudur; bu nedenle modül kuramı, bunları ve grup-halka gösterimlerini tek bir çerçeve içinde ele almaktadır.
- Modüller için izomorfizm teoremleri
- Modül homomorfizmaları, çekirdekleri aracılığıyla bölümler üzerinden çarpanlara ayrılmaktadır ve karşılık gelme ile izomorfizm teoremleri gruplardan ve halkalardan aktarılarak alt modüllerin ve bölümlerin yapısını düzenlemektedir.
- Üreteçler ve bağıntılar
- Her modül, bir serbest modülün bir bölümüdür ve bu nedenle üreteçler ve bağıntılar aracılığıyla temsil edilmektedir; bağıntıların sıfır olmaması durumu, genel modülleri vektör uzaylarından ayıran temel özelliktir.
Klinik önem
Modüller, birçok cebirsel yapı için ortak bir dil teşkil etmektedir: idealler ve bölüm halkaları, abel grupları, grupların ve cebirlerin gösterimleri ile topolojinin homoloji ve kohomoloji gruplarının hepsi modüldür; bu nedenle modül kuramı, matematiğin birçok alanında uygulanabilen araçlar sunmaktadır.
Tarihçe
Modül kavramı, Dedekind'in cebirsel sayı modüllerini ve on dokuzuncu yüzyıl aritmetiğinin abel gruplarını genelleştirmiştir. Emmy Noether ise, ideallerin, bölümlerin ve gösterimlerin uygun halkalar üzerindeki modüller olduğunu fark ederek, 1920'lerde bu kavramı cebirin merkezine yerleştirmiştir.
Öne çıkan isimler
- Emmy Noether
- Richard Dedekind
- Wolfgang Krull
İlgili konular
Temel eserler
- dummit2004
- lang2002
- atiyah1969
Sıkça sorulan sorular
- Bir modül neden skalerleri bir halkadan gelen bir vektör uzayı gibidir?
- Aksiyomlar bir vektör uzayınınkilerle aynıdır, ancak skalerlerin bir cisimden ziyade bir halkadan gelmesi dışında. Halka elemanlarının tersinir olması gerekmediğinden, modüller, hiçbir vektör uzayının sergilemediği burulmaya (torsion) ve bağıntılara sahip olabilmektedir.
- Hangi tanıdık nesneler modüldür?
- Abel grupları tam sayılar üzerindeki modüllerdir, vektör uzayları cisimler üzerindeki modüllerdir ve bir halkanın idealleri o halka üzerindeki modüllerdir. Bu nedenle, tek bir modül kuramı aynı anda bu kadar çok cebirsel durumu ele alabilmektedir.