Serbest Modül
Serbest modül, bir baza sahip olan, modül kuramındaki vektör uzayının en yakın analoğu ve tüm modüllerin bölüm modülleri olduğu evrensel yapı taşı olarak tanımlanmaktadır.
Tanım
Bir halka üzerindeki serbest modül, halkanın kopyalarının doğrudan toplamına izomorfik olan, eşdeğer olarak lineer bağımsız bir üreteç kümesi olan bir baza sahip bir modüldür.
Kapsam
Bu konu, serbest modülün tanımını, evrensel özelliğini, rankını ve değişmeli halkalar için değişmez boyut özelliğini, keyfi modüllerin serbest modüllerin bölüm modülleri olarak sunumunu ve ilgili projektif modüller kavramını kapsamaktadır.
Temel sorular
- Bir modülün baza sahip olması ne anlama gelmektedir?
- Serbest modülleri hangi evrensel özellik karakterize etmektedir?
- Bir serbest modülün rankı iyi tanımlanmış mıdır?
- Her modül, bir serbest modülün bölüm modülü olarak nasıl ortaya çıkmaktadır?
Temel kuramlar
- Serbest modüllerin evrensel özelliği
- Bir küme üzerindeki serbest modül, o kümeden bir harita alan modüller arasında evrenseldir: bazdan bir modüle giden herhangi bir fonksiyon, benzersiz bir şekilde bir modül homomorfizmasına genişlemektedir, bu da serbest modülleri modül kuramının serbest nesneleri yapmaktadır.
- Rankın değişmezliği
- Birimli bir değişmeli halka üzerinde, bir serbest modülün herhangi iki bazının aynı kardinaliteye sahip olması nedeniyle, rank iyi tanımlanmış bir değişmezdir ve vektör uzayları için boyutun değişmezliğini genelleştirmektedir.
- Serbest sunumlar
- Her modül, ilişkiler alt modülü tarafından bir serbest modülün bölüm modülüdür ve bu durum üreteçler ve ilişkilerle bir sunum sağlamaktadır; ilişki modülü de serbest olduğunda bu bir serbest çözülmedir ve homolojik cebirin başlangıcını oluşturmaktadır.
Klinik önem
Serbest modüller, hesaplamalı ve homolojik cebirin temel araçlarıdır: serbest modüller aracılığıyla yapılan sunumlar ve çözülmeler, Tor ve Ext gibi değişmezleri hesaplamaktadır; asal ideal bölgeleri üzerinde ise serbest ve torsiyon alt modülleri arasındaki etkileşim, kanonik formların ve abel gruplarının sınıflandırılmasının arkasındaki yapı teoremini ortaya koymaktadır.
Tarihçe
Modül için baz kavramı, vektör uzaylarının bazlarını ve ondokuzuncu yüzyıl aritmetiğinin serbest abel gruplarını genelleştirmiştir. Serbest modüller ve çözülmeleri, yirminci yüzyılın ortalarında homolojik cebirin yükselişiyle merkezi bir rol oynamış, modüllerin serbest olmaktan ne kadar saptığını ölçmek için kullanılmıştır.
Öne çıkan isimler
- Emmy Noether
- Heinrich Brandt
- Wolfgang Krull
İlgili konular
Temel eserler
- dummit2004
- lang2002
- atiyah1969
Sıkça sorulan sorular
- Her modül serbest midir?
- Hayır. Bir cisim üzerinde her modül serbest olsa da, genel bir halka üzerinde çoğu modül serbest değildir; örneğin, n modülündeki tam sayılar, tam sayılar üzerinde bir modül olarak baza sahip değildir. Serbest modüller, tam olarak bir baz kabul edenlerdir.
- Projektif modüller serbest modüllerle nasıl ilişkilidir?
- Projektif modüller, serbest modüllerin doğrudan toplananlarıdır ve biraz daha geniş bir sınıfı oluşturmaktadır. Asal ideal bölgeleri gibi bazı halkalar üzerinde, sonlu üretilmiş projektif ve serbest modüller çakışsa da, genel olarak farklılık göstermektedirler.