BAB I PENDAHULUAN
1.1. Latar Belakang Telah diketahui dalam teori modul, pengertian basis meliputi konsep membangun dan konsep bebas linear. Karakterisasi suatu himpunan bagian yang bersifat membangun dan bebas linear di dalam suatu modul dapat ditemukan di dalam Maclane-Birkhoff (1979), Adkins-Weintraub (1992), Passman (1991), dan Hungerford (1974). Konsep membangun oleh suatu himpunan bagian di dalam suatu modul telah diperumum dan dikembangkan oleh Wisbauer (1991) dan Anderson-Fuller (1992) ke dalam kategori π
-modul (π
-Mod). Kelas π π merupakan koleksi submodul-submodul dari suatu modul yang dibangun oleh π
-modul π. Telah ditunjukkan bahwa π π merupakan suatu subkategori dari kategori π
-Mod dan memiliki sifat tertutup terhadap submodul, modul faktor, dan jumlah langsung. Dari hasil-hasil yang diperoleh Wisbauer (1991) dan Anderson-Fuller (1992), penulis termotivasi untuk mendefinisikan pengertian keluarga modul bebas linear yang merupakan perumuman dari pengertian bebas linear suatu himpunan bagian di dalam suatu modul. Selanjutnya, diperkenalkan kelas modul π π yakni koleksi submodul dari modul faktor π πΏ dengan πΏ submodul dari π yang isomorfis dengan submodul dari koproduk keluarga modul yang bebas linear maksimal terhadap π dan dinotasikan oleh π π = πΎ πΏ β€ π πΏ | πΏ β
π β€ Ξ dengan ππ
Ξ
Ξ ππ
, πβ
adalah keluarga π
-modul yang bebas linear maksimal terhadap
π. Pembentukan kelas modul π π ini termotivasi oleh pembentukan kelas modul π π yang telah dilakukan oleh Wisbauer (1991). Selanjutnya diselidiki apakah π π merupakan subkategori dari kategori π
-Mod. Jika dapat dibuktikan bahwa π π merupakan kategori, selanjutnya dilakukan kajian apakah kategori π π
1
memiliki sifat tertutup terhadap submodul, modul faktor, dan jumlah langsung seperti pada kategori π π . Di pihak lain, konsep ring herediter telah banyak diteliti dan dikembangkan dari berbagai pendekatan. Cartan-Eilenberg (1956) mengetengahkan karakterisasi ring herediter melalui modul. Tuganbaev (2003) telah mengkaji sifat-sifat ideal suatu ring herediter. Haily-Rahnaoui (2007) telah mengetengahkan karakterisasi baru dari ring herediter melalui endomorfisma. Telah diketahui bahwa perumuman definisi ring herediter di area modul telah diperkenalkan oleh Shrikhande (1973). Selain memperkenalkan modul herediter, Shrikhande memperkenalkan modul koherediter yang merupakan dual dari modul herediter. Dikatakan dual karena modul koherediter merupakan modul yang memiliki sifat injektif pada setiap modul faktornya, sedang modul herediter merupakan modul yang memiliki sifat proyektif pada setiap submodulnya.
Hill (1977) telah
menelaah struktur endomorο¬sma suatu modul herediter. Pengembangan konsep modul herediter ke sifat herediter di suatu kelas modul, yakni kategori π π , telah diperkenalkan oleh Wisbauer (1991). Selain itu, konsep modul koherediter juga dikembangkan di kategori π π . Para peneliti yang melakukan kajian terhadap struktur modul koherediter di π π antara lain: Wisbauer (1998), Tutuncu dkk. (2008), dan Garminia (2009). Lebih jauh, penulis melakukan pendefinisian modul koherediter di dalam ππ
yang pendefinisiannya sejalan dengan pengertian di dalam π π .
Selanjutnya dilakukan kajian terhadap sifat-sifat modul koherediter di dalam π π . Hal ini termotivasi oleh hasil-hasil Wisbauer (1991) yang melakukan kajian awal terhadap modul herediter di dalam π π
yang merupakan keluarga
submodul dari modul yang dibangun oleh π
-modul π.
2
1.2. Rumusan Masalah Dari latar belakang tersebut, penulis menyusun rumusan masalah penelitian sebagai berikut. Pertama, bagaimana membangun konsep keluarga modul bebas linear berdasarkan pengertian himpunan bagian yang bebas linear di dalam modulnya. Selanjutnya dikembangkan keluarga submodul bebas linear dan keluarga modul bebas linear maksimal. Mempelajari sifat-sifat berdasarkan sifatsifat himpunan bagian yang bebas linear dan memberikan contoh-contoh. Kedua, bagaimana membangun kelas modul π π yang merupakan koleksi submodul dari modul faktor π πΏ dengan πΏ submodul dari π yang isomorfis dengan submodul dari koproduk keluarga modul yang bebas linear maksimal terhadap π dan dinotasikan oleh π π = πΎ πΏ β€ π πΏ | πΏ β
π β€ Ξ dengan ππ
Ξ
Ξ ππ
, πβ
adalah keluarga π
-modul yang bebas linear maksimal terhadap
π. Selanjutnya, diselidiki apakah π π memenuhi aksioma-aksioma subkategori dari kategori π
-Mod, melakukan kajian sifat tertutup terhadap submodul, modul faktor, dan jumlah langsung seperti yang dimiliki oleh π π , dan memberikan beberapa contoh. Ketiga, menyelidiki sifat-sifat modul injektif dan modul koherediter di π π .
1.3. Tujuan Penelitian Tujuan dari penelitian ini adalah: 1.
Membangun konsep keluarga submodul bebas linear dan keluarga modul bebas linear sebagai perumuman dari himpunan bagian yang bersifat bebas linear terhadap modulnya.
2.
Membangun kategori π[π] dan mendapatkan sifat tertutup terhadap submodul, modul faktor, dan jumlah langsung seperti pada kategori π[π].
3.
Mendapatkan sifat-sifat dari modul injektif dan modul koherediter pada kategori π[π].
3
1.4. Manfaat Penelitian Manfaat dari penelitian ini adalah: 1.
Dengan terbangunnya konsep keluarga modul bebas linear dan dengan memanfaatkan konsep modul membangun yang dilakukan oleh Wisbauer (1991), diharapkan dapat dilakukan pula kajian tentang βkeluarga modul basisβ.
2.
Dengan terbangunnya kategori π π , diharapkan dapat dilakukan kajian lebih lanjut, dengan memperhatikan hasil kajian pada kategori π π .
3.
Dengan mendapatkan sifat-sifat dari modul injektif dan modul koherediter pada kategori π[π] diharapkan dapat melengkapi hasil-hasil pada Wisbauer (1991, 1998), Tutuncu dkk. (2008), dan Garminia (2009).
1.5. Tinjauan Pustaka Pada π
-modul π, himpunan tak kosong π merupakan basis untuk π jika dan hanya jika π membangun dan bebas linear. Pembahasan suatu himpunan bagian yang bebas linear di dalam modulnya dapat dilihat pada Hungerford (1974), Maclane-Birkhoff (1979), Passman (1991), Anderson-Fuller (1992), Arifin (2001), dan Bland (2011). Dari pengertian π membangun π, Wisbauer (1991) mengembangkan suatu kelas sebagai berikut. Kelas yang merupakan koleksi submodul-submodul dari modul yang dibangun oleh π
-modul π dinotasikan dengan π π . Wisbauer menunjukkan bahwa π π merupakan subkategori dari kategori R-Mod. Dibahas pula bahwa subkategori π π mempunyai sifat tertutup (closed) terhadap submodul, modul faktor dan jumlah langsung luar (external direct sum). Di dalam Shrikhande (1973) dan Wisbauer (1991, 1998) dibahas keterkaitan antara modul proyektif dan modul injektif. Kaitan tersebut antara lain; untuk π
-modul
π dan π¬ ,
jika π¬ adalah π-injektif dan setiap submodul dari π
merupakan π¬ -proyektif, maka setiap modul faktor dari π¬ merupakan π-injektif.
4
Jika π bersifat π¬ -proyektif dan setiap modul faktor dari π¬ merupakan π-injektif, maka setiap submodul dari π bersifat π¬ -proyektif. Wisbauer (1991) juga menunjukkan karakterisasi dari modul-modul yang bersifat proyektif di dalam π π yaitu jika π adalah modul proyektif di dalam π π , maka untuk setiap submodul dari modul π adalah proyektif di dalam π π jika dan hanya jika setiap modul faktor dari modul yang π-injektif di dalam π π adalah π-injektif. Tutuncu dkk. (2008) menunjukkan bahwa jumlah langsung luar suatu modul bersifat koherediter di dalam π π jika dan hanya jika masing-masing modulnya bersifat koherediter di dalam π π . Lebih jauh, jika modul π pembangun di dalam π π , maka π bersifat koherediter di dalam π π jika dan hanya jika π merupakan modul semisederhana. Dari karakterisasi modul proyektif di dalam π π , Garminia (2009) menunjukkan dual dari karakterisasi tersebut tetapi masih mempertahankan sifat proyektifitas modul, yaitu untuk setiap modul faktor dari modul π¬ adalah injektif di dalam π π jika dan hanya jika setiap submodul dari modul yang π¬ -proyektif di dalam π π adalah π¬ -proyektif. Karakterisasi modul herediter di dalam π[π] yang berkaitan dengan modul yang bersifat injektif dikemukakan Wisbauer (1991) antara lain suatu modul bersifat herediter di dalam π[π] jika dan hanya jika setiap modul faktor dari modul yang injektif di dalam π[π] adalah injektif. Dari karakterisasi tersebut, Wisbauer (1998) menunjukkan sifat-sifat dan karakterisasi dari modul koherediter di dalam π[π], antara lain jika masing-masing modul bersifat koherediter di dalam π[π], maka jumlah langsung berhingga modul tersebut bersifat koherediter di dalam π[π]. Jika π bersifat π-injektif Noether lokal, maka π bersifat koherediter di dalam π[π] jika dan hanya jika setiap modul injektif di dalam π[π] bersifat koherediter di dalam π[π]. Modul π bersifat koherediter di dalam π[π] jika dan hanya jika setiap modul injektif di dalam π[π] yang tak terdekomposisi bersifat koherediter di dalam π[π]. Tutuncu dkk. (2008) dan Garminia (2009) juga menunjukkan karakterisasi modul koherediter di dalam π[π], yaitu π¬ modul di dalam π[π], π¬ bersifat koherediter di dalam π[π] jika
5
dan hanya jika setiap submodul dari modul yang π¬ -proyektif di dalam π[π] adalah π¬ -proyektif. Disertasi ini membahas konsep keluarga modul bebas linear dan keluarga modul bebas linear maksimal berdasarkan pengertian himpunan bagian bersifat bebas linear di dalam suatu modul. Selanjutnya akan dibahas juga kelas π π yang merupakan koleksi submodul dari modul faktor π πΏ dengan πΏ submodul dari π yang isomorfis dengan submodul dari koproduk keluarga modul yang bebas linear maksimal terhadap π dan dinotasikan oleh π π = πΎ πΏ β€ π |πΏβ
π β€ Ξ ππ , π β Ξ dengan ππ Ξ adalah keluarga π
-modul yang πΏ bebas linear maksimal terhadap π dan menyelidiki apakah pada π π sifat tertutup terhadap submodul, modul faktor, dan jumlah langsung. Terakhir, melakukan kajian modul injektif dan modul koherediter di dalam π π .
1.6. Metodologi Penelitian Metode dan langkah-langkah penelitian ini adalah sebagai berikut. Pertama, mendefinisikan keluarga modul bebas linear berdasarkan pengertian himpunan bagian yang bebas linear di dalam suatu modul, mempelajari sifat-sifat, dan memberikan beberapa contoh. Berikutnya, mendefinisikan keluarga submodul bebas linear dengan memperumum submodul siklik yang dibangun oleh elemen dari himpunan bagian yang bebas linear di dalam suatu modul, mempelajari sifatsifat berdasarkan sifat-sifat himpunan bagian yang bebas linear, dan memberikan contoh-contoh. Kajian ini dilakukan karena sepengetahuan penulis, tidak ada peneliti sebelumnya yang melakukan perumuman konsep βbebas linearβ. Hal yang telah dilakukan barulah memperumum konsep βmembangunβ yakni oleh Wisbauer (1991). Kedua, membangun kelas modul π π yang merupakan koleksi submodul dari modul faktor
π
πΏ dengan πΏ submodul dari π yang isomorfis dengan
6
submodul dari koproduk keluarga modul yang bebas linear maksimal terhadap π dan dinotasikan oleh π π = πΎ πΏ β€ π πΏ | πΏ β
π β€ ππ
Ξ
Ξ ππ
, πβΞ
dengan
adalah keluarga π
-modul yang bebas linear maksimal terhadap π.
Selanjutnya, diselidiki apakah π π memenuhi aksioma-aksioma subkategori dari kategori π
-Mod, bersifat tertutup terhadap submodul, modul faktor, dan jumlah langsung seperti yang dimiliki oleh π π , dan memberikan beberapa contoh. Kajian ini dilakukan karena sepengetahuan penulis, tidak ada peneliti sebelumnya yang membangun kelas modul yakni π π . Wisbauer (1991) dan Andeson-Fuller (1992) telah membahas kelas modul dengan mengoleksi submodul-submodul dari modul yang dibangun oleh π
-modul π. Ketiga, melakukan kajian terhadap modul yang bersifat injektif dan modul koherediter di dalam π π , mempelajari sifat-sifat, dan memberikan contohcontoh. Kajian ini dilakukan dengan pertimbangan bahwa setelah membangun kelas modul π π , Wisbauer (1991) melanjutkan dengan mengkaji modul herediter di dalam π π . Untuk lebih jelasnya, alur penelitian diberikan pada diagram berikut.
Tahap
Proses Penelitian
Indikator
Tahap 1
Membangun konsep keluarga modul bebas linear dan memberikan beberapa contoh.
Diperoleh konsep keluarga modul bebas linear dan beberapa contoh.
Membangun suatu kategori baru (kandidat kategori π π ) melalui keluarga modul bebas linear dan menemukan sifat-sifatnya.
Diperoleh konsep kategori π π dan memperoleh sifatsifatnya dan beberapa contoh.
Menemukan sifat-sifat modul injektif dan modul faktor yang bersifat injektif (koherediter) pada kategori π π
Diperoleh sifat-sifat dan karakterisasi dari modul injektif dan modul koherediter pada kategori π π
Tahap 2
Tahap 3
7
1.7. Sistematika Penulisan Disertasi ini disajikan dalam 5 (lima) bab. BAB I berisi PENDAHULUAN yang memaparkan: latar belakang, rumusan masalah, tujuan penelitian, manfaat penelitian, metodologi penelitian, dan sistematika penulisan. BAB II berisi MODUL DAN KATEGORI MODUL yang memaparkan tentang: modul dan homomorfisma modul, kategori modul, produk dan koproduk pada kategori π
-modul, modul injektif dan modul proyektif, modul herediter, modul koherediter, dan kebebaslinearan. BAB III berisi MODUL MEMBANGUN DAN KELUARGA MODUL BEBAS LINEAR yang memaparkan tentang: modul membangun, keluarga submodul bebas linear, keluarga modul bebas linear, dan keluarga modul bebas linear maksimal. BAB IV berisi MODUL KOHEREDITER PADA KATEGORI π[π] yang memaparkan tentang: kategori π[π] dan modul π[π]-koherediter. BAB V berisi PENUTUP yang memaparkan tentang: kesimpulan dari penelitian dan masalah terbuka, yakni topik-topik penelitian yang dapat dilakukan lebih lanjut. Secara garis besar, untuk sifat-sifat yang didapat dari kajian pustaka atau dikutip dari literatur yang disebutkan dalam daftar pustaka, penulis menyertakan rujukan literaturnya, sedangkan untuk sifat-sifat yang diperoleh dari hasil penelitian, penulis menyertakan tanda β π² β di depan kata βDefinisiβ, βTeoremaβ atau kata βAkibatβ.
8
