TEOREMA UTAMA HOMOMORFISMA GRUP

(G,) dan (G’ , ’) masing masing adalah grup

Pemetaan f : G  G’ homomorfisma grup
Ker(f)=K adalah subgrup normal G sehingga
terbentuk grup faktor G/K dengan definisi operasi
di G/K adalah : operasi di G/K
( 𝑎 , b G/K) 𝑎 ⍟ b = a  b
operasi di G
Teorema Utama Homomorfisma Grup :G/K  f(G)

( dibaca : G/K isomorfik dengan f(G)=Im(f) )

Artinya : ada isomorfisma dari G/K ke f(G).
Ilustrasi :
G f G’
f(G)
g h
f= h•g
G/K ( f merupakan komposisi g dan h)
Akan dibuktikan G/K  f(G). Dengan kata lain adb h
adalah isomorfisma (homomorfisma bijektif) dari
G/K ke f(G).
Langkah pembuktian :
1. Pemetaan g merupakan homomorfisma
2. Pemetaan h well-defined (terdefinisi dengan
baik)
3. Pemetaan h merupakan homomorfisma
4. Pemetaan h bijektif (injektif sekaligus surjektif)
1. Akan dibuktikan g homomorfisma
(G,) grup, Kernel(f)=K subgrup Normal di G, maka dapat
dibentuk grup faktor (G/K,⍟) dengan definisi operasi ∶
𝑎, 𝑏  G/K,

𝑎 ⍟ 𝑏= 𝑎𝑏
g : G  G/K
aG g g(a)= 𝑎 G/K
( a, b G) g(a b)= 𝑎𝑏 =𝑎 ⍟ 𝑏 = g(a) ⍟ g(b),
Jadi g adalah homomorfisma grup dari G ke G/K
g tidak injektif sebab terdapat a, b G dengan

g(a)=g(b) yaitu a = b tetapi a  b

𝑎 G/K, maka terdapat aG sedemikian sehingga

𝑎 =g(a), jadi g homomorfisma surjektif.

Jadi g adalah epimorfisma grup dari G ke G/K

Adb: G/K  f(G), yaitu ada isomorfisma h,

h: G/K f(G) dengan definisi h(𝒂)= f(a),  𝑎 G/K

2. Akan dibuktikan dahulu pemetaan h well-defined

(terdefinisi dengan baik)

Bukti:

𝑎1 , 𝑎2 , 𝑏1 , 𝑏2 G/K dengan 𝑎1 = 𝑎2 dan 𝑏1 = 𝑏2

Maka h(𝑎1 ⍟ 𝑏1 )= h(𝑎2 ⍟ 𝑏2 )

h(𝑎1 ⍟ 𝑏1 ) = 𝑎1 𝑏1 (dari definisi operasi ⍟)

= f(𝑎1 𝑏1 ) ( dari definisi h(𝑎)= f(a) )

h(𝑎1 ⍟ 𝑏1 ) = f(𝑎1 𝑏1 ) = f(𝑎1 )f(𝑏1 ) ( f homo)

= h(𝑎1 ) h(𝑏1 ) ( dari definisi h(𝑎)= f(a) )

= h(𝑎2 )  h(𝑏2 ) (karena 𝑎1 = 𝑎2 dan 𝑏1 = 𝑏2 )

= f(𝑎2 )f(𝑏2 ) ( dari definisi h(𝑎)= f(a) )

= f(𝑎2 𝑏2 ) (karena f homomorfisma grup )

= h( 𝑎2 𝑏2 )= h(𝑎2 ⍟ 𝑏2 )

Terbukti h(𝑎1 ⍟ 𝑏1 ) = h(𝑎2 ⍟ 𝑏2 ) ( h well defined)

3. Adb pemetaan h merupakan homomorfisma

dari G/K ke f(G)

Diambil sembarang 𝑎, 𝑏  G/K maka:

h(a⍟𝑏) = 𝑎𝑏 = 𝑓 𝑎𝑏 = 𝑓(𝑎)f(b)= h(a) ℎ(𝑏)

h(a⍟𝑏) = h(a) ℎ(𝑏)

Hal ini menunjukkan h adalah homomorfisma dari

grup G/K ke f(G)
4. Adb pemetaan h bijektif (injektif sekaligus surjektif)
Adb h injektif
Diambil sembarang 𝑎, 𝑏G/K dengan h(𝑎) = h(𝑏 ).
h(𝑎) = h(𝑏 )  f(a) = f(b)

f(a),f(b)G’  f(a) f(b)−1 = f(b)  f(b)−1 = e’

Sehingga diperoleh f(a)’ f(b)−1 = e’

Karena f homo maka f(a)’ f(b)−1 = f(ab−1 ) = e′

Dengan demikian ab−1 =e , padahal kernel(f) adalah subgrup
normal di G maka ab −1 = 𝑒.
dari definisi g(a)= 𝑎 G/K maka g(a b)= 𝑎𝑏 =𝑎 ⍟ 𝑏 =

ab −1 = 𝑒 maka 𝑎 ⍟ 𝑏 −1 = 𝑒

 𝑎 ⍟ 𝑏 −1 ⍟ b = 𝑒 ⍟ b

 𝑎⍟ e=𝑒⍟ b
 𝑎= b
Dari h(𝑎) = h(𝑏 ) diperoleh 𝑎 = b , dengan
demikian terbukti h injektif.
Adb h surjektif

Diketahui f surjektif dari G ke f(G), karena a’ G’

selalu terdapat a G sedemikian sehingga a’=f(a).

( f belum tentu surjektif dari G ke G’ )

Padahal dari definisi, h(𝒂)= f(a),  𝑎 G/K maka

h surjektif dari G/K ke f(G)

Jadi terbukti h bijektif (injektif sekaligus surjektif),

maka h adalah isomorfisma dari G/K ke f(G)
Dengan kata lain, ada isomorfisma dari G/K ke f(G)

Jadi terbukti G/K isomorfik dengan f(G)=Im(f) ,

dengan notasi G/K  f(G)

Catatan :

Jika f surjektif dari G ke G’ maka h juga surjektif

dari G/K ke G‘ sehingga G/K  G’
Contoh:
Diketahui (Z,+) adalah grup dengan elemen identitas 0 dan
( 𝑍4 , 4 ) adalah grup dengan elemen identitas 0
F : Z  𝑍4 adalah homomorfisma grup dengan f(a)= 𝑎 , aZ.
Kernel(f)= K ={aZ/ f(a) =0 }= 4Z ={…,-8, -4, 0, 4, 8,…}
Kernel(f)=4Z adalah subgrup normal di Z sehingga diperoleh
grup faktor Z/4Z dengan definisi operasinya a
adalah: 𝑎 ⍟ b = 𝑎 + 𝑏
⍟operasi di Z/4Z dan + operasi di Z
Tunjukkan Z/4Z  𝑍4 (ada isomorfisma dari Z/K ke 𝑍4 )
Z f 𝑍4

h f =h•g
g

Untuk membuktikan Z/4Z  𝑍4

Z/4Z maka yang harus dibuktikan adalah:
1) h terdefinisi dengan baik
2) h homomorfisma dari Z/4Z ke 𝑍4
3) h injektif
4) h surjektif
Bukti:
1) H terdefinisi dengan baik

Diambil sembarang 𝑎1 , 𝑎2 , 𝑏1 , 𝑏2  Z/K

dengan 𝑎1 = 𝑎2 dan 𝑏1 = 𝑏2 , akan ditunjukkan

h(𝑎1 ⍟ 𝑏1 )= h(𝑎2 ⍟ 𝑏2 )

h(𝑎1 ⍟ 𝑏1 ) = 𝑎1+ 𝑏1 (dari definisi operasi ⍟)

= f(𝑎1+ 𝑏1 ) ( dari definisi h(𝑎)= f(a) )

h(𝑎1 ⍟ 𝑏1 ) = f(𝑎1 +𝑏1 ) = f(𝑎1 )4 f(𝑏1 ) ( f homo)

= h(𝑎1 ) 4 h(𝑏1 ) ( dari definisi h(𝑎)= f(a) )

= h(𝑎2 ) 4 h(𝑏2 ) (karena 𝑎1 = 𝑎2 dan 𝑏1 = 𝑏2 )

= f(𝑎2 ) 4 f(𝑏2 ) ( dari definisi h(𝑎)= f(a) )

= f(𝑎2 +𝑏2 ) (karena f homomorfisma grup )

= h( 𝑎2 +𝑏2 )= h(𝑎2 ⍟ 𝑏2 )

Terbukti h(𝑎1 ⍟ 𝑏1 ) = h(𝑎2 ⍟ 𝑏2 ) ( h well defined)

2) Akan dibuktikan h homomorfisma dari Z/K ke 𝑍4

Dari diagram, f = h • g , yaitu f merupakan

komposisi dari pemetaan g dan h. Karena diketahui
f adalah homomorfisma dari Z ke 𝑍4 maka untuk
membuktikan bahwa h suatu homomorfisma,
terlebih dahulu ditunjukkan bahwa g suatu
homomorfisma.
g : Z  Z/K

aZ g(a)= 𝑎 Z/K

( a, b Z) g(a+b)= 𝑎+𝑏 =𝑎 ⍟ 𝑏 = g(a) ⍟ g(b),

Jadi g adalah homomorfisma grup dari G ke G/K

g tidak injektif sebab terdapat 0, 4 Z dengan

g(0)=g(4) yaitu 0 = 4 tetapi 0 4
g surjektif, sebab 𝑎 Z/K, terdapat aZ

sedemikian sehingga 𝑎 =g(a), Jadi g adalah

epimorfisma grup dari Z ke Z/K

Selanjutnya akan dibuktikan bahwa h

homomorfisma dari Z/K ke 𝑍4 dengan definisi :

h(𝒂)= f(a),  𝑎 Z/K

Diambil sembarang 𝑎, 𝑏  Z/K maka:

h(a⍟𝑏) = 𝑎 + 𝑏 = 𝑓 𝑎 + 𝑏 = 𝑓(𝑎)4 f(b)

= h(a)4 ℎ(𝑏)

Sehingga diperoleh:

h(a⍟𝑏) = h(a)4 ℎ(𝑏)

Hal ini menunjukkan h adalah homomorfisma

dari grup Z/K ke 𝑍4
3)Adb h injektif
Diambil sembarang 𝑎, 𝑏Z/K dengan h(𝑎) = h(𝑏 ).
Akan ditunjukkan 𝑎 = 𝑏
h(𝑎) = h(𝑏 )  f(a) = f(b)

f(a),f(b) 𝑍4  f(a) 4 f(b)−1 = f(b) 4 f(b)−1 = 0

Sehingga diperoleh f(a) 4 f(b)−1 = 0

Karena f homo maka f(a) 4 f(b)−1 = f(a+b−1 ) = 0

Dengan demikian a+b−1 = 0 , padahal kernel(f) adalah
subgrup normal di Z maka a + b −1 = 0
dari definisi g(a)= 𝑎 Z/K maka g(a +b)= 𝑎+𝑏
=𝑎 ⍟ 𝑏 = a+b −1 = 0 maka 𝑎 ⍟ 𝑏 −1 = 0
 𝑎 ⍟ 𝑏 −1 ⍟ b = 0 ⍟ b

 𝑎⍟0=0⍟ b
 𝑎= b
Dari h(𝑎) = h(𝑏 ) diperoleh 𝑎 = b , dengan
demikian terbukti h injektif.
Adb h surjektif

f surjektif dari Z ke 𝑍4 , karena  x 𝑍4 selalu

terdapat xZ sedemikian sehingga x =f(x).

Padahal dari definisi, h(𝒂)= f(a),  𝑎 Z/K maka

h surjektif dari Z/K ke 𝑍4

Jadi terbukti h bijektif (injektif sekaligus surjektif),

maka h adalah isomorfisma dari Z/K ke 𝑍4

dengan notasi Z/K  𝑍4 , K = 4Z