Definisi 6.6 jika H subgroup normal dari Grup G, himpunan koset dari H dalam G adalah Grup
Faktor dari G dan Dinotasikan dengan G/ H .
Order dari gruo faktor G/ H adalah banyaknya koset – koset dari H dalam G, yang dituliskan
sebagai berikut :
Contoh 6.18
Z6 ={ 0,1,2,3,4,5 } , Z 6 terhadap operasi penjumlahan module 6 adalah Grup abelian dan
H={0,2,4 } adalah subgroup. Tentukan grup faktor dari Z6 oleh H, yaitu Z6 / H .
Penyelesaian :
Langkah pertama adalah kita akan memastikan terlebih dahulu apakah H subgrup normal dari
Z6 .
Contoh 6.19
Contoh 6.20
Z adalah grup abelian, dan 3Z adalah subgroup normal dari Z. Dapat ditunjukkan dengan mudah
bahwa Z /3 Z adalah grup faktor dengan Z /3 Z = {0+3 Z ,1+3 Z , 2+3 Z }
Contoh 6.21
Nz adalah subgroup normal dari Z untuk ∀ n ∈ Z+¿ ¿. Dapat ditunjukkan bahwa Z/nZ =
{ 0+ nZ , 1+nZ ,2+ nZ , … , ( n−1 )+ nZ }
Contoh 6.22
Tentukan grup faktor Z 4 × Z 6 / ⟨( 0,1) ⟩ , dengan ⟨ (0,1) ⟩ adalah grup siklik dari ( Z ¿ ¿ 4 × Z 6) ¿ yang
dibangun oleh (0,1).
Misalkan
H= ⟨ ( 0,1 ) ⟩= { ( 0,0 ) , ( 0,1 ) , ( 0,2 ) , ( 0,3 ) , ( 0,4 ) , ( 0,5 ) }
Sehingga di sini Z 4 × Z 6 memiliki 24 elemen, jadi semua koset dari H dalam Z 4 × Z 6 harus
memiliki 6 elemen dan Z 4 × Z 6 / H harus berorder 4. Diperoleh Z 4 × Z 6 / H =
{( 0,0 )+ H , ( 1,0 ) + H , ( 2,0 ) + H , ( 3,0 )+ H }
Contoh 6.23
Dalam G6 yang dibangun oleh a , yaitu G6= { e , a , a2 , a3 , a4 , a 5 } adalah suau grup terhadap operasi
perkalian. Diketahui subgroup dari G6 yaitu H= { e , a 2 , a 4 }. Apakah H subgroup normal dari G6 ?
e × H=e × { e , a , a }={ e , a , a }
2 4 2 4
a × H =e × { e , a , a } ={ a , a , a }
2 4 3 5
a 2 × H =a2 × { e , a2 , a4 }={ a 2 , a 4 , e }
a × H =a × { e , a , a }= { a , a , a }
3 3 2 4 3 5 1
a × H=a × { e , a , a }={a , e ,a }
4 4 2 4 4 2
a 5 × H =a5 × { e , a2 , a4 }= { a5 , a1 , a 3 }
Koset kanan :
H ×e= { e , a , a } × e={ e , a , a }
2 4 2 4
H ×a={ e , a , a } × a= { a , a , a }
2 4 3 5
H ×a 2={ e , a2 , a 4 } × a2={ a 2 , a 4 , e }
H ×a 3={ e , a2 , a4 } × a3= { a3 , a5 , a 1 }
H ×a = { e , a , a } × a ={ a , e , a }
4 2 4 4 4 2
H ×a 5={ e , a2 , a4 } × a5= { a5 , a1 , a 3 }
Terbukti koset kiri dari H dalam G6 sama dengan koset kanannya. Sehingga H merupakan subrup
normal daro G6 . Selanjutnya mencari grup faktor dari G6 / H . G6 / H adalah himpunan koset –
koset dari H dalam G6. Sehingga diperoleh :
G6
={ H , H a }
H
Teorema 6.6
Grup faktor dari grup siklik adalah siklik.
Bukti :
Missal sebuah grup G adalah grup siklik. Maka grup G dapat ditulis sebagai G= ⟨ a ⟩= { an|n ∈ Z }
Hal ini berarti G/ H dapat dibangun oleh suatu elemen aH , yang mana aH ∈G /H , karena untuk
sembarang gH dalam G/ H berlaku g=am untuk suatu bilangan bulat m, sehingga dapat
dituliskan bahwa gH =am H =( aH )m
Terbukti bahwa G/ H dibangun oleh suatu elemen dalam G/ H , dengan kata lain G/ H adalah
siklik.
Teorema 6.7
Jika G grup abelian maka G/ H juga abelian.
Bukti :
Ambil sembarang elemen dari G/ H missal aH dan bukan bH , karena G merupakan grup
abelian maka
aH bH =ab H=ba H =bH aH
Terbukti bahwa G/ H adalah abelian.
Teorema 6.8
Jika G/ H siklik serta setiap elemen di H komutatif dengan semua elemen di G, maka G adalah
grup abelian.
Bukti :
Karena G/ H siklik, maka G/ H dapat dinyatakan sebagai
G/ H = ⟨ aH ⟩ ={( aH )n|n∈ Z }
Selanjutnya, ambil sembarang g1 dan g 2 dalam G. Misal g1 dan g 2 berada dalam suatu koset dari
H dalam G, missal g1 dalam a n H dan g2 dalam a m H untuk suatu bilangan bulat n dan m.
g1 g 2=( an h1 )( a m h 2)
¿ a n a m h 1 h2
m n
¿ a a h 2 h1
¿ ( a h2 ) ( a n h1 )
m
Misal H = {0,6,12} adalah subgroup dari Z18 . Maka dapatkan grup factor dari H dalam Z18
Jawab:
Pertama harus kita selidiki bahwa H adalah subgrup normal dari Z18
Z18={0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17 }
−1
(5+ H ) =1+ H
Terbukti bahwa Z18 / H merupakan grup