MAKALAH
Untuk memenuhi tugas matakuliah
Struktur Aljabar II
Yang dibina oleh Muhammad Agung, S.Pd., M.Sc.
Oleh
Firman Maula Syafi’i (150311604541)
Nita Cahya Pratiwi (150311603231)
Shima Kunaza Fazira (150311603603)
Jika suatu himpunan bagian 𝐼 ≠ ∅ dari ring 𝑅 merupakan ideal kiri dan ideal
kanan sekaligus, maka disebut ideal dua sisi, atau cukup disebut ideal.
Salah satu contoh ideal dari ring 𝑅 yang paling jelas adalah {0} dan 𝑅 itu
sendiri. Ideal {0} dan 𝑅 disebut ideal trivial. Suatu ideal selain 𝑅 disebut ideal
sejati. Berikut ini merupakan contoh ideal yang lain.
Jadi, terbukti bahwa 𝐿 adalah ideal kiri dari 𝑀2 (ℤ). Akan tetapi, 𝐿 bukan ideal
1 0 2 1
kanan dari 𝑀2 (ℤ) karena ada [ ] ∈ 𝑅 dan [ ] ∈ 𝑀2 (ℤ), sehingga
2 0 3 2
1 0 2 1 2 1
[ ][ ]=[ ] ∉ 𝐿.
2 0 3 2 4 2
Contoh 3. Contoh Ideal Dua Sisi (Ideal Kanan dan Kiri Sekaligus)
Misalkan 𝐸 adalah himpunan semua bilangan genap, maka 𝐸 adalah subset dari ℤ
dan 𝐸 adalah ideal kanan sekaligus kiri dari ℤ. Buktinya adalah sebagai berikut.
• Misalkan 𝑎, 𝑏 ∈ 𝐸, maka 𝑎 = 2𝑚, 𝑏 = 2𝑛 dengan 𝑚, 𝑛 ∈ ℤ, sehingga
𝑎 − 𝑏 = 2𝑚 − 2𝑛 = 2(𝑚 − 𝑛) ∈ 𝐸 karena 𝑚 − 𝑛 ∈ ℤ.
• Untuk 𝑥 ∈ 𝐸, dapat dituliskan 𝑥 = 2𝑘, 𝑘 ∈ ℤ, sehinga jika 𝑟 ∈ ℤ
𝑥𝑟 = (2𝑘 )𝑟 = 2(𝑘𝑟) ∈ 𝐸, karena 𝑘𝑟 ∈ ℤ, serta
• 𝑟𝑥 = 𝑟(2𝑘) = 2(𝑟𝑘) ∈ 𝐸, karena 𝑟𝑘 ∈ ℤ
Jadi, 𝐸 adalah ideal kanan sekaligus kiri dari ℤ. Perhatikan bahwa ℤ merupakan
ring komutatif. Ideal kanan sekaligus kiri dari suatu ring yang tidak komutatif akan
disajikan dalam contoh berikut ini.
Contoh 4. Contoh Ideal Kanan dan Kiri dari Ring yang Tidak Komutatif
𝑎 𝑏 ] |𝑎, 𝑝 𝑞
Misalkan 𝑀2 (ℤ) = {[ 𝑏, 𝑐, 𝑑 ∈ ℤ}, maka 𝑇 = {[ ] |𝑝, 𝑞, 𝑟, 𝑠 ∈ 2ℤ}
𝑐 𝑑 𝑟 𝑠
adalah ideal kanan dan kiri dari ring tidak komutatif 𝑀2 (ℤ).
Bukti:
Akan ditunjukkan bahwa 𝑇 merupakan ideal kanan dan kiri dari 𝑀2 (ℤ). Perhatikan
𝑝 𝑞
bahwa untuk semua 𝑝, 𝑞, 𝑟, 𝑠 ∈ 2ℤ, 𝑝, 𝑞, 𝑟, 𝑠 ∈ ℤ, maka [ ] ∈ 𝑀2 (ℤ), sehingga
𝑟 𝑠
𝑇 ⊆ 𝑀2 (ℤ). Selanjutnya, 𝑇 memenuhi hal-hal berikut.
0 0
• 𝑇 tidak kosong karena untuk 0 ∈ 2ℤ, maka [ ] ∈ 𝑇.
0 0
𝑝 𝑞 𝑡 𝑢
• Misalkan [ ],[ ] ∈ 𝑇 dengan 𝑝, 𝑞, 𝑟, 𝑠, 𝑡, 𝑢, 𝑣, 𝑤 ∈ 2ℤ, maka
𝑟 𝑠 𝑣 𝑤
𝑝 = 2𝑎, 𝑞 = 2𝑏, 𝑟 = 2𝑐, 𝑠 = 2𝑑, 𝑡 = 2𝑒, 𝑢 = 2𝑓, 𝑣 = 2𝑔, dan 𝑤 = 2ℎ,
𝑝 𝑞 𝑡 𝑢
dengan 𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓, 𝑔, ℎ ∈ ℤ. Perhatikan bahwa [ ]−[ ]=
𝑟 𝑠 𝑣 𝑤
2𝑒 2𝑓 2𝑎 − 2𝑒 2𝑏 − 2𝑓
[2𝑎 2𝑏 ] − [ ]=[ ]=
2𝑐 2𝑑 2𝑔 2ℎ 2𝑐 − 2𝑔 2𝑑 − 2ℎ
2(𝑎 − 𝑒 ) 2(𝑏 − 𝑓 )
[ ]∈𝑇
2(𝑐 − 𝑔 ) 2(𝑑 − ℎ )
𝑎 𝑏] 𝑝 𝑞
• Misalkan [ ∈ 𝑇 dan [ ] ∈ 𝑀2 (ℤ), maka 𝑎 = 2𝑘, 𝑏 = 2𝑙, 𝑐 =
𝑐 𝑑 𝑟 𝑠
𝑎 𝑏 ] [𝑝 𝑞 ]
2𝑚, 𝑑 = 2𝑛 dengan 𝑘, 𝑙, 𝑚, 𝑛, 𝑝, 𝑞, 𝑟, 𝑠 ∈ ℤ, sehingga [ =
𝑐 𝑑 𝑟 𝑠
2𝑙 ] [𝑝 𝑞 2𝑘𝑝 + 2𝑙𝑟 2𝑘𝑞 + 2𝑙𝑠
[ 2𝑘 ]=[ ]=
2𝑚 2𝑛 𝑟 𝑠 2𝑚𝑝 + 2𝑛𝑟 2𝑚𝑞 + 2𝑛𝑠
2(𝑘𝑝 + 𝑙𝑟) 2(𝑘𝑞 + 𝑙𝑠)
[ ] ∈ 𝑇, karena 𝑘𝑝 + 𝑙𝑟, 𝑘𝑞 + 𝑙𝑠, 𝑚𝑝 + 𝑛𝑟,
2(𝑚𝑝 + 𝑛𝑟) 2(𝑚𝑞 + 𝑛𝑠)
𝑚𝑞 + 𝑛𝑠 ∈ ℤ. Jadi, 𝑇 merupakan ideal kanan dari 𝑀2 (ℤ).
𝑝 𝑞 𝑎 𝑏 ] [𝑝 𝑞 ] [ 2𝑘 2𝑙 ]
• Perhatikan bahwa [ ][ = =
𝑟 𝑠 𝑐 𝑑 𝑟 𝑠 2𝑚 2𝑛
2𝑝𝑘 + 2𝑞𝑚 2𝑝𝑙 + 2𝑞𝑛 2(𝑝𝑘 + 𝑞𝑚) 2(𝑝𝑙 + 𝑞𝑛)
[ ]=[ ] ∈ 𝑇, karena
2𝑟𝑘 + 2𝑠𝑚 2𝑟𝑙 + 2𝑠𝑛 2(𝑟𝑘 + 𝑠𝑚) 2(𝑟𝑙 + 𝑠𝑛)
𝑝𝑘 + 𝑞𝑚, 𝑝𝑙 + 𝑞𝑛, 𝑟𝑘 + 𝑠𝑚, 𝑟𝑙 + 𝑠𝑛 ∈ ℤ. Jadi, 𝑇 merupakan ideal kiri
dari 𝑀2 (ℤ).
Jadi, terbukti bahwa 𝑇 merupakan ideal kanan dan ideal kiri dari 𝑀2 (ℤ).
Perhatikan bahwa gabungan dari dua ideal, belum tentu merupakan ideal.
Contohnya adalah pada ring ℤ, 7ℤ dan 5ℤ merupakan ideal. Jelas bahwa
7ℤ ∪ 5ℤ = {… , −21, −20, −15, −14, −10, −7, −5, 0, 5, 7, 10, 14, 15, 20, 21, … }
Perhatikan bahwa 5,7 ∈ 7ℤ ∪ 5ℤ, tetapi 7 − 5 = 2 ∉ 7ℤ ∪ 5ℤ. Jadi, 7ℤ ∪ 5ℤ
bukan merupakan ideal.
Teorema 3
Suatu ring komutatif tak nol dengan satuan adalah suatu lapangan jika ring
tersebut tidak memiliki ideal sejati tak nol.
Bukti.
Misalkan 𝑅 adalah ring komutatif dengan satuan sehingga 𝑅 tidak memiliki ideal
sejati. Untuk membuktikan bahwa setiap elemen tak nol pada 𝑅 merupakan unit,
misalkan 𝑥 ≠ 0 ∈ 𝑅 maka himpunan
𝑅𝑥 = {𝑟𝑥|𝑟 ∈ 𝑅}
adalah ideal dari 𝑅.
Karena 𝑅 adalah ring dengan satuan, maka 1 ∈ 𝑅, sehingga
1 ∙ 𝑥 = 𝑥 ∈ 𝑅𝑥
Karena 𝑥 ≠ 0, maka untuk semua 𝑟 ∈ 𝑅, 𝑟𝑥 ≠ 0 sehingga 𝑅𝑥 adalah ideal tak
nol.
Karena 𝑅 tidak memiliki ideal sejati dan 𝑅𝑥 ≠ {0}, maka pasti 𝑅𝑥 = 𝑅. Ingat
bahwa 1 ∈ 𝑅 yang mengakibatkan 1 ∈ 𝑅𝑥, sehingga 1 = 𝑏𝑥 untuk suatu 𝑏 ∈ 𝑅.
Dengan kata lain, untuk setiap 𝑥 ≠ 0 ∈ 𝑅, ada 𝑏 ∈ 𝑅 sehingga 𝑏𝑥 = 1.
Jadi, semua elemen tak nol pada 𝑅 merupakan unit, sehingga ring 𝑅 tersebut
merupakan lapangan.
Dari definisi di atas dapat diperoleh bahwa suatu ideal 𝑀 merupakan ideal
maksimal dari ring 𝑅 jika dan hanya jika 𝑀 ⊂ 𝐼 ⊆ 𝑅, dimana 𝐼 suatu ideal,
mengakibatkan 𝐼 = 𝑅.
Dummit, David S., & Foote, Richard M. 2004. Abstract Algebra Third Edition.
Toronto: John Wiley & Sons, Inc.
Gilbert, L., & Gilbert, J. 2009. Elements of Modern Algebra. Belmont:
Brooks/Coole.
Malik, D. S., Mordeson, J. N., & Sen, M. K. 1997. Fundamentals of Abstract
Algebra. New York: The McGraw-Hill Companies, Inc.
Wahyuni, S., Wijayanti, I. E., & Palupi, D. J. S. 2013. Pengantar Struktur Aljabar
II. Yogyakarta: Universitas Gadjah Mada.