STRUKTUR ALJABAR

II

1.
2.
3.
4.
5.
6.
7.
8.

Abdurrois
Faranika Latip
I Ketut Sadha G.
Y.
Jelli Kiki O.
Putri Maulidina
Fadhilah
Ramadhani
Saputra
Septi Novitasari
Susana Septia
Ulfa

Kelompok 3
Teorema 3.2.2

Diketahui
I dan J masing-masing ideal di
R

Ditanya
1.

Buktikan
jika I dan J masing-masing
ideal dari R.

Akan ditunjukkan
Dibentuk
1.
F : I I + (J/J)

i I+J
=
yang memenuhi : a. F pemetaan
b. F homomorfisma ring
c. ker (F) = I J
d. Im (F) = I + (J/j)

Bukti : Dibentuk F : I (I + J)/J

iI+J
=

a. F

pemetaan
Diberikan sebarang a,b I ; dengan a=b
F (a) = a + j
=b+j
= F (b)
Jadi, F(a) = F(b) terbukti f pemetaan.


b. F merupakan homomorfisma ring
F merupakan homomorfisma ring jika memenuhi :
f(a + b) = f(a) + f(b) ; a,b I
f(ab)
= f(a) . f(b)
; a,b I

Diambil
sebarang a,b

F (a) = a + J
F (b) = b + J

F (a+b) = (a+b) + J
= (a+J) + (b+J)
= F(a) + F(b)

F(a.b) = (a.b) + J
= (a+J) . (b+J)
= F(a) . F(b)
Jadi, F homomorfisma ring.

c. Ker(f) = I n J
Bukti : Ker(f) = { i I I f(i) = J}
= { i I I i + J = J}
= { i I I i J}
=InJ

d. Im(f) = (I + J)/J
Bukti : Im(f) = { i + J | i < I u J > }
= { i + J |i <I + J> }
= (I + J)/J

Berdasarkan teorema utama

Isomomorfisma Ring 1, jika f adalah
homomorfisma ring 1, maka
I/Ker(f)
Im(f)
I/(I nJ)
(I + J)/J