Contoh 5.

6 diatas menunjukkan bahwa jika G grup maka G dan {e} selalu merupakan
subgroup normal dari G. Dalam hal ini G dan {e} disebut subgroup normal trivial (subgroup
normal taksejati).

Defenisi 5.11

suatu grup dianamakan grup Hmilton jika setiap subgrupnya normal

Jadi setiap grup komutatif, merupakan grup Hamilton

Defenisi 5.12

Suatu grup tanpa subgroup normal sejati (nontrivial) dinamakan grup sederhana

Defenisi 5.12 diatas dapat diartikan sebagai berikut.

G grup sederhana jika dan hanya jika G tidak mempunyai subgroup normal selain G dan {e}.

Contoh 5.7
Setiap grup yang hanya berorde prima merupakan grup sederhana . karena jika G grup dan
orde G prima, maka subgroup dari G hanya G dan {e}, dengan kata lain G tidak mempunyai
subgroup sejati. Akibtanya G juga tidak mempunyai subgroup normal sejati. Jadi G grup
sederhana.

Teorema 5.13
Suatu subgroup H dari grup G adalah normal jika dan hanya jika xH x−1 ⊆ H , Ɐ x ϵ G .
Bukti:
⇒ ¿ Bukti dari kiri ke kanan .
Misalkan H subgroup normal dari grup G,
maka x H = Hx Ɐ x ∈ G
Pandang x H = { xh : h ∈H }
Hx = { hx : h ∈ H }

Jika xh ∈ x H dan hx ∈ Hx, maka xh = h o x untuk suatu h o ∈ H.

Ambil sebarang y ∈ xH x−1 maka y = (xh) x−1 untuk suatu h ∈ H.

xh ∈ x H = Hx maka

y = (xh) x−1

= (h o x) x−1

= h o (x x−1)

= ho e = ho ∈ H

Karena pengambilan y sebarang di xH x−1, maka xH x−1 ⊆H

⇐ ) Bukti dari kanan ke kiri

Misalkan H subgroup dari grup G dan memenuhi

−1
xH x ⊆ H , Ɐ x ∈ G.
akan ditunjukkan H normal.
Ambil sebarang x ∈ G. h ∈ H.

Pandang xh ∈ x H dan xh = ( xH x−1) x.

Karena x h x −1 ∈ xH x−1 ⊆ H, maka

x hx
−1
= h o ∈ H untuk suatu h o ∈ H.

Akibatnya xh = h o x ∈ Hx

Jadi x H ⊆ Hx …(i)
Selanjutnya, ambil sebarang y ∈ Hx, maka
Y = hx, untuk suatu h ∈ H

Y = hx = x ( x−1hx).

Karena ( x−1hx) ∈ x−1 Hx ⊆ H,

Maka x−1 hx = h o, untuk suatu h o ∈ x H

Jadi Hx ⊆ x H …(ii)
Dari (i) dan (ii) disimpulkan bahwa x H = Hx, Ɐ x ∈G .
Berdasarkan Defenisi 5.10, maka H subgrup normal di G.