Bab V
Bab V
elemen a H ke H ' aHa 1 H . Oleh karena itu suatu subgrup N yang mempunyai sifat
bahwa untuk setiap automorfisma intern a , subgrup N ' berimpitan dengan N. Subgrup
demikian disebut subgrup invarian atau subgrup normal. Selanjutnya suatu subgrup
normal didefinisikan sebagai berikut.
DEFINISI 5.1
Misalkan G grup, N subgrup normal (normal subgroup) dalam G jika dan hanya jika
gNg 1 N untuk setiap g G ditulis sebagai N <G .
68
Syarat di atas dapat diperlemah menjadi :
gNg 1 N (1)
g 1 N ( g 1 ) 1 g 1 Ng N (2)
dari bentuk (1) dan (2) didapat gNg 1 N sehingga jika gNg 1 N dapat dipenuhi maka
DEFINISI 5.2
Misalkan G grup, N subgrup normal dalam grup G jika untuk setiap g G berlaku
gNg 1 N
DEFINISI 5.3
Subgrup N dalam grup G disebut subgrup normal jika untuk setiap n N dan untuk setiap
g G berlaku gng 1 N .
CONTOH 1
Grup �4 { 0, 1, 2, 3} dengan operasi penjumlahan maka H { 0, 2 } subgrup normal
1 0 3 0H 1 2 3 2H
2 0 2 0H 2 2 2 2H
3 01 0H 3 2 1 2H
69
CONTOH 2
Jika G grup abelian, H subgrup G maka H subgrup normal karena untuk setiap h H dan
untuk setiap g G , ghg 1 hgg 1 eh h H . □
CONTOH 3
Grup Simetrik S 3 dengan H { 0 , 1 } , H S 3 , H subgrup S 3 tetapi H bukan subgrup
normal. Elemen 1 H dan elemen 2 S 3 maka
1
2 1 2 2 1 1 2 2 3 H . □
TEOREMA 5.4
Misalkan G grup, N subgrup normal ( gNg 1 N ) dalam G jika dan hanya jika
gNg 1 N untuk setiap g G (definisi 1 definisi 2).
( gNg 1 N gNg 1 N , g G )
Bukti
() Diketahui N G , dibuktikan gNg 1 N , g G
Menurut definisi 2, N G jika untuk setiap g G berlaku gNg 1 N
Karena berlaku untuk setiap g G maka berlaku juga untuk g 1 G sehingga
g 1 N ( g 1 ) 1 N
g 1 Ng N
g ( g 1 Ng ) g 1 gNg 1
N gNg 1
SIFAT 5.5
Jika G grup abelian maka setiap subgrup G pasti subgrup normal.
Bukti
Misalkan H subgrup dalam grup G, maka untuk setiap g G ,
gHg 1 { ghg 1 h H } { gg 1 h h H } { eh hH }{ h hH } H .
70
CONTOH 4
Grup Simetrik S 3 { 0 , 1 , 2 , 1 , 2 , 3 } bukan grup abelian.
Subgrup H { 0 , 2 } bukan subgrup normal
1 1 1
0 H 0 { 0 0 0 , 0 2 0 }
{ 0 0 0 , 0 2 0 }
{ 0 , 2 } H
tetapi perhatikan
1 1 1
1 H1 { 1 0 1 , 1 2 1 }
{ 1 0 2 , 1 2 2 }
{ 1 0 2 , 1 2 2 }
{ 0 , 2 } H . □
TEOREMA 5.6
Misalkan G grup, N subgrup normal ( gNg 1 N ) dalam G jika dan hanya jika
gN Ng , yaitu setiap koset kiri sama dengan koset kanan.
( N G gN Ng , g G )
Bukti
() Diketahui N G , dibuktikan gN Ng , g G
Karena N subgrup normal dalam G maka g G , gNg 1 N . Akibatnya
( gNg 1 ) g Ng
gN ( g 1 g ) Ng
gNe Ng gN Ng , g G terbukti.
() Diketahui gN Ng , g G , dibuktikan N G
Diketahui untuk setiap g G , gN Ng
( g G )( g 1 G ) gNg 1 Ngg 1
gNg 1 Ne gNg 1 N
TEOREMA 5.7
Misalkan G grup, N subgrup normal (e gN Ng ) dalam G jika dan hanya jika gNg 1 N
untuk setiap g G .
( N G gNg 1 N , g G )
71
Bukti
() Diketahui N G , dibuktikan gNg 1 N , g G .
Ambil sebarang x gNg 1 maka x gn1 g 1 untuk suatu n1 N .
Menurut teorema N G gN Ng , dengan gn1 gN , maka gn1 Ng .
Dapat ditulis gn1 n 2 g untuk suatu n2 N . Untuk setiap g G , ada g 1 G
x gn1 g 1 n2 gg 1 n2 e n2 N .
Jadi x gNg 1 maka x N atau gNg 1 N terbukti.
() Diketahui gNg 1 N , g G , dibuktikan N G gN Ng
Harus dibuktikan Ng gN & gN Ng .
Ambil sebarang x Ng maka x n1 g untuk suatu n1 N . Untuk setiap g G , ada
untuk suatu n1 N .
Untuk setiap g G , gg 1 x gn1 ex gn1 x gn1 gN
Jadi x Ng maka x gN atau Ng gN (1)
Ambil sebarang x gN maka x gn1 untuk suatu n1 N .
Untuk setiap g G , ada g 1 G sehingga xg 1 gn1 g 1 gNg 1 N . Didapat
Untuk setiap g G , xg 1 g n1 g xe n1 g x n1 g Ng .
Jadi x gN maka x Ng maka gN Ng (2)
Dari (1) dan (2) didapat gN Ng atau N subgrup normal dalam G terbukti. ■
g 1 g 2 g1 g 2
72
Bentuk : j j j , operasi biner well defined harus ditunjukkan :
(i). Untuk setiap x j j , (x ) j
(ii). x y ( x) ( y ) , pemetaan
Bukti
(i). Untuk setiap x j j , (x ) j
Ambil sebarang x j j maka x ( g1 , g 2 ) untuk suatu g1 , g 2 j , g1 , g 2 G .
Bentuk : j j j dengan ( g1 , g 2 ) ( g 1 , g 2 ) (x) j maka
df
(x) j
g1 g 2
( g1 , g 2 )
karena g1 g 2 j maka ( x ) g 1 g 2 g1 g 2 j .
Jadi untuk setiap x j j , (x ) j terbukti. ■
(ii). x y ( x) ( y )
Ambil sebarang x, y j j
x ( g 1 , g 2 ) dan y (h1 , h2 )
x y , berarti ( g1 , g 2 ) (h1 , h2 ) g1 h1 & g 2 h2 sedemikian hingga
g1 N h1 N & g 2 N h2 N
Dilain pihak
( x) ( y ) ( g 1 , g 2 ) ( h1 , h2 )
g 1 g 2 h1 h2
( g1 g 2 ) N (h1 h2 ) N
( g1 g 2 ) 1 (h1 h2 ) N
73