Ring Faktor

Mahasiswa memiliki ketrampilan belajar dalam memahami konsep subring, ideal dan ring faktor
Indikator :
1. Membentuk ring baru dari koset suatu ideal, yang disebut ring faktor
2. Membuktikan pembentukan ring faktor

Dalam Teori Grup, jika suatu grup memuat subgrup normal, maka himpunan semua koset
kanan/kiri dari subgrup normal tersebut membentuk suatu grup yang disebut grup faktor. Serupa
dengan definisi pada grup faktor dengan ideal dalam suatu ring, maka himpunan semua koset dari
ideal dalam ring tersebut akan membentuk suatu ring yang disebut ring faktor. Eksistensi ring faktor,
juga merupakan dasar yang melatarbelakangi munculnya definisi ideal. Konsep Ideal diperlukan agar
suatu ring faktor dapat terdefinisi dengan baik.
Jika I merupakan ideal maka dapat disimpulkan bahwa operasi ∙ pada 𝑅⁄𝐼 merupakan operasi
well-defined. Dengan menggunakan aksioma-aksioma ring, dapat ditunjukkan bahwa 𝑅⁄𝐼
merupakan ring terhadap operasi penjumlahan dan perkalian koset-koset sebagaimana dinyatakan
dalam sifat sebagai berikut.

Teorema 1. Jika I merupakan ideal dalam ring R maka 𝑅⁄𝐼 merupakan ring terhadap operasi:
i. Penjumlahan +, dengan definisi
𝑟̅1 + 𝑟̅2 = 𝑟̅̅̅̅̅̅̅̅̅
1 + 𝑟2
untuk setiap 𝑟̅1 , 𝑟̅1 ∈ 𝑅⁄𝐼; dan
ii. Perkalian ∙ , dengan definisi
𝑟̅1 ∙ 𝑟̅2 = ̅̅̅̅̅̅̅
𝑟1 ∙ 𝑟2
untuk setiap 𝑟̅1 , 𝑟̅1 ∈ 𝑅⁄𝐼.
Bukti. Dari teori grup, jelas bahwa (𝑅⁄𝐼 , +) merupakan grup komutatif. Dengan demikian, tinggal
ditunjukkan bahwa operasi perkalian ∙ bersifat asosiatif, distributif kiri, dan distributif kanan.
Diambil sebarang 𝑟̅1 , 𝑟̅1 ∈ 𝑅⁄𝐼. Hal tersebut mempunyai arti bahwa 𝑟1 , 𝑟2 , 𝑟3 ∈ 𝑅. Oleh karena itu,
diperoleh:
a. Sifat asosiatif
𝑟̅1 ∙ (𝑟̅2 ∙ 𝑟̅3 ) = 𝑟̅1 ∙ ̅̅̅̅̅
𝑟2 𝑟3
= 𝑟1 (𝑟2 𝑟3 ) = ̅̅̅̅̅̅̅̅̅̅
̅̅̅̅̅̅̅̅̅̅ (𝑟1 𝑟2 )𝑟3
= ̅̅̅̅̅̅̅̅
(𝑟1 𝑟2 ) ∙ 𝑟̅3 = (𝑟̅1 ∙ 𝑟̅2 ) ∙ 𝑟̅3
Jadi, terbukti ∙ bersifat asosiatif.
b. Sifat distributif kiri dan kanan
𝑟̅1 ∙ (𝑟̅2 + 𝑟̅3 ) = 𝑟̅1 ∙ ̅̅̅̅̅̅̅̅̅
𝑟2 + 𝑟3
̅̅̅̅̅̅̅̅̅̅̅̅̅̅
= 𝑟1 2 + 𝑟3 ) = 𝑟̅̅̅̅̅̅̅̅̅̅̅̅̅̅
(𝑟 1 𝑟2 + 𝑟1 𝑟3
= 𝑟̅1 ∙ 𝑟̅2 + 𝑟̅1 ∙ 𝑟̅3
Jadi, terbukti bahwa bersifat distributif kiri terhadap +. Secara analog dapat dibuktikan bahwa
∙ bersifat distributif kanan terhadap +.
Ring (𝑅⁄𝐼 , +,∙) selanjutnya disebut ring faktor yang dibentuk dari ideal I dalam ring R. Dengan
mudah akan dapat ditunjukkan bahwa jika R merupakan ring komutatif maka ring faktor (𝑅/𝐼, +,∙)
juga bersifat komutatif dan jika R merupakan ring dengan elemen satuan 1𝑅 maka ring faktor
(𝑅/𝐼, +,∙) juga mempunyai elemen satuan ̅̅̅ 1𝑅 .

Contoh
1. Misal diambil ring bilangan bulat ℤ dan ideal 2ℤ di ring ℤ. Mudah dipahami bahwa hanya ada
dua koset dari ideal 2ℤ, yaitu koset 0 + 2ℤ dan 1 + 2ℤ. Dengan demikian, diperoleh ring faktor
 ℤ/2ℤ = {0 + 2ℤ, 1 + 2ℤ} = {0̅, 1̅}
Dengan
(0 + 2ℤ) + (0 + 2ℤ) = (0 + 0) + 2ℤ = 0 + 2ℤ
(1 + 2ℤ) + (1 + 2ℤ) = (1 + 1) + 2ℤ = 0 + 2ℤ
(0 + 2ℤ) + (1 + 2ℤ) = (0 + 1) + 2ℤ = 1 + 2ℤ

(0 + 2ℤ) ∙ (0 + 2ℤ) = (0 ∙ 0) + 2ℤ = 0 + 2ℤ
(1 + 2ℤ) ∙ (1 + 2ℤ) = (1 ∙ 1) + 2ℤ = 1 + 2ℤ
(0 + 2ℤ) ∙ (1 + 2ℤ) = (0 ∙ 1) + 2ℤ = 0 + 2ℤ
𝑎 𝑏
2. Misalnya 𝑀 = {[ ]| 𝑎, 𝑏 ∈ ℝ} dengan penjumlahan dan perkalian matriks adalah ring dan
0 𝑎
0 𝑏
𝑀 = {[ ]| 𝑏 ∈ ℝ} adalah ideal dari 𝑀. Tentukan 𝑀/𝐼
0 0
𝑎 𝑏 𝑎 𝑏 𝑎 𝑏 0 𝑏
Perhatikan[ ] ∈ 𝑀, maka[ ]=[ ]+[ ], sehingga
0 𝑎 0 𝑎 0 𝑎 0 0
𝑎 𝑏 𝑎 0 0 𝑏 𝑎 𝑏 𝑎 0 0 𝑏
[ ] + 𝐼 = ([ ]+[ ]) + 𝐼 = [ ]=[ ] + 𝐼 sebab [ ]∈𝐼
0 𝑎 0 𝑎 0 0 0 𝑎 0 𝑎 0 0
𝑎 0
Jadi koset-koset dari 𝐼 dalam 𝑀 atau elemen-elemen dari 𝑀/𝐼 berbentuk [ ] + 𝐼 atau 𝑀/𝐼 =
0 𝑎
𝑎 0
[ ]| 𝑎 ∈ ℝ}.
0 𝑎
3. Diberikan ring komutatif (ℤ4 = {0̅, 1̅, 2̅, 3̅}; +,∙). Jelas bahwa 𝐼 = {0̅, 2̅} merupakan ideal. Koset-
koset di ℤ4 /𝐼 adalah
0̅ + 𝐼 = {0̅ + 0̅ = 0̅, 0̅ + 2̅ = 2̅} = {0̅, 2̅} = 𝐼
1̅ + 𝐼 = {1̅ + 0̅ = 1̅, 1̅ + 2̅ = 3̅} = {1̅, 3̅} = 𝐼 𝑐
2̅ + 𝐼 = {2̅ + 0̅ = 2̅, 2̅ + 2̅ = 0̅} = {0̅, 2̅} = 𝐼
3̅ + 𝐼 = {3̅ + 0̅ = 3̅, 3̅ + 2̅ = 1̅} = {1̅, 3̅} = 𝐼 𝑐
Jadi, 0̅ + 𝐼 = 2̅ + 𝐼 dan 1̅ + 𝐼 = 3̅ + 𝐼, sehingga
ℤ4 /𝐼 = {0̅ + 𝐼 = 2̅ + 𝐼, 1̅ + 𝐼 = 3̅ + 𝐼} = {𝐼, 𝐼 𝑐 }
4. 𝑍12 merupakan Ring terhadap operasi-operasi penjumlahan dan perkalian bilangan bulat
modulo 12. Temukan 𝑍12 /𝐼.
Ideal dari 𝑍12 adalah ideal utama, yang dapat dibangun dari elemen 𝑍12
𝑍12 = {0,1,2,3,4,5,6,7,8,9,10,11,12}
𝐼1 = 〈0〉 = {0}
𝐼2 = 〈1〉 = 〈5〉 = 〈7〉 = 〈11〉 = 𝑍12
𝐼3 = 〈2〉 = 〈10〉 = {2,4,6,8,10,0} = {0,2,4,6,8,10}
𝐼4 = 〈3〉 = 〈9〉 = {3,6,9,0} = {0,3,6,9}
𝐼5 = 〈4〉 = 〈8〉 = {4,8,0} = {0,4,8}
𝐼6 = 〈6〉 = {0,6}
Terdapat 6 ideal dari 𝑍12 .
Selanjutnya, ideal maksimal dari 𝑍12 adalah 𝐼3 .
Jadi, ring faktornya adalah 𝑍12 /𝐼3 = {𝐼3 , 𝐼3 + 1} . Buktikan sebagai latihan.

Latihan
1. Misal diambil ring bilangan bulat ℤ dan ideal 4ℤ di ring ℤ. Tentukan ring faktornya.
2. 𝑍6 merupakan Ring terhadap operasi-operasi penjumlahan dan perkalian bilangan bulat
modulo 6. Temukan 𝑍6 /𝐼.
3. Jika 𝐼 = {0, 8, 16 }. Tentukan ring faktor ℤ24 /𝐼