Grup Faktor

Definisi 6.6 jika H subgrup normal dari Grup G, himpunan koset dari H dalam G
adalah Grup faktor dari G dan dinotasikan dengan 𝐺/𝐻. Order dari grup faktor
𝐺/𝐻 adalah banyaknya koset-koset dari H dalam G, yang dituliskan sebagai
berikut:

|G|
¿ G/ H∨¿∨G: H ∨¿
|H|
Contoh 6.18
𝑍6 = {0,1,2,3,4,5}, 𝑍6 terhadap operasi penjumlahan modulo 6 adalah Grup
abelian dan 𝐻 = {0,2,4} adalah subgrup. Tentukan grup faktor dari 𝑍6 oleh H,
yaitu 𝑍6/𝐻.

Jawab:
Langkah pertama adalah kita akan memastikan terlebih dahulu apakah H subgrup normal
dari 𝑍6.
Koset kiri dari H dalam 𝑍6

0 + 𝐻 = 0 + {0,2,4} = {0,2,4}
1 + 𝐻 = 1 + {0,2,4} = {1,3,5}
2 + 𝐻 = 2 + {0,2,4} = {2,4,0}
3 + 𝐻 = 3 + {0,2,4} = {3,5,1}
4 + 𝐻 = 4 + {0,2,4} = {4,0,2}
5 + 𝐻 = 5 + {0,2,4} = {5,1,3}
Koset kanan dari H dalam 𝑍6

𝐻 + 0 = {0,2,4} + 0 = {0,2,4}
𝐻 + 1 = {0,2,4 + 1} = {1,3,5}
𝐻 + 2 = {0,2,4} + 2 = {2,4,0}
𝐻 + 3 = {0,2,4} + 3 = {3,5,1}
𝐻 + 4 = {0,2,4} + 4 = {4,0,2}
𝐻 + 5 = {0,2,4} + 5 = {5,1,3}
Diperoleh:
0+ 𝐻 = 𝐻 + 0
 1+ 𝐻 = 𝐻 + 1
2+ 𝐻 = 𝐻 + 2
3+ 𝐻 = 𝐻 + 3
4+ 𝐻 = 𝐻 + 4
5+ 𝐻 = 𝐻 + 5
Sehingga dapat disimpulkan koset kiri dari H dalam 𝑍6 sama dengan koset
kanan dari H dalam 𝑍6. Selanjutnya kita akan mencari grup faktor dari 𝑍6/𝐻