Ring Faktor
Pada bab 7, telah kita pelajari mengenai Ideal, yang mirip dengan Subgrup
Normal dalam dalam Grup. Suatu Ring Faktor terdiri dari himpunan dari koset-
koset Ring tersebut yang diantaranya adalah ideal- ideal.
Definisi 8.1 :
Misalkan R adalah suatu Ring dan S adalah suatu Ideal dari R. R/S
={S + a | a R} adalah Ring dengan (S + a) + (S + b) = S + (a +b) dan (S + a) . (S
+ b) = S + (a . b). Ring semacam ini disebut Ring Faktor atau Ring Koisen.
120
1201
5. Komutatif terhadap penjumlahan (+) di R/S
Misalkan a,b R
maka a + b = b + a
Sehingga :
Untuk setiap (S + a), (S + b) R/S
(S + a)+(S + b) = (S + b) + (S + a) S + (a
+ b) = S + (b + a)
S + (b + a) = S + (a + b)
(S + b) + (S + a) = (S + a)+(S + b)
6. Tertutup terhadap perkalian (.) di R/S
Misalkan a, b R dan a . b R
Maka :
Untuk setiap (S + a), (S + b) R/S
berlaku (S + a) . (S + b) = S + (a . b) yang
berarti S + (a . b) R/S
Sehingga S + (a . b) R/S, tertutup terhadap perkalian di R/S
7. Assosiatif terhadap perkalian (.) di R/S
Misalkan a, b, c R
maka (a . b) . c = a . (b . c)
Sehingga :
Untuk setiap (S + a), (S + b), (S + c) R/S
[(S + a) . (S + b)] . (S + c) = (S + a) . [(S + b) . (S + c)] [S + (a .
b)] . (S + c) = (S + a) . [S + (b . c)]
S + [(a . b) . c] = S + [a . (b . c)] S + [a .
(b . c)] = S + [(a . b) . c]
(S + a) . [S + (b . c)] = [S + (a . b)] . (S + c)
(S + a) . [(S + b) . (S + c)] = [(S + a) . (S + b)] . (S + c)
8. Adanya unsur satuan atau identitas terhadap perkalian (.) di R/S
Misalkan a R
maka a . e = e . a = a
Sehingga :
Untuk setiap (S + a) R/S
(S + 1) . (S + a) = S + (1 . a) = S + a
(S + a) . (S + 1) = S + (a . 1) = S + a
⇒ (S + 1) . (S + a) = (S + a) . (S + 1) = S + a
9. Distributif perkalian (.) terhadap penjumlahan (+) di R/S
Misalkan a, b, c R
maka a . (b + c) = (a . b) + (a . c) dan (a + b) . c = (a . c) + (b . c) Sehingga :
Untuk setiap (S + a), (S + b), (S + c) R/S
(S + a) . [(S + b) + (S + c)] = [(S+a).(S+b)] + [(S+a).(S+c)] (S + a) .
[S + (b + c)] = [S + (a . b)] + [S + (a . c)]
S + [a . (b + c)] = S + [(a . b) + (a . c)] S + [(a .
b) + (a . c)] = S + [a . (b + c)]
[S + (a . b)] + [S + (a . c)] = S + a) . [S + (b + c)] [(S+a).(S+b)] +
[(S+a).(S+c)] = (S + a) . [(S + b) + (S + c)] dan
[(S + a) + (S + b)] . (S + c) = [(S+a).(S+c)] + [(S+b).(S+c)]
[S + (a + b)] . (S + c) = [S + (a . c)] + [S + (b . c)] S + [(a +b)
. c] = S + [(a . c) + (b . c)]
S + [(a . c) + (b . c)] = S + [(a +b) . c]
[S + (a . c)] + [S + (b . c)] = [S + (a + b)] . (S + c) [(S+a).(S+c)] +
[(S+b).(S+c)] = [(S + a) + (S + b)] . (S + c)
Dengan kata lain, misalkan R adalah suatu Ring dan S adalah suatu
Ideal dari R, maka R/S disebut Ring Faktor jika :
1. (R/S,+) merupakan suatu Grup Komutatif
2. (R/S,.) merupakan suatu Semigrup/Monoid
3. (R/S,+,.) merupakan distributif perkalian terhadap penjumlahan
Contoh 8.1 :
Bila K = {0, 2, 4} adalah suatu Ideal yang dibangun oleh 2 dalam Z6.
Tunjukan Z6/K adalah merupakan Ring Faktor.
Penyelesaian :
Ada dua koset / Ideal dari Ring Z6, yaitu : K
= {0, 2, 4}
K + 1 = {1, 3, 5}
Sehingga Z6/K = {K, K + 1}
Tabel 8.1.
Daftar Cayley (Z6/K = Z6/{0, 2, 4}, +) dan (Z6/K = Z6/{0, 2, 4}, .)
+ K K+1 . K K+
Tabel 8.1. menunjukan 1
penjumlah dan
K K K +1 perkalian unsur-unsur
K dari
K Z6/K. Selanjutnya
K
dari tabel, kita akan membuktikan bahw
K+1 K+1 K Z6/K dengan
K + syarat- Ksyarat suatu
K + Ring
merupakan1Ring Faktor dari Z6/K.
1 Adapun
Ring Faktor
Ring factor mempunyai kemiripan dengan grup faktor.
Jika I ideal dari ring R maka I subring dari R, berarti I juga merupakan ring, sehingga (I,+)
merupakan subgrup normal dari (R,+).
b. Assosiatif
Ambil sebarang a + I, b + I, c + I R/I
maka a, b, c R, dan (a + b) + c = a + (b + c) (kenapa???)
diperoleh
[ (a+I)+(b+I) ] + (c+I)
= [(a+b)+I] + (c+I)
= [ (a+b)+c ] + I
= [ a+(b+c) ] + I
= (a+I) + [ (b+I) + (c+I) ]
e. Kommutatif
(a + I), (b + I) R/I maka a, b R dan a + b = b + a R sehingga
(b + a) + I R/I dan berlaku :
(a + I) + (b + I) = (a + b) + I = (b + a) + I = (b + I) + (a + I)
b. assosiatif
Ambil sebarang a + I, b + I, c + I R/I maka a, b, c R,
(a.b).c = a.(b.c) (kenapa???)
2. (R/I, + , . ) distributif
Ambil sebarang a + I, b + I, c + I R/I maka a, b, c R, dengan (a + b). c = a.c + b.c dan
a.(b + c) = a.b + a.c
Dari 1, 2, dan 3 terbukti bahwa R/I adalah ring , dan selanjutnya disebut ring faktor (qoutient
rings).
R/I terdiri dari koset-koset kiri (kanan) dari ideal I dalam R.
Dari pembuktian di atas, tampak bahwa setiap ideal dari suatu ring R pastilah membentuk ring
faktor R/I.
Definisi :
Misalkan I ideal dari suatu ring R, maka R/I = { r + I | r R } merupakan suatu ring yang
disebut ring faktor (qoutient rings) terhadap opersi penjumlahan dan pergandaan yang
didefinisikan sebagai berikut:
a + I, b + I R/I,
(a + I) + (b + I) = (a + b) + I
(a + I)(b + I) = ab + I
Contoh :
Z12 = {0, 1, 2, 3, …, 11} adalah ring dari bilangan-bilangan bulat modulo 12.