KOSET DAN TEOREMA LAGRANGE

SUATU GRUP
Oleh :
Mega Achdisty Noordyana, M.Pd
Definisi 1
Misalkan H suatu subgrup dari grup (G; o)
dan a suatu elemen dari G, maka :
(i) Hoa = {hoahH} disebut koset
kanan dari H dalam G.
(ii) aoH = {aohhH} disebut koset kiri
dari H dalam G.
Karena H subgrup dari G, maka uH
(u elemen identitas),
sehingga
Hu = {huhH} = H dan
uH = {uhhH} = H.
Ini berarti H merupakan suatu koset kanan
atau koset kiri dari H.
Demikian pula, karena uH, maka
uaHa yaitu aHa dan
auaH yaitu aaH.
Ini berarti aH maupun Ha memuat sekurang-kurangnya
satu elemen.
Dengan kata lain, tak ada koset kiri atau koset kanan
yang merupakan himpunan kosong.

Apabila G suatu grup abelian, maka setiap koset kiri

dari suatu subgrup merupakan koset kanan dari
subgrup itu
 Soal
(1) G = {[1], [2], [3], [4], [5], [6]} dengan perkalian
modulo 7 adalah suatu grup dan H = {[1], [6]}
merupakan subgrup dari G. Tentukan Koset
kanan-koset kanan dari H dalam G
(2) S3 = {(1), (1 2), (1 3), (2 3), (1 2 3), (1 3 2)},
yaitu grup simetri tingkat 3 dan H = {(1), (2 3)}
adalah subgrup dari S3. Tentukan Koset kanan
dan koset kiri dari H dalam S3
Jawab (1)
H[1] = H[6] = H,
H[2] = {[1]  [2], [6]  [2]} = {[2],[5]} = H[5], dan
H[3] = {[1]  [3], [6]  [3]} = {[3], [4]} = H[4].
Jadi koset kanan-koset kanan dari H adalah H, H[2], dan H[3].

Tampak di sini bahwa H, H[2], dan H[3] membentuk suatu partisi

pada G, yaitu H  H[2]  H[3] = G dan irisan setiap dua koset kanan
itu adalah suatu himpunan kosong.
Perhatikan pula bahwa
[6]  H dan H[6] = H,
[5]  H[2] dan H[5] = H[2],
[4]  H[3] dan H[4] = H[3].
 
Jawab (2)
H(1) = H(2 3) = H
H(1 2) = {(1) (1 2), (2 3) (1 2)} = {(1 2), (1 3 2)} = H(1 3 2)
H(1 3) = {(1) (1 3), (2 3) (1 3)} = {(1 3), (1 2 3)} = H(1 2 3).

Jadi koset kanan-koset kanan dari H dalam S 3 adalah H, H(1 2) dan H(1 3).

Perhatikan bahwa koset kanan-koset kanan dari H ini membentuk suatu

partisi pada S3.

Perhatikan pula bahwa (2 3)  H dan H(2 3) = H,

(1 2 3)  H(1 3) dan H(1 2 3) = H(1 3),
(1 3 2)  H(1 2) dan
H(1 3 2) = H(1 2).
 
Sedangkan koset kiri-koset kiri dari H dalam S3 adalah
(1)H = (2 3)H = H
(1 2)H = {(1 2) (1), (1 2) (2 3)} = {(1 2), (1 2 3)} = (1 2 3)H.
(1 3)H = {(1 3) (1), (1 3) (2 3)} = {(1 3), (1 3 2)} = (1 3 2)H.
Jadi koset kiri-koset kiri dari H dalam S3 adalah H, (1 2)H, dan (1 3)H.
Koset kiri-koset kiri dari H inipun membentuk suatu partisi pada S3.
Perhatikan bahwa (2 3)  H dan (2 3)H = H, (1 2 3)  (1 2)H dan
(1 2 3)H = (1 2)H,
(1 3 2)  (1 3)H dan (1 3 2)H = (1 3)H.

Perhatikan pula bahwa

H(1 2)  (1 2)H dan H(1 3)  (1 3)H.
Hal ini terjadi karena S3 bukan grup abelian.
TEOREMA 1
Jika H subgrup dari G, maka  aH berlaku aH jika
dan hanya jika Ha = H.

TEOREMA 2
Jika H subgrup dari grup G, maka  a,bG maka
Ha = Hb  ab-1H.

TEOREMA 3
Jika H subgrup dari grup G, maka  a,bG berlaku
bHa  Ha = Hb
TEOREMA 4
Misal H adalah subgrup dari grup G, dan a,bG
berlaku jika Ha  Hb maka Ha  Hb = 

Teorema 5
Misalkan (G;o) adalah grup dan H merupakan
subgrup dari G. Jika u adalah elemen identitas
dari G, a  G, dan Ha  Hu, maka Ha bukan
subgrup dari G.
Teorema 6
Jika (G;o) adalah grup dan H merupakan subgrup
dari G, maka untuk setiap a  G
berlaku H ~ Ha

Teorema 7
Jika (G;o) adalah grup dan H merupakan subgrup
dari G, maka untuk setiap a,b  G
berlaku Ha ~ Hb
Teorema Lagrange
Jika G suatu grup berhingga dan H
adalah subgrup dari G, maka order
dari H membagi habis order dari G
ditulis n(H)|n(G)
Definisi :
Misalkan H subgrup dari grup G, maka
banyaknya koset kanan (kiri) dari H dalam G
disebut indeks dari H dalam G dan dinyatakan
dengan simbol iG(H). Himpunan semua koset
kanan (kiri) dari H dalam G dinyatakan dalam
simbol G/N
Contoh
Misalkan G = {[1], [2], [3], [4], . . . , [12]} dengan
perkalian modulo 13 adalah suatu grup.
M = {[1], [3], [9]} adalah subgrup dari G.
Koset-koset dari M adalah
M[1] = M[3] = M[9} = M
M[2] = {[2], [6], [5] = M[5] = M[6].
M[4] = {[4], [12], [10]}= M[10] = M[12].
M[7] = {[7], [8], [11]} = M[8] = M[11].
Maka G/M = {M, M[2], M[4], M[7]} dan iG(M) = 4.
Soal
Misalkan S3 = {(1), (1 2), (1 3), (2 3),
(1 2 3), (1 3 2)}, yaitu grup simetrik
tingkat 3 dan H = {(1), (1 2)} subgrup
dari S3. Tuliskan semua elemen (koset)
dari S3 dan berapakah indeks dari H
dalam S3
Jawab
Misalkan S3 = {(1), (1 2), (1 3), (2 3), (1 2 3), (1 3 2)},
yaitu grup simetrik tingkat 3 dan
H = {(1), (1 2)} subgrup dari S3.
Semua koset kanan dari H dalah S3 adalah
H(1) = H(1 2) = H,
H(1 3) = {(1 3), (1 3 2)} = H(1 3 2).
H(2 3) = {(2 3), (1 2 3)}= H(1 2 3)
Jadi = { H, H(1 3), H(2 3)}dan indeks dari H dalam S3
adalah 3.
 SUB GRUP NORMAL
• Definisi 7.1:
Misalkan N subgrup dari grup G, maka N disebut
subgrup normal dari G (diberi simbol N  G) jika
dan hanya jika  gG, gN = Ng.
•  Teorema 7.2:
Apabila N subgrup dari grup G, maka N  G jika
dan hanya jika  gG dan  nN, gng-1N.