Modul (matematika)

Dalam matematika, modul adalah suatu struktur aljabar dasar yang digunakan dalam aljabar abstrak. Modul diatas gelanggang meru generalisasi dari gagasan ruang vektor diatas medan, dimana skalar sesuai apabila elemen dari gelanggang yang diberikan secara sembarang (dengan identitas) dan perkalian (di kiri dan/atau di kanan) didefinisikan antara elemen gelanggang dan elemen modul. Modul mengambil skalar dari gelanggang R disebut modul-R.

Jadi, modul sebagai ruang vektor, adalah aditif grup abelian; produk didefinisikan antara elemen gelanggang dan elemen modul distributif selama operasi penambahan setiap parameter dan kompatibel dengan perkalian gelanggang.

Modul sangat erat kaitannya dengan teori wakilan dari grup. Dan juga merupakan salah satu pengertian sentral aljabar komutatif dan aljabar homologis, dan digunakan secara luas dalam geometri aljabar dan topologi aljabar.

Pendahuluan dan definisi

Motivasi 
Dalam ruang vektor, himpunan skalar adalah medan dan bekerja pada vektor dengan perkalian skalar, apabila aksioma tertentu seperti hukum distributif. Dalam modul, skalar digunakan gelanggang, jadi konsep modul mewakilan generalisasi yang signifikan. Dalam aljabar komutatif, ideal dan gelanggang hasil bagi adalah modul, sehingga banyak argumen tentang ideal atau gelanggang hasil bagi yang menggabungkan satu argumen tentang modul. Dalam aljabar non-komutatif, perbedaan antara ideal kiri, ideal, dan modul menjadi lebih jelas, meskipun beberapa kondisi teori gelanggang apabila diekspresikan baik tentang ideal kiri atau modul kiri.

Sebagian besar teori modul terdiri dari perluasan sebanyak mungkin properti ruang vektor yang diinginkan ke ranah modul melalui gelanggang, seperti prinsip ideal. Namun, modul bisa sedikit lebih rumit daripada ruang vektor; misalnya, tidak semua modul memiliki basis, dan bahkan yang memiliki, modul bebas, tidak perlu memiliki peringkat unik jika gelanggang yang mendasarinya tidak memenuhi kondisi bilangan basis invarian, tidak seperti ruang vektor, yang selalu memiliki basis (mungkin tak hingga) yang kardinalitasnya kemudian unik. Dua pernyataan terakhir ini membutuhkan aksioma pilihan secara umum, tetapi tidak dalam kasus ruang berdimensi hingga, atau ruang berdimensi tak hingga tertentu yang berperilaku baik seperti Ruang Lp.

Definisi formal 
Misalkan R adalah gelanggang dan 1 adalah identitas perkaliannya.
Modul kiri-R pada M yang terdiri dari grup abelian  dan operasi  maka r, s di R dan x, y di M, memiliki:

Pengoperasian gelanggang pada M disebut perkalian skalar, dan biasanya ditulis dengan penjajaran, yaitu sebagai rx untuk r pada R dan x pada M, meskipun dilambangkan sebagai  untuk membedakannya dari operasi perkalian gelanggang, yang dilambangkan dengan penjajaran. Notasi RM menunjukkan modul kiri-R pada M. Sebuah modul kanan-R pada M atau MR didefinisikan serupa, kecuali bahwa gelanggang itu bekerja di sebelah kanan; yaitu, perkalian skalar mengambil bentuk , dan aksioma atas ditulis dengan skalar r dan s sebelah kanan x dan y.

Penulis yang tidak memerlukan gelanggang menjadi unital untuk menghilangkan ketentuan 4 atas dalam definisi modul R, dan apabila struktur yang didefinisikan atas "unital kiri R". Dalam artikel ini, sesuai dengan glosarium teori gelanggang, semua gelanggang dan modul dianggap tidak sama.

Contoh 

Jika K adalah medan, maka ruang vektor-K (ruang vektor atas K) dan modul identik-K.
Jika K adalah medan, dan K[x] univariat gelanggang polinomial, maka modul-K[x] M adalah modul K dengan aksi tambahan x pada M pada komutatif dengan tindakan K di M. Dengan kata lain, modul K[x] adalah ruang vektor K pada M yang dikombinasikan dengan peta linear dari M ke M. Menerapkan Teorema struktur untuk modul yang dihasilkan hingga pada domain ideal utama pada contoh ini menunjukkan keberadaan rasional dan bentuk kanonik Yordania.
Konsep modul Z menyetujui dengan gagasan grup abelian. Artinya, setiap grup abelian adalah modul di atas gelanggang bilangan bulat Z dengan unik. Untuk , misal  (n), , dan . Modul tersebut tidak perlu memiliki basis—grup yang berisi elemen torsi. Misalnya, dalam grup bilangan bulat modulo 3, apabila tidak menemukan satu elemenpun yang memenuhi definisi himpunan bebas linear karena ketika sebuah bilangan bulat seperti 3 atau 6 mengalikan sebuah elemen, hasilnya adalah 0. Namun, jika medan hingga sebagai modul atas medan hingga yang sama diambil sebagai gelanggang adalah ruang vektor dan memiliki basis.
Pecahan desimal (termasuk yang negatif) dalam bentuk modul atas bilangan bulat. Hanya tunggal yang merupakan himpunan bebas linear, tetapi tidak ada tunggal yang dapat digunakan sebagai basis, jadi modul tidak memiliki dasar dan tidak memiliki peringkat.
Jika R adalah gelanggang sembarang dan n sebuah bilangan asli, maka produk Kartesius Rn adalah modul kiri-R dan kanan atas R jika kita menggunakan komponen-operasi. Oleh karena itu ketika , R adalah modul R, dimana perkalian skalar hanyalah perkalian gelanggang. Kasus  menghasilkan modul R-{0} yang hanya terdiri dari elemen identitas. Modul jenis ini disebut bebas dan jika R memiliki bilangan basis invarian (misalnya gelanggang atau medan komutatif) bilangan n kemudian menjadi peringkat modul bebas.
Jika Mn(R) adalah gelanggang  matriks atas gelanggang R, M adalah modul-Mn(R), dan ei adalah matriks  dengan 1 entri  (dan nol di tempat), maka eiM adalah modul-R, karena . Jadi M dipecah sebagai jumlah langsung dari modul R, . Sebaliknya, diberikan modul-R pada M0, maka M0⊕n adalah modul-Mn(R). Sebenarnya, kategori modul-R dan kategori dari modul-Mn( R) adalah ekuivalen. Kasus khusus adalah bahwa modul M apabila R sebagai modul atasnya, maka Rn adalah modul-Mn(R).
Jika S adalah himpunan tak kosong, M adalah modul kiri-R, dan MS adalah himpunan semua fungsi , maka dengan penjumlahan dan perkalian skalar dalam MS didefinisikan titik demi titik oleh  dan , MS adalah modul kiri-R. Kasus modul-R yang tepat adalah analog. Khususnya, jika R komutatif maka himpunan homomorfisme modul-R  (lihat di bawah) adalah modul-R (dan sebenarnya adalah submodul dari NM).
Jika X adalah lipatan mulus, maka fungsi mulus dari X ke bilangan riil dalam bentuk gelanggang C∞(X). Himpunan semua medan vektor mulus yang didefinisikan pada X dalam bentuk modul atas C∞(X), dan begitu juga medan tensor dan bentuk diferensial pada X.  Lebih umum, bagian dari bundel vektor dalam bentuk modul proyektif atas C∞(X), dan dengan teorema Swan, setiap modul proyektif adalah isomorfik pada modul bagian dari beberapa bundel; kategori dari modul C∞(X) dan kategori bundel vektor atas X adalah ekuivalen.
Jika R adalah sembarang gelanggang dan I adalah ideal kiri di R, maka I adalah modul kiri-R, dan ideal kanan secara analog dalam R adalah modul kanan-R.
Jika R adalah sebuah gelanggang, apabi5 didefinisikan gelanggang berlawanan Rop yang memiliki himpunan dasar yang sama dan operasi penjumlahan yang sama, namun perkalian inversnya: jika  pada R, maka  pada Rop. Setiap modul kiri-R pada M maka dilihat sebagai modul kanan atas Rop, dan modul kanan atas-R sebagai modul kiri atas Rop.
 Modu atas aljabar Lie adalah modul (aljabar asosiatif) di atas aljabar pembungkus universal.
Jika R dan S adalah gelanggang dengan gelanggang homomorfisme φ : R → S, maka setiap modul-S pada M adalah modul R dengan mendefinisikan rm = φ(r)m. Secara khusus, S sendiri adalah modul-R.

Submodul dan homomorfisme 

Misalkan M adalah modul-R kiri dan N adalah subgrup dari M. Maka N adalah submodul (atau lebih eksplisit R) apabila n pada N dan r pada R, produk  adalah N (atau  untuk modul-R.

Jika X adalah himpunan bagian dari modul-R, maka submodul yang direntang oleh X didefinisikan sebagai , dimana N submodul atas dari M yang berisi X, atau secara eksplisit , yang terpenting dalam definisi adalah produk tensor.

Himpunan submodul dari modul tertentu M, bersama dengan dua operasi biner + dan ∩, dalam bentuk sebuah kekisi yang memenuhi hukum modular:
Diberikan submodul U, N1, N2 dari M sedemikian rupa sehingga , maka dua submodul berikut ini: .

Jika M dan N misal modul R, maka sebuah peta  adalah homomorfisme dari modul-R jika untuk setiap m, n dalam M dan r, s dalam R,
.
Homomorfisme ini objek matematika lainnya, hanyalah pemetaan dengan mempertahankan struktur objek. Nama lain untuk homomorfisme modul R adalah peta linear-R.

Sebuah bijektif modul homomorfisme  disebut modul isomorfisme, dan dua modul M dan N disebut isomorfik. Dua modul isomorfik identik untuk semua tujuan praktis, hanya berbeda dalam notasi untuk elemennya.

Kernel dari modul homomorfisme  adalah submodul dari M yang terdiri dari semua elemen urutan ke nol oleh f, dan citra dari f adalah submodul dari N yang terdiri dari nilai f(m) untuk semua elemen m dari M. Teorema isomorfisme yang familiar dari grup dan ruang vektor valid untuk modul-R.

Diberikan gelanggang-R, himpunan semua modul kiri-R bersama dengan homomorfisme modul dalam bentuk kategori abelian, dilambangkan dengan Mod-R(lihat kategori modul).

Jenis modul 

 Terbangkit hingga Sebuah modul-R pada M adalah dihasilkan secara terbatas apabila jika terdapat elemen x1, ..., xn dalam M sedemikian rupa sehingga setiap elemen M adalah kombinasi linear elemen tersebut dengan koefisien dari gelanggang R.
 Siklik Sebuah modul disebut modul siklik jika dihasilkan oleh satu elemen.
 Bebas modul-R bebas adalah modul yang memiliki basis, atau ekuivalen diantara isomorfik ke jumlah langsung dari salinan gelanggang R. Ini adalah modul perilaku yang mirip dengan ruang vektor.
 Proyektif Modul proyektif adalah jumlah langsung modul bebas dan berbagi banyak sifat yang diinginkan.
 Injektif Modul injektif didefinisikan secara ganda untuk modul proyektif.
 Rata Sebuah modul disebut rata jika mengambil produk tensor dari modul tersebut dengan urutan tepat dari modul R pertahanan ketepatan.
 Tanpa torsi Sebuah modul disebut tanpa torsi jika disematkan ke dual aljabarnya.
 Sederhana Sebuah modul sederhana S adalah modul yang bukan {0} dan submodulnya {0} dan S. Modul sederhana terkadang disebut takreduksi.
 Semisederhana modul semisederhana adalah penjumlahan langsung (hingga atau tidak) dari modul sederhana. Secara historis modul ini juga disebut "komplekmen ireduksi".
 Takdekomposisi modul takdekomposisi adalah modul bukan nol yang tidak tertulis sebagai jumlah langsung dari dua submodul bukan nol. Setiap modul sederhana takdekomposisi, tetapi apabila modul takdekomposisi tak sederhana (mis. modul seragam).
 Kesesuaian Sebuah modul sesuai M adalah salah satu dimana tindakan setiap  dalam R atas M non-trivial (yaitu  untuk beberapa x dalam M).  Secara ekuivalen, annihilator dari M adalah ideal nol.
 Bebas torsi modul bebas torsi adalah modul atas gelanggang sehingga 0 adalah satu-satunya elemen annihilator oleh elemen reguler (non pembagi nol) dari gelanggang, secara ekuivalen  mengartikan  atau .
 Noetherian Modul Noetherian adalah modul yang memenuhi kondisi kaidah naik pada submodul, yaitu, setiap kaidah submodul ditingkatkan sebagai stasioner setelah banyak langkah. Secara ekuivalen, setiap submodul dibangkitkan secara hingga.
 Artinian Modul Artinian adalah modul yang memenuhi kondisi kaidah turun pada submodul, yaitu, setiap kaidah submodul turun sebagai stasioner setelah banyak langkah.
 Gradasi Sebuah modul bergradasi adalah modul dengan dekomposisi sebagai jumlah langsung  Gelanggang bertingkat atas  sedemikian rupa sehingga  untuk semua x dan y.
 Seragam Sebuah modul seragam adalah modul dimana semua pasangan submodul bukan nol memiliki persimpangan bukan nol.

Modul atas aljabar asosiatif 

Jika  adalah gelanggang komutatif dan  adalah aljabar asosiatif-R, maka adalah modul kiri- dengan modul- pada  bersama dengan modul homomorfisme- 
 
dirumuskan sebagai
 untuk 
gilt.

Modul kanan- adalah modul- pada  bersama dengan modul homomorfisme- 

dirumuskan sebagai
 für 
gilt.

Modul gabungan dan bimodul didefinisikan secara analogi dengan kasus gelanggang.

Lihat pula 
 Grup gelanggang
 Aljabar (teori gelanggang)
 Modul (teori model)
 Spektrum modul
 Annihilator

Referensi

Pranala luar 
 
 Why is it a good idea to study the modules of a ring ? on MathOverflow
 

Struktur aljabar
 * Modul