S
(2) x,y
S, maka x y
S
(3) x,y
S, maka xy
S
Bukti:
I. Akan dibuktikan jika suatu himpunan bagian tak kosong S dari suatu ring R adalah
subring dari R, maka memenuhi aksioma:
(1) 0
S
(2) x,y
S, maka x y
S
(3) x,y
S, maka xy
S
S merupakan subring dari R, berarti S memenuhi sifat-sifat ring.
1. Pada sifat identitas berlaku
a a e e a S e S a + + ) )( (
Dari sifat diatas, dipenuhi S e dan karena S e 0 0
2. Pada sifat invers berlaku,
e x x x x S y x S y x + + ) ( ) ( ) , )( , (
dan
e y y y y + + ) ( ) (
Dari sifat diatas, diperoleh
S y x ,
, maka menurut sifat tertutup berlaku
S y x y x + ) (
3. Karena subring biner terhadap perkalian, maka
) ( S xy
berlaku
S yx xy
) ( S xy
maka
S xy
II. Jika S merupakan himpunan bagian tak kosong dari R dan memenuhi ketiga aksioma
diatas, maka S adalah subring dari R.
1. 0
S, karena 0 = e, maka e
S
Sehingga didapat
x x e e x S e S x + + ,
(sifat identitas terpenuhi)
2. S
S, maka a,b,c
S, (-a)(-b)
S.
Dari uraian diatas (a),(-b)
S
(sifat tertutup terpenuhi)
Dari 1,2,3,4, disimpulkan S merupakan subring dari R.
Contoh:
Diketahui bahwa
'
1
]
1
R d c b a
d b
c a
R , , , ;
. Buktikan bahwa
'
1
]
1
R b a
b
a
S , ;
0
0
merupakan subring dari R.
Jawab:
S merupakan himpunan bagian tak kosong dari R dan S memiliki unsur identitas
relatif terhadap operasi penjumlahan, yaitu
1
]
1
0 0
0 0
.
Ambil unsur A
1
=
1
]
1
1
1
0
0
b
a
dan A
2
=
1
]
1
2
2
0
0
b
a
S, maka
A
1
A
2
=
1
]
1
1
1
0
0
b
a
-
1
]
1
2
2
0
0
b
a
=
1
]
1
2 1
2 1
0
0
b b
a a
S
Dan
A
1
. A
2
=
1
]
1
1
1
0
0
b
a
1
]
1
2
2
0
0
b
a
=
1
]
1
2 1
2 1
. 0
0 .
b b
a a
S
Jadi, S adalah subring dari R.
2. IDEAL dari suatu RING
Definisi 13.2.1:
Suatu subring N dari suatu ring R dikatakan ideal kiri dari R jika untuk setiap r
R dan
setiap n
N, berlaku rn
R dan n
N, berlaku nr
N. Selanjutnya subring N
dikatakan ideal dari R bila N adalah ideal kiri dan sekaligus ideal kanan dari R,
artinya untuk setiap r
R dan setiap n
N, diperoleh a b
N
(2) n
N dan r
R, rn dan nr berada di N
Bukti:
Andaikan N adalah himpunan bagian tak kosong dari ring R yang memenuhi aksioma
(1) dan (2), maka akan ditunjukkan N adalah subring dari R.
N merupakan himpunan tak kosong artinya N memiliki minimal 1 anggota, misalkan x.
Maka x
N
(*) x
N, maka x x
N, maka x x = 0
N
2. y
N, karena R N maka y
R
Dari x
N dan y
N dan xy
N, r
'
1
]
1
Z s r q p
s r
q p
R , , , ;
. Buktikan bahwa
'
1
]
1
Z b a
b
a
N , ;
0
0
merupakan ideal dari N.
Jawab:
N merupakan himpunan tak kosong dari R, berarti
1
]
1
0 0
0 0
N
Ambil unsur sebarang A
1
=
1
]
1
1
1
0
0
b
a
dan A
2
=
1
]
1
2
2
0
0
b
a
N, maka
A
1
A
2
=
1
]
1
1
1
0
0
b
a
-
1
]
1
2
2
0
0
b
a
=
1
]
1
2 1
2 1
0
0
b b
a a
N
Selanjutnya, ambil sebarang unsur B =
1
]
1
s r
q p
R dan A =
1
]
1
b
a
0
0
adalah
sebarang unsur di N, maka
B.A =
1
]
1
s r
q p
1
]
1
b
a
0
0
=
1
]
1
sb ra
qb pa
N
Berarti N bukan ideal kiri dari R.
A.B =
1
]
1
b
a
0
0
1
]
1
s r
q p
=
1
]
1
bs br
aq ap
N
Berarti N bukan ideal kanan dari R.
Maka, N bukan ideal dari R.
Teorema 13.2.6:
Andaikan a adalah satu unsur di dalam ring komutatif R. Himpunan N = {ra :r
R}
adalah suatu ideal dari R. Selanjutnya, bila M adalah suatu ideal yang memuat unsur
a, maka N M .
Bukti:
N merupakan himpunan tak kosong. Untuk sebarang r
1
a, r
2
a
N, diperoleh r
1
a - r
2
a =
(r
1
- r
2
)a. Karena r
1
,r
2
R, maka r
1
- r
2
N.
Selanjutnya, N = {ra :r
N dimana r
R. Ambil
sebarang x
R dan r
R, maka xr
N ( ra
N). Maka N
merupakan ideal kiri dari R. Karena R adalah suatu ring komutatif, maka N juga ideal
kanan dari R. Jadi, N adalah suatu ideal dari R.
Andaikan M adalah sebarang ideal dari R dan memuat unsur a, maka a
M. Karena r
R dan a
M sehingga diperoleh ra
M. Karena ra
N dan ra
M, maka disimpulkan
M N .
Definisi 13.2.7:
Ideal N yang disefinisikan pada teorema 13.2.6 disebut sebagai ideal prinsipal yang
dibangun oleh unsur a. Suatu ring demikian sehingga semua idealnya adalah ideal
prinsipal disebut sebagai ring ideal prinsipal.
Contoh:
Ring R adalah Z
6
= {0,1,2,3,4,5}, dengan N = {ra :r
R}.
N
0
= {r.0 :r
R}={0}
N
1
= Z
6
= {r.1 :r
R}={0,1,2,3,4,5}
N
2
= {r.2 :r
R}={0,2,4}
N
3
= {r.3 :r
R}={0,3}
Hal ini berarti, N
0
, Z
6
, N
2
, dan N
3
adalah ideal dari Z
6
. Maka Z
6
adalah ring ideal
prinsipil.
Definisi 13.2.10:
Suatu ideal sejati N dari ring R dikatakan ideal prima jika untuk semua x,y
R dengan
xy
N, maka x
N atau y
1 .
1
.
N 1 dan R r , maka sesuai definisi 13.2.1, diperoleh bahwa r.1 = r
N. Karena r
R dan r