Nama : Andari Filna Jesika

NIM : 160103068

Kelas : 6.C

Materi tentang Koset, Teorema Lagrange, dan Subgrup Normal

A. Koset
Suatu jenis kompleks dari suatu grup disebut koset dari suatu subgrup dalam grupnya.
Definisi 1.1
Misalkan H suatu subgrup dari grup 𝐺 dan a suatu elemen dari G, maka :
i. 𝐻𝑎 = {ℎ𝑎|ℎ ∈ 𝐻} disebut koset kanan dari H dalam G.
ii. 𝑎𝐻 = {𝑎 ∗ ℎ|ℎ ∈ 𝐻} disebut koset kiri dari H dalam G.
Contoh :
Misalnya 𝐺 = {1, 2, 3, 4} dengan operasi perkalian mod 5 adalah suatu grup dan 𝐻 = {1, 3}
merupakan subgrup dari. Koset kanan - koset kanan dari H dalam G adalah
𝐻1 = {1 × 1, 3 × 1} = {1,3} = 𝐻
𝐻2 = {1 × 2, 3 × 2} = {2, 1}
𝐻3 = {1 × 3, 3 × 3} = {3, 4}
𝐻4 = {1 × 4, 3 × 4} = {4, 2}
Jadi koset kanan - koset kanan dari H dalam G adalah 𝐻1, 𝐻2, 𝐻3, dan 𝐻4.
Teorema 1.1
Jika H subgrup dari G, maka ∀𝑎 ∈ 𝐻 berlaku 𝑎 ∈ 𝐻 jika dan hanya jika 𝐻𝑎 = 𝐻
Bukti :
(⟹) Dibuktikan jika 𝑎 ∈ 𝐻, maka 𝐻𝑎 = 𝐻
Ambil sebarang 𝑥 ∈ 𝐻𝑎, maka 𝑥 = ℎ𝑎 untuk semua ℎ ∈ 𝐻. Karena 𝑎 ∈ 𝐻 dan ℎ ∈ 𝐻 serta H
subgrup dari G, maka ℎ𝑎 ∈ 𝐻, sehingga 𝑥 ∈ 𝐻. Hal tersebut menunjukkan 𝐻𝑎 ⊂ 𝐻
Ambil sebarang 𝑦 ∈ 𝐻, karena 𝑎 ∈ 𝐻 dan H subgrup dari G, maka 𝑎 −1 ∈ 𝐻, sehingga
𝑦𝑎−1 ∈ 𝐻. Akibatnya (𝑦𝑎−1 )𝑎 = 𝑦 ∈ 𝐻𝑎. Jadi 𝐻 ⊂ 𝐻𝑎
Dengan demikian terbukti 𝐻𝑎 = 𝐻
(⟸)Sebaliknya karena H suatu subgrup, maka 𝑒 ∈ 𝐻 sehingga 𝑒𝑎 = 𝑎 ∈ 𝐻𝑎. Selanjutnya
karena 𝐻𝑎 = 𝐻, maka 𝑎 ∈ 𝐻.
Teorema 1.2
Jika H subgrup dari grup G, maka ∀𝑎, 𝑏 ∈ 𝐺 berlaku 𝑏 ∈ 𝐻𝑎 ⇔ 𝐻𝑏 = 𝐻𝑎 ⇔ 𝑎𝑏 −1 ∈ 𝐻
Bukti :
Untuk membuktikan ini teorema ini ditempuh 3 tahap pembuktian, yaitu :
1) 𝑏 ∈ 𝐻𝑎 ⇔ 𝐻𝑏 = 𝐻𝑎
Karena 𝑏 ∈ 𝐻𝑎 maka 𝑏 = ℎ𝑎 untuk suatu ℎ ∈ 𝐻
Ambil sembarang 𝑥 ∈ 𝐻𝑏, maka
𝑥 = ℎ1 𝑏 untuk suatu ℎ1 ∈ 𝐻
𝑥 = ℎ1 (ℎ𝑎) karena 𝑏 = ℎ𝑎
𝑥 = (ℎ1 ℎ)𝑎
Karena ℎ, ℎ1 ∈ 𝐻, dan H subgrup , maka ℎ1 ℎ ∈ 𝐻, sehingga (ℎ1 ℎ)𝑎 ∈ 𝐻𝑎 atau 𝑥 ∈ 𝐻𝑎
hal ini menunjukkan bahwa 𝐻𝑏 ⊂ 𝐻𝑎.
Ambil sembarang 𝑦 ∈ 𝐻𝑎, maka
𝑦 = ℎ2 𝑎 untuk suatu ℎ2 ∈ 𝐻
𝑦 = ℎ2 (ℎ−1 𝑏) karena 𝑏 = ℎ, maka ℎ−1 𝑏 = 𝑎
𝑦 = (ℎ2 ℎ−1 )𝑏
Karena ℎ ∈ 𝐻 dan 𝐻 subgrup, maka ℎ−1 ∈ 𝐻 dan karena ℎ2 ∈ 𝐻, maka ℎ2 ℎ−1 ∈ 𝐻,
sehingga (ℎ2 ℎ−1 )𝑏 ∈ 𝐻𝑏 atau 𝑦 ∈ 𝐻𝑏. Uraian ini menunjukkan bahwa 𝐻𝑎 ⊂ 𝐻𝑏.
Karena 𝐻𝑏 ⊂ 𝐻𝑎 dan 𝐻𝑎 ⊂ 𝐻𝑏 maka 𝐻𝑏 = 𝐻𝑎
2) 𝐻𝑏 = 𝐻𝑎 ⇔ 𝑎𝑏 −1 ∈ 𝐻
H subgrup, maka 𝑒 ∈ 𝐻, sehingga 𝑒𝑎 = 𝑎 ∈ 𝐻𝑎 dan karena 𝐻𝑎 = 𝐻𝑏, maka 𝑎 ∈ 𝐻𝑏. Ini
berarti ada suatu ℎ3 ∈ 𝐻, sedemikian hingga
𝑎 = ℎ3 𝑏
𝑎𝑏 −1 = (ℎ3 𝑏)𝑏 −1
𝑎𝑏 −1 = ℎ3
Selanjutnya karena ℎ3 ∈ 𝐻, maka 𝑎𝑏 −1 ∈ 𝐻
3) 𝑎𝑏 −1 ∈ 𝐻 ⟹ 𝑏 ∈ 𝐻𝑎
Jika 𝑎𝑏 −1 ∈ 𝐻 maka 𝑎𝑏 −1 = ℎ3 , untuk semua ℎ3 ∈ 𝐻
Perhatikan bahwa
 𝑎𝑏 −1 = ℎ3
ℎ3 −1 (𝑎𝑏 −1 )𝑏 = ℎ3 −1 ℎ3 𝑏
(ℎ3 −1 𝑎)(𝑏 −1 𝑏) = (ℎ3 −1 ℎ3 )𝑏
ℎ3 −1 𝑎 = 𝑏
Karena ℎ3 ∈ 𝐻 dan 𝐻 subgrup, maka ℎ3 −1 ∈ 𝐻, sehingga ℎ3 −1 𝑎 ∈ 𝐻𝑎 dan karena
ℎ3 −1 𝑎 = 𝑏 maka 𝑏 ∈ 𝐻𝑎

B. Teorema Lagrange
Teorema 2.1 (Teorema Lagrange)
Jika G suatu grup berhingga dan H adalah subgrup dari G, maka orde dari H (°(𝐻))
membagi habis orde dari G (° (𝐺)) ditulis ° (𝐻) | ° (𝐺).
Bukti :
Karena H subgrup dari grup berhingga G, maka H suatu himpunan berhingga pula, karena G
berhingga, maka banyaknya koset kanan dari H berhingga pula, misalkan 𝑘.
Katakan koset kanan - koset kanan dari H tersebut adalah 𝐻𝑎1 , 𝐻𝑎2 , 𝐻𝑎3 , … , 𝐻𝑎𝑘 .
Koset kanan - koset kanan ini membentuk partisi dalam G, yaitu 𝐺 = 𝐻𝑎1 ∪ 𝐻𝑎2 ∪ … ∪ 𝐻𝑎𝑘
dan 𝐻𝑎𝑖 ∩ 𝐻𝑎𝑗 ≠ ∅ untuk 𝑖 ≠ 𝑗
Misal ° (𝐻) = 𝑛 dan telah dibuktikan diatas bahwa 𝐻𝑎𝑖 ∼ 𝐻𝑎𝑗, maka ∀𝑖 = 1,2,3, . . . , 𝑘,
°(𝐻𝑎𝑖 ) = 𝑛. Sehingga ° (𝐺) = 𝑘𝑛 atau ° (𝐺) = 𝑘 ° (𝐻)
Jadi ° (𝐻)| ° (𝐺)
Definisi 2.1
Misalkan H subgrup dari G, maka banyaknya koset kanan (kiri) dari H dalam G disebut
indeks dari H dalam G dan dinyatakan dengan symbol 𝑖𝐺 (𝐻). Himpunan semua koset kanan
(kiri) dari H dalam G dinyatakan dalam symbol 𝐺/𝐻

C. Subgrup Normal
Definisi 3.1
Misalkan H adalah suatu subgrup dari grup G, H subgrup normal (normal subgroup) dalam
G jika dan hanya jika 𝑔ℎ𝑔−1 = 𝐻 untuk setiap g  G .
Definisi 3.2
Misalkan H adalah subgrup normal dari grup G, maka setiap koset kiri dari H dalam G juga
merupakan koset kanannya (𝑔𝐻 = 𝐻𝑔, ∀ 𝑔 ∈ 𝐺)
Dari definisi di atas dapat dikatakan untuk menentukan bahwa suatu subgrup H adalah
subgrup normal dari grup G, maka harus dibuktikan bahwa koset - koset kiri dari H dalam G
sama dengan koset-koset kanan dari H dalam G (𝑔𝐻 = 𝐻𝑔, ∀ 𝑔 ∈ 𝐺)
Definisi 3.3
Misalkan H adalah suatu subgrup dari grup G, H subgrup normal dalam grup G jika untuk
setiap g  G berlaku 𝑔ℎ𝑔−1 ⊆ 𝐻
Definisi 3.4
Misalkan H adalah suatu subgrup dari grup G, subgrup H dikatakan subgrup normal dari G
jika 𝑔ℎ𝑔−1 ∈ 𝐻 untuk setiap 𝑔 ∈ 𝐺 dan ℎ ∈ 𝐻.
Teorema 3.1
Misalkan G grup, H subgrup normal (𝑔ℎ𝑔−1 ⊆ 𝐻) dalam G jika dan hanya jika 𝑔ℎ𝑔−1 = 𝐻
untuk setiap g  G .
Bukti :
() Diketahui H subgrup normal dalam G, dibuktikan 𝑔ℎ𝑔−1 = 𝐻
Menurut definisi 3.3, H subgrup normal dalam grup G jika untuk setiap g  G berlaku

𝑔ℎ𝑔−1 ⊆ 𝐻. Karena berlaku untuk setiap g  G maka berlaku juga untuk g 1  G

sehingga
𝑔−1 ℎ(𝑔−1 )−1 ⊆ 𝐻
⟺ 𝑔−1 ℎ𝑔 ⊆ 𝐻
⟺ 𝑔(𝑔−1 ℎ)𝑔−1 ⊆ 𝑔ℎ𝑔−1
⟺ 𝐻 ⊆ 𝑔ℎ𝑔−1
Karena 𝑔ℎ𝑔−1 ⊆ 𝐻 dan 𝐻 ⊆ 𝑔ℎ𝑔−1 maka 𝑔ℎ𝑔−1 = 𝐻 , g  G .

() Diketahui 𝑔ℎ𝑔−1 = 𝐻 , g  G , dibuktikan H subgrup normal dalam G

Karena 𝑔ℎ𝑔−1 = 𝐻 , g  G , menurut definisi 3.3 maka H subgrup normal dalam G.
Teorema 3.2
Misalkan G grup, H subgrup normal (𝑔ℎ𝑔−1 = 𝐻) dalam G jika dan hanya jika 𝑔𝐻 = 𝐻𝑔,
yaitu setiap koset kiri sama dengan koset kanan.
Bukti
() Diketahui H subgrup normal dalam G , dibuktikan 𝑔𝐻 = 𝐻𝑔, ∀ 𝑔 ∈ 𝐺
Karena H subgrup normal dalam G maka ∀ 𝑔 ∈ 𝐺, 𝑔ℎ𝑔−1 = 𝐻. (Definisi 3.1)
Akibatnya
(𝑔ℎ𝑔−1 )𝑔 = 𝐻𝑔
⟺ 𝑔ℎ(𝑔−1 𝑔) = 𝐻𝑔
⟺ 𝑔ℎ𝑖 = 𝐻𝑔
⟺ 𝑔ℎ𝑖 = 𝐻𝑔
⟺ 𝑔𝐻 = 𝐻𝑔 karena ℎ ∈ 𝐻
() Diketahui 𝑔𝐻 = 𝐻𝑔, ∀ 𝑔 ∈ 𝐺, dibuktikan H subgrup normal dalam G

Diketahui untuk setiap 𝑔 ∈ 𝐺, 𝑔𝐻 = 𝐻𝑔

∀ 𝑔 ∈ 𝐺, ∃𝑔−1 ∈ 𝐺
𝑔𝐻 = 𝐻𝑔
⟺ 𝑔𝐻𝑔−1 = 𝐻𝑔𝑔−1
⟺ 𝑔𝐻𝑔−1 = 𝐻𝑖
⟺ 𝑔𝐻𝑔−1 = 𝐻
Berdasarkan definisi 3.1 maka H subgrup normal dalam G

Teorema 3.3
Misalkan G grup, H subgrup normal (𝑔𝐻 = 𝐻𝑔) dalam G jika dan hanya jika 𝑔ℎ𝑔−1 ⊆
𝐻 untuk setiap 𝑔 ∈ 𝐺.
Bukti
() Diketahui H subgrup normal dalam G, dibuktikan 𝑔ℎ𝑔−1 ⊆ 𝐻 ∀ 𝑔 ∈ 𝐺.
Ambil sebarang 𝑥 ∈ 𝑔ℎ𝑔−1 maka 𝑥 ∈ 𝑔ℎ1 𝑔−1 untuk suatu ℎ1 ∈ 𝐻
Menurut teorema 3.2 , H subgrup normal dalam G jika dan hanya jika 𝑔𝐻 = 𝐻𝑔, dengan
𝑔ℎ1 ∈ 𝑔𝐻, maka 𝑔ℎ1 ∈ 𝐻𝑔

Dapat ditulis 𝑔ℎ1 = ℎ2 𝑔 untuk suatu ℎ2 ∈ 𝐻. Untuk setiap 𝑔 ∈ 𝐺, ada 𝑔−1 ∈ 𝐺

𝑥 = 𝑔ℎ1 𝑔−1 = ℎ2 𝑔𝑔−1 = ℎ2 𝑖 = ℎ2 ∈ 𝐻
Jadi 𝑥 ∈ 𝑔ℎ𝑔−1 maka 𝑥 ∈ 𝐻 atau 𝑔ℎ𝑔−1 ⊆ 𝐻
() Diketahui 𝑔ℎ𝑔−1 ⊆ 𝐻, ∀ 𝑔 ∈ 𝐺, dibuktikan H subgrup normal dalam G
Harus dibuktikan 𝑔𝐻 ⊆ 𝐻𝑔 dan 𝐻𝑔 ⊆ 𝑔𝐻
Ambil sebarang 𝑥 ∈ 𝐻𝑔 maka 𝑥 = ℎ1 𝑔 untuk semua ℎ1 ∈ 𝐻.
Untuk setiap 𝑔 ∈ 𝐺, ada 𝑔−1 ∈ 𝐺 sehingga 𝑔−1 𝑥 = 𝑔−1 ℎ1 𝑔 ∈ 𝑔−1 ℎ𝑔 ⊆ 𝐻.
Didapat 𝑔−1 𝑥 ∈ 𝐻 maka 𝑔−1 𝑥 = ℎ1 untuk semua ℎ1 ∈ 𝐻
Untuk setiap 𝑔 ∈ 𝐺, 𝑔𝑔−1 𝑥 = 𝑔ℎ1 ⇔ 𝑖𝑥 = 𝑔ℎ1 ⟺ 𝑥 = 𝑔ℎ1 ∈ 𝑔𝐻
Jadi 𝑥 ∈ 𝐻𝑔 maka 𝑥 ∈ 𝑔𝐻 atau 𝐻𝑔 ⊆ 𝑔𝐻 .............................(1)
Ambil sebarang 𝑥 ∈ 𝑔𝐻 maka 𝑥 = 𝑔ℎ1 untuk semua ℎ1 ∈ 𝐻
Untuk setiap 𝑔 ∈ 𝐺, ada 𝑔−1 ∈ 𝐺 sehingga 𝑥𝑔−1 = 𝑔ℎ1 𝑔−1 ∈ 𝑔ℎ𝑔−1 ⊆ 𝐻.
Didapat 𝑥𝑔−1 ∈ 𝐻 maka 𝑥𝑔−1 = ℎ1 untuk semua ℎ1 ∈ 𝐻.
Untuk setiap 𝑔 ∈ 𝐺, 𝑥𝑔−1 𝑔 = ℎ1 𝑔 ⇔ 𝑥𝑖 = ℎ1 𝑔 ⟺ 𝑥 = ℎ1 𝑔 ∈ 𝐻𝑔
Jadi 𝑥 ∈ 𝑔𝐻 maka 𝑥 ∈ 𝐻𝑔 atau 𝑔𝐻 ⊆ 𝐻𝑔 .............................(2)
Dari (1) dan (2) didapat 𝑔𝐻 = 𝐻𝑔 atau H subgrup normal dalam G.