TUGAS INDIVIDU STRUKTUR ALJABAR

TOPIK: HOMOMORFISMA DAN ISOMORFISMA RING

1. Tentukanlah suatu relasi yang merupakan homomorfisma ring (buktikan) kemudian tentukan
kernel dari homomorfisma tersebut.
2. Tentukanlah suatu relasi yang merupakan isomorfisma ring (buktikan).
3. Diberikan : R S suatu epimorfisma dari ring R ke ring S. Buktikan jika N adalah ideal
dari R maka (N) adalah ideal dari S
4.

Selidiki, apakah terdapat suatu homomorfisma ring dari (ring himpunan bilangan kompleks)

ke (himpunan bilangan real).

5. Misalkan : R S merupakan suatu homomorfisma ring dimana R merupakan suatu
lapangan dan S adalah ring. Buktikan bahwa
merupakan homomorfisma nol.

merupakan monomorfisma atau

ALTERNATIF PENYELESAIAN

1. Tentukanlah suatu relasi yang merupakan homomorfisma ring (buktikan) kemudian tentukan
kernel dari homomorfisma tersebut.
Penyelesaian
:C M 2 ( R )

Suatu relasi

a b
( a+bi )=
b a

dengan definisi

merupakan

suatu homomorfisma. Bukti

Adit: suatu pemetaan
Ambil sembarang
b=d

a+bi , c+ di C

a+bi =c+ di

dengan

][

d
= ( c +di ) .
c

Jadi

terbukti

pemetaan.
Adit: memenuhi sifat jumlah dan sifat perkalian
Ambil sembarang

a+bi , c+ di C

maka;

[ ( a+bi ) + ( c +di ) ] = [ ( a+ c ) + ( b +d ) i ]

[
[

a+c
b+d
(
)
b+d a+ c

a b
c
+
b a d

a+c b+ d
bd a+c

][

d
c

( a+bi ) + ( c+ di )
b.

a=c

dan

sedemikian sehingga;

a b
c
( a+bi )=
=
b a
d

a.

maka

[ ( a+bi ) ( c+ di ) ]= ( ac+ bci+ adibd )

[ (acbd)+(ad+ bc)i ]

[
[

ad +bc
acbd
( ad +bc ) acbd
acbd ad +bc
adbc acbd

][

a b c
b a d

d
c

bahwa

suatu

 ( a+bi ) ( c+ di )
Jadi terbukti bahwa
Kernel

2.

merupakan suatu homomorfisma ring.

[ ]}
][ ]

= a+ biC ( a+ bi )= 0 0
0 0

( a+bi )=

Kernel

[ ] [

0 0
a b
0 0

=
a=0,b=0
0 0
b a
0 0

sehigga diperoleh

= { 0+0 i }={ 0 }

Tentukanlah suatu relasi yang merupakan isomorfisma ring (buktikan).

Penyelesaian
Relasi

: Z /2 Z Z 2

dengan definisi ( m+2 Z )=m

Dengan menggunakan diagram venn akan ditunjukkan bahwa

bijektif.
Z /2 Z

merupakan pemetaan

Z2

0+2 Z

1+2 Z

Jadi, terbukti bahwa merupakan pemetaan bijektif.

Akan ditunjukkan bahwa merupakan homomorfisma ring
Ambil sembarang m+ 2 Z ,n+ 2 Z Z /2 Z

[ ( m+ 2 Z )+ ( n+2 Z ) ]= [( m+n )+ 2 Z ] =m+n= ( m+ 2 Z )+ ( n+2 Z )

[ ( m+ 2 Z )( n+ 2 Z ) ]= [ ( mn ) +2 Z ]=mn= ( m+2 Z ) ( n+2 Z )

Dengan demikian terbukti bahwa merupakan isomorfisma ring.

3. Diberikan

: RS

suatu epimorfisma dari ring R ke ring S. Buktikan jika N adalah ideal

dari R maka (N) adalah ideal dari S

Bukti

Karena

pemetaan surjektif maka S dapat dinyatakan sebagai

S= { ( r )r R } . Untuk

menunjukkan ( N) adalah ideal dari S digunakan teorema H-1 (Saragih, 50).

Adit: ( N)
Karena

ideal dari

maka

0R N

sedemikian sehingga

(0R) ( N )

. Jadi

terbukti bahwa ( N)
Adit: ( N) S
Ambil sembarang

( n ) ( N )

nN .

dengan

nN

maka

nR

sedemikian

sehingga ( n ) S . Jadi terbukti ( N) S

Adit: ( m ) , ( n ) ( N ) ( m ) ( n ) ( N )
Ambil sembarang

( m ) , ( n ) ( N )

ideal dari R maka nm N

maka

m ,n N . Karena

m ,n N

dan

sedemikian sehingga ( n ) ( m )= ( nm ) ( N )

Adit: ( n ) ( N ) , s S ( n ) s , s ( n ) (N )
Ambil sembarang

(n ) ( N )

maka

pemetaan surjektif maka ada r R

dari R maka nr , rn N

n N . Ambil sembarang

s S

karena

sedemikian sehingga s= ( r ) . Karena

ideal

sedemikian sehingga

( nr ) = ( n ) ( r )= ( n ) s ( N ) , dan
( rn )= ( r ) ( n )=s ( n ) ( N )
Jadi terbukti bahwa ( N ) merupakan ideal dari S.
4. Selidiki, apakah terdapat suatu homomorfisma ring dari (ring himpunan bilangan kompleks)
ke (himpunan bilangan real).
Penyelesaian
Terdapat homomorfisma ring dari (ring himpunan bilangan kompleks) ke (himpunan
bilangan real).
Relasi :C R dengan ( a+ bi )=0 merupakan suatu homomorfisma ring . Bukti
Adit:

suatu pemetaan

a+bi , c+ di C

Ambil sembarang

dengan

a+bi=c+ di

sedemikian sehingga ( a+ bi )= ( c +d i ) . Jadi terbukti

Adit:

maka

a=c

dan

b=d

suatu pemetaan

suatu homomorfisma ring

Ambil sembarang a+bi , c+ di C

maka

[ ( a+ bi )+ ( c+ di ) ] = [ ( a+ c ) + ( b +d ) i ]=0=0+ 0= ( a+bi ) + ( c+ di )
[ ( a+ bi )( c +di ) ] = [ ( acbd ) + ( ad +bc ) i ] =0=0.0= ( a+bi ) ( c+ di )

Jadi, terbukti bahwa

ke 0 maka
5. Misalkan

merupakan homomorfisma ring. Karena setiap anggota dipetakan

disebut juga sebagai homomorfisma nol.

: RS

merupakan suatu homomorfisma ring dimana R merupakan suatu

lapangan dan S adalah ring. Buktikan bahwa

merupakan homomorfisma nol.
Bukti:
Misalkan K merupakan kernel

merupakan monomorfisma atau

. Maka K merupakan ideal dari R. Karena R merupakan

suatu lapangan maka R tidak memiliki ideal sejati artinya ideal dari R adalah
sedemikian sehingga K
Jika K 0 R

0R

0R

atau R

atau K R.

maka berdasarkan sifat homomorfisma ring (Saragih, 81)

suatu monomorfisma.
Jika K R maka setiap anggota R dipetakan ke
merupakan homomorfisma nol.

0S

merupakan

yang berarti bahwa