Anda di halaman 1dari 17

HOMOMORFISME RING

AFRIZAL WAHYU PRASTYA 1613021036


RIO KURNIAWAN 1613021017
TEOREMA SIFAT
HOMOMORFISME

Teorema 10.1 TEOREMA 15.1


Misalkan φ sebuah Misalkan φ sebuah ring
homomorpisme dari grup G ke homomorfisma dari ring
grup g dan g anggota G, maka R →S.
akan ada 6 sifat seperti A subring dari R dan B ideal
berikut. dari S. Maka akan memiliki 8
sifat seperti berikut:
Sifat 1 Sifat 1

Φ membawa identitas G ke Untuk semua r anggota R dan


identitas g semua bilbul positif n, φ(nr) =
nφ(r) dan φ(rn) = (φ(r))n
Bukti :
i. φ(nr) = φ ( r + r + r + … + r)
= φ(r) + φ(r) + φ(r)
+ … + φ(r)
= nφ(r)
ii. φ(rn) = φ ( r . r . r . … . r)
= φ(r) . φ(r) . φ(r) . … .
φ(r)
= (φ(r))n
Sifat 2 Sifat 2
untuk semua n φ(A) = { φ(a) I a ϵ A} adalah
di bilangan bulat sub ring dari S.
Bukti :
Syarat Subring yaitu:
a–bϵA
a.bϵA
Kita misalkan φ(a), φ(b) ϵ
φ(A)
[Untuk menunjukan
φ(a) - φ(b) ϵ φ(A) dan
φ(a).φ(b) ϵ φ(A)]
i. φ(a) - φ(b) = φ(a-b) ϵ φ(A)
Sifat 3
 
Jika |g| adalah finit maka |f(g)| ini didapat dari sifat homomorfisma,
membagi |g| yaitu:
φ(a-b) = φ(a + (-b)
= φ(a) + φ(-b)
= φ(a) + (-φ (b))
= φ(a) – φ(b)

Terbukti bahwa a-b ϵ A, seperti


disebutkan bahwa A adalah sub ring.

ii. φ(a) . φ(b) = φ(a.b) ϵ φ(A)


 
Terbukti bahwa a.b ϵ A, seperti
Sifat 4 Sifat 3
Ker ɸ adalah subgrup dari G
Jika A adalah ideal dari R dan
ɸ adalah ada di s, maka ɸ(A)
adalah ideal
Bukti :
Diberikan ɸ(a), ɸ(b) anggota
ɸ(A).
ɸ(a) - ɸ(b) anggota ɸ(A).
Sifat 4

Sifat 5
ɸ(a) = ɸ(b) jika dan hanya jika a
ker (ɸ) = b ker (ɸ)
Sifat 5
Jika R adalah komutatif, maka φ (R)
adalah komutatif
Bukti :

Sifat 6
maka
Sifat 6
Sifat 7
Lanjutan bukti sifat 7
Lanjutan bukti sifat 7
TEOREMA 10.2 TENTANG SUBGRUP
DIBAWAH HOMOMORPISMA GRUP
CONTOH

Tunjukkan apakah f : Z → R dengan f(a) = a adalah suatu homomorfisma ring.


Penyelesaian
Akan dibuktikan ∀ a, b ∈ R berlaku:
f(a + b) = f(a) + f(b)
f(a . b) = f(a) . f(b)
sehingga
f(a + b) = f(a) + f(b), ∀ a, b ∈ R
(a + b) = (a) + (b)
a+b = a+b
f(a . b) = f(a) . f(b), ∀ a, b ∈ R
a . b = (a) . (b)
a.b= a.b
Dikarenakan untuk f(a + b) = f(a) + f(b) dan f(a . b) = f(a) . f(b) maka f : Z → R untuk f (a) = a
merupakan suatu homomorfisma ring.

Anda mungkin juga menyukai