KOSET DAN TEOREMA LAGRANGE

Tugas Mata Kuliah Aljabar Abstrak I

Dosen Pengampu: Dr. Karyati S.Si., M.Si.

Oleh:
Hasmiwati
(18709251023)

PROGRAM STUDI PENDIDIKAN MATEMATIKA

PROGRAM PASCASARJANA
UNIVERSITAS NEGERI YOGYAKARTA
2019
 KOSET DAN TEOREMA LAGRANGE

Definisi Koset 𝑯 dalam 𝑮

Misalkan G suatu grup dan H suatu subset tak kosong dari G. Untuk setiap 𝑎 ∈ 𝐺,
himpunan {𝑎ℎ | ℎ ∈ 𝐻} dilambangkan dengan 𝑎𝐻. Secara analog, 𝐻𝑎 = {ℎ𝑎 | ℎ ∈
𝐻} dan 𝑎𝐻𝑎−1 = {𝑎ℎ𝑎−1 | ℎ ∈ 𝐻}. Ketika 𝐻 adalah subgrup 𝐺, himpunan 𝑎𝐻
disebut koset kiri 𝐻 dalam 𝐺 yang mengandung 𝑎, sedangkan 𝐻𝑎 disebut koset
kanan 𝐻 dalam 𝐺 yang mengandung 𝑎. Dalam hal ini, elemen 𝑎 disebut koset
representatif dari 𝑎𝐻 (atau 𝐻𝑎). Kita menggunakan |𝑎𝐻| untuk menunjukkan
jumlah elemen dalam himpunan 𝑎𝐻, dan |𝐻𝑎| untuk menunjukkan jumlah elemen
dalam 𝐻𝑎.

Contoh
Misalkan 𝐺 = {(1), (1 2), (1 3), (2 3), (1 2 3), (1 3 2)} dan 𝐻 = {(1), (1 3)}.
Maka koset kiri dari H dalam G adalah
(1)𝐻 = 𝐻
(1 2)𝐻 = {(1 2), (1 2)(1 3)} = {(1 2), (1 3 2)} = (1 3 2)𝐻
(1 3)𝐻 = {(1 3), (1)} = 𝐻
(2 3)𝐻 = {(2 3), (2 3)(1 3)} = {(2 3), (1 2 3)} = (1 2 3)𝐻

Contoh
Misalkan 𝐻 = {0, 3, 6} dalam 𝑍9 terhadap penjumlahan. Dalam kasus ini operasi
grup adalah penjumlahan, kita gunakan notasi 𝑎 + 𝐻 sebagai pengganti dari 𝑎𝐻.
Maka koset dari 𝐻 dalam 𝑍9 adalah
0 + 𝐻 = {0, 3, 6}
1 + 𝐻 = {1, 4, 7}
2 + 𝐻 = {2, 5, 8}
3 + 𝐻 = {3, 6, 9} = {3, 6, 0} = {0, 3, 6}
4 + 𝐻 = {4, 7, 10} = {4, 7, 1} = {1, 4, 7}
5 + 𝐻 = {5, 8, 11} = {5, 8, 2} = {2, 5, 8}
6 + 𝐻 = {6, 9, 12} = {6, 0, 3} = {0, 3, 6}
7 + 𝐻 = {7, 10, 13} = {7, 1, 4} = {1, 4, 7}
8 + 𝐻 = {8, 11, 14} = {8, 2, 5} = {2, 5, 8}
Makah hal ini sama dengan,
0 + 𝐻 = {0, 3, 6} = 3 + 𝐻 = 6 + 𝐻
1 + 𝐻 = {1, 4, 7} = 4 + 𝐻 = 7 + 𝐻
2 + 𝐻 = {2, 5, 8} = 5 + 𝐻 = 8 + 𝐻

Lemma Sifat-sifat dari Koset

Misalkan 𝐻 adalah subgroup dari 𝐺, dan misalkan 𝑎 dan 𝑏 ∈ 𝐺. Maka,

1. 𝑎 ∈ 𝑎𝐻
2. 𝑎𝐻 = 𝐻 jika dan hanya jika 𝑎 ∈ 𝐻
3. (ab)H = a(bH) dan H(ab) = (Ha)b.
4. 𝑎𝐻 = 𝑏𝐻 jika dan hanya jika 𝑎 ∈ 𝑏𝐻
5. 𝑎𝐻 = 𝑏𝐻 atau 𝑎𝐻 ∩ 𝑏𝐻 = ∅
6. 𝐻𝑎 = 𝐻𝑏 jika dan hanya jika 𝑎𝑏 −1 ∈ 𝐻
7. |aH| = |bH|
8. 𝑎𝐻 = 𝐻𝑎 jika dan hanya jika 𝐻 = 𝑎𝐻𝑎−1
9. 𝑎𝐻 adalah subgroup dari G jika dan hanya jika 𝑎 ∈ 𝐻

Bukti
1. 𝑎 = 𝑎𝑒 ∈ 𝑎𝐻
2. Andaikan bahwa 𝑎𝐻 = 𝐻. Maka 𝑎 = 𝑎𝑒 ∈ 𝑎𝐻 = 𝐻. Selanjutnya, kita
asumsikan bahwa 𝑎 ∈ 𝐻 dan tunjukkan bahwa 𝑎𝐻 ⊆ 𝐻 dan 𝐻 ⊆ 𝑎𝐻. Pertama
secara langsung sertakan sifat tertutup dari 𝐻. Untuk menunjukkan bahwa
𝐻 ⊆ 𝑎𝐻, misalkan ℎ = 𝑒ℎ = (𝑎𝑎−1 )ℎ = 𝑎(𝑎−1 ℎ) ∈ 𝑎𝐻
3. Jika 𝑎𝐻 = 𝑏𝐻, maka 𝑎 = 𝑎𝑒 ∈ 𝑒𝐻 = 𝑏𝐻. Sebaliknya, jika 𝑎 ∈ 𝑏𝐻 kita
memiliki 𝑎 = 𝑏ℎ dimana ℎ ∈ 𝐻, oleh karena itu, 𝑎𝐻 = (𝑏ℎ)𝐻 = 𝑏(ℎ𝐻) =
𝑏𝐻
4. Sifat 4 secara langsung dari sifat 3, jika ada suatu elemen 𝑐 ∈ 𝑎𝐻 ∩ 𝑏𝐻 maka
𝑐𝐻 = 𝑎𝐻 dan 𝑐𝐻 = 𝑏𝐻
5. Bukti dari kiri ke kanan
Ambil sebarang 𝑎, 𝑏 ∈ 𝐺 sedimikian sehingga 𝐻𝑎 = 𝐻𝑏
 Karena 𝑒 ∈ 𝐻 (𝑒 unsur identitas) maka 𝑎𝑒 ∈ 𝐻𝑎 atau 𝑎 ∈ 𝐻𝑎
Dari hipotesis diketahui 𝐻𝑎 = 𝐻𝑏. Akibatnya diperoleh
𝐻𝑎 = 𝐻𝑏 ⟹ 𝑎 ∈ 𝐻𝑏 [karena 𝑎 ∈ 𝐻𝑎 dan 𝐻𝑎 = 𝐻𝑏]
⟹ 𝑎𝑏 −1 ∈ (𝐻𝑏)𝑏 −1
⟹ 𝑎𝑏 −1 ∈ 𝐻(𝑏𝑏 −1 )
⟹ 𝑎𝑏 −1 ∈ 𝐻𝑒
⟹ 𝑎𝑏 −1 ∈ 𝐻 [karena 𝐻𝑒 = 𝐻]
Bukti dari kanan ke kiri
Misalkan 𝑎𝑏 −1 ∈ 𝐻, akan ditunjukkan 𝐻𝑎 = 𝐻𝑏,
Untuk itu perhatikan:
𝑎𝑏 −1 ∈ 𝐻 ⟹ 𝐻𝑎𝑏 −1 = 𝐻…….[sifat kedua]
⟹ 𝐻𝑎𝑏 −1 𝑏 = 𝐻𝑏
⟹ 𝐻𝑎𝑒 = 𝐻𝑏
⟹ 𝐻𝑎 = 𝐻𝑏
Dengan demikian disimpulkan, 𝐻𝑎 = 𝐻𝑏 jika dan hanya jika 𝑎𝑏 −1 ∈ 𝐻
6. Catatan bahwa 𝑎𝐻 = 𝐻𝑎 jika dan hanya jika (𝑎𝐻)𝑎−1 = (𝐻𝑎)𝑎−1 =
𝐻(𝑎𝑎 −1 ) = 𝐻 artinya jika dan hanya jika 𝑎𝐻𝑎−1 = 𝐻.
7. Jika 𝑎𝐻 adalah subgrup, maka itu berisi identitas 𝑒. Maka 𝑎𝐻 ∩ 𝑒𝐻 ≠ ∅,
maka dengan sifat 4, kita memiliki 𝑎𝐻 = 𝑒𝐻 = 𝐻. Maka dari sifat 2 kita
memiliki 𝑎 ∈ 𝐻 maka dengan sifat 2 lagi 𝑎𝐻 = 𝐻.

properti 1 mengatakan secara sederhana bahwa coset kiri H yang mengandung

a mengandung a. Properti 2 mengatakan bahwa H “menyerap” elemen jika dan
hanya jika elemen tersebut milik H. Properti 3 mengatakan bahwa coset kiri H
yang dibuat dengan mengalikan H di sebelah kiri dengan ab sama dengan yang
dibuat dengan mengalikan H pada kiri dengan b lalu mengalikan coset bH yang
dihasilkan di sebelah kiri dengan a (dan secara analog untuk perkalian di sebelah
kanan dengan ab). Properti 4 menunjukkan bahwa coset kiri H secara unik
ditentukan oleh salah satu elemennya. Secara khusus, setiap elemen dari coset kiri
dapat digunakan untuk mewakili coset. Properti 5 mengatakan — dan ini sangat
penting — bahwa dua koset kiri H entah identik atau terpisah. Dengan demikian,
coset kiri H secara unik ditentukan oleh salah satu elemennya. Secara khusus,
setiap elemen dari coset kiri dapat digunakan untuk mewakili coset. Properti 6
menunjukkan bagaimana kita dapat mentransfer pertanyaan tentang persamaan
cosmet kiri dari H ke pertanyaan tentang H itu sendiri dan sebaliknya. Properti 7
mengatakan bahwa semua kosmetika kiri H memiliki ukuran yang sama. Properti
8 dianalogikan dengan properti 6 dalam hal ini menunjukkan bagaimana
pertanyaan tentang kesetaraan dari kosmetika kiri dan kanan H yang mengandung
a setara dengan pertanyaan tentang kesetaraan dua subkelompok G. Properti
terakhir dari lemma mengatakan bahwa H sendiri adalah satu-satunya coset H
yang merupakan subkelompok G.

Teorema 7.1 (Teorema Lagrange)

Jika G grup terhingga dan H subgroup dari G maka |𝐻| membagi |𝐺|.
Selain itu, jumlah koset kiri (kanan) 𝐻 dalam 𝐺 yang berbeda adalah |𝐺| ∕ |𝐻|.

Bukti:
Misalkan 𝑎1 𝐻, 𝑎2 𝐻, … , 𝑎𝑟 𝐻 menunjukkan koset kiri yang berbeda dari 𝐻 dalam
𝐺. Kemudian, untuk setiap 𝑎 di G, kita peroleh 𝑎𝐻 = 𝑎𝑖 𝐻 untuk suatu 𝑖.
Berdasarkan sifat 1 dari lemma, 𝑎 ∈ 𝑎𝐻. Dengan demikian, setiap anggota G
mempunyai salah satu dari koset 𝑎𝑖 𝐻. Dapat disimbolkan,
𝐺 = 𝑎𝑖 𝐻 ∪ … ∪ 𝑎𝑟 𝐻.
Sekarang, sifat 5 dari lemma menunjukkan bahwa gabungan ini disjoint, sehingga
|𝐺| = |𝑎1 𝐻| + |𝑎2 𝐻| + ⋯ + |𝑎𝑟 𝐻|.
Karena |𝑎𝑖 𝐻| = |𝐻| untuk setiap 𝑖, maka |𝐺| = 𝑟|𝐻|.

Corollary 1 |𝑮: 𝑯| = |𝑮| ∕ |𝑯|

Jika 𝐺 adalah grup berhingga dan 𝐻 adalah subgroup dari G, maka |𝐺: 𝐻| = |𝐺| ∕
|𝐻|.

Corollary 2 |𝒂| membagi |𝑮|

Dalam grup berhingga, order setiap elemen grup membagi order grup.
Bukti:
Ingatlah bahwa order dari suatu elemen adalah order dari subgup yang dihasilkan
oleh elemen tersebut.

Corollary 3 Groups of Prime Order Are Cyclic

Suatu grup dari order prima adalah siklik.

Bukti:
Andaikan G memiliki order prima. Misalkan 𝑎 ∈ 𝐺 dan 𝑎 ≠ 𝑒. Selanjutnya, |〈𝑎〉|
membagi |𝐺| dan |〈𝑎〉| ≠ 1. Jadi, |〈𝑎〉| = |𝐺| dan akibatnya mengikut.

Corollary 4 𝒂|𝑮| = 𝒆
Misalkan 𝐺 adalah suatu grup berhingga, dan misalkan 𝑎 ∈ 𝐺. Maka, 𝑎|𝐺| = 𝑒.

Bukti:
Berdasarkan Corollary 2, |𝐺| = |𝑎|𝑘 untuk beberapa bilangan bulat positif 𝑘.
Maka, 𝑎|𝐺| = 𝑎 |𝑎|𝑘 = 𝑒 𝑘 = 𝑒.

Corollary 5 Fermat’s Little Theorem

Untuk setiap bikangan bulat 𝑎 dan setiap bilangan prima 𝑝, 𝑎𝑝 𝑚𝑜𝑑 𝑝 =
𝑎 𝑚𝑜𝑑 𝑝.
Bukti:
Berdasarkan algoritma pembagian, 𝑎 = 𝑝𝑚 + 𝑟, di mana 0 ≤ 𝑟 < 𝑝. Jadi,
𝑎 𝑚𝑜𝑑 𝑝 = 𝑟, dan itu sudah cukup untuk membuktikan bahwa 𝑟 𝑝 𝑚𝑜𝑑 𝑝 = 𝑟.
Jika 𝑟 = 0, hasilnya trivial, jadi kita dapat berasumsi bahwa 𝑟 ∈ 𝑈(𝑝). [Ingat
bahwa 𝑈(𝑝) = {1, 2, … , 𝑝 − 1} di bawah perkalian modulo 𝑝. ] Kemudian,
berdasarkan corollary sebelumnya, 𝑟 𝑝−1 𝑚𝑜𝑑 𝑝 = 1 dan, oleh karena itu,
𝑟 𝑝 𝑚𝑜𝑑 𝑝 = 𝑟.

Teorema 7.2 |𝑯𝑲| = |𝑯||𝑲| ∕ |𝑯 ∩ 𝑲|

Untuk dua subgup berhingga 𝐻 dan 𝐾 dari suatu grup, mendefinisikan suatu
himpunan 𝐻𝐾 = {ℎ𝑘|ℎ ∈ 𝐻, 𝑘 ∈ 𝐾}. Sehingga |𝐻𝐾| = |𝐻||𝐾| ∕ |𝐻 ∩ 𝐾|.

Bukti :
Meskipun himpunan 𝐻𝐾 memiliki |𝐻||𝐾| hasil kali, tidak semua hasil kali ini
perlu mewakili elemen kelompok yang berbeda. Artinya, kita mungkin punya
ℎ𝑘 = ℎ′𝑘′ di mana ℎ ≠ ℎ′ dan 𝑘 ≠ 𝑘′. Untuk menentukan |𝐻𝐾|, kita harus
menemukan sejauh mana ini terjadi. Untuk setiap 𝑡 di 𝐻 ∩ 𝐾, hasil kali ℎ𝑘 =
(ℎ𝑡)(𝑡 −1 𝑘), sehingga setiap elemen grup di 𝐻𝐾 diwakili oleh setidaknya |𝐻 ∩ 𝐾|
hasil kali di 𝐻𝐾. Tetapi ℎ𝑘 = ℎ′𝑘′ menunjukkan 𝑡 = ℎ−1 ℎ′ = 𝑘𝑘 ′−1 ∈ 𝐻 ∩ 𝐾,
sehingga ℎ′ = ℎ𝑡 dan 𝑘 ′ = 𝑡 −1 𝑘. Dengan demikian, setiap elemen di 𝐻𝐾 diwakili
oleh tepat |𝐻 ∩ 𝐾| hasil kali. Jadi, |𝐻𝐾| = |𝐻||𝐾| ∕ |𝐻 ∩ 𝐾|.

Teorema 7.3 Classification of Groups of Order 𝟐𝒑

Misalkan 𝐺 adalah grup dari order 2𝑝, di mana 𝑝 adalah bilangan prima lebih
besar dari 2. Kemudian 𝐺 adalah isomorfik hingga 𝑍2𝑝 atau 𝐷𝑝 .
Bukti:
Kita asumsikan bahwa 𝐺 tidak memiliki elemen dari order 2𝑝 dan menunjukkan
bahwa 𝐺 ≈ 𝐷𝑝 . Kita mulai dengan terlebih dahulu menunjukkan bahwa 𝐺 harus
memiliki unsur dari order 𝑝. Berdasarkan asumsi dan Teorema Lagrange, setiap
elemen non-identitas 𝐺 harus memiliki order 2 atau 𝑝. Dengan demikian, untuk
membuktikannya, kita dapat mengasumsikan bahwa setiap elemen non-identitas 𝐺
memiliki order 2. Dalam hal ini, kita memperoleh untuk semua 𝑎 dan 𝑏 dalam
grup 𝑎𝑏 = (𝑎𝑏)−1 = 𝑏 −1 𝑎−1 = 𝑏𝑎, sehingga 𝐺 adalah Abelian . Kemudian,
untuk elemen non-identitas 𝑎, 𝑏 ∈ 𝐺 dengan 𝑎 ≠ 𝑏, himpunan {𝑒, 𝑎, 𝑏, 𝑎𝑏}
tertutup dan oleh karena itu merupakan subgrup dari 𝐺 order 4. Karena ini
bertentangan dengan Teorema Lagrange, kita telah membuktikan bahwa 𝐺 harus
memiliki elemen dari order 𝑝; yang disebut 𝑎.
Sekarang misalkan 𝑏 menjadi elemen apa pun yang tidak ada dalam 〈𝑎〉.
Kemudian berdasarkan Teorema Lagrange dan asumsi bahwa 𝐺 tidak memiliki
elemen order 2𝑝, kita peroleh |𝑏| = 2 atau 𝑝. Karena |〈𝑎〉 ∩ 〈𝑏〉| membagi |〈𝑎〉| =
𝑝 dan 〈𝑎〉 ≠ 〈𝑏〉 kita peroleh |〈𝑎〉 ∩ 〈𝑏〉| = 1. Tetapi setelah itu |𝑏| = 2,
sebaliknya, berdasarkan Teorema 7.2 |〈𝑎〉〈𝑏〉| = |𝑎||𝑏| = 𝑝2 > 2𝑝 = |𝐺|, yang
tidak mungkin. Jadi, setiap elemen 𝐺 yang tidak dalam 〈𝑎〉 memiliki order 2.
Pertimbangkan berikutnya adalah 𝑎𝑏. Karena 𝑎𝑏 ∉ 〈𝑎〉, argumen di atas
menunjukkan bahwa |𝑎𝑏| = 2. Kemudian 𝑎𝑏 = (𝑎𝑏)−1 = 𝑏 −1 𝑎−1 = 𝑏𝑎 −1 .
Selain itu, relasi ini sepenuhnya menentukan tabel perkalian untuk 𝐺. [Misalnya,
𝑎3 (𝑏𝑎4 ) = 𝑎2 (𝑎𝑏)𝑎4 = 𝑎2 (𝑏𝑎−1 )𝑎4 = 𝑎(𝑎𝑏)𝑎3 = 𝑎(𝑏𝑎−1 )𝑎3 = (𝑎𝑏)𝑎2 =
(𝑏𝑎−1 )𝑎2 = 𝑏𝑎.] Karena tabel perkalian untuk semua grup noncyclic order 2𝑝
secara unik ditentukan oleh hubungan 𝑎𝑏 = 𝑏𝑎 −1, semua grup noncyclic order 2𝑝
harus saling isomorfik. Tapi tentu saja, 𝐷𝑝 , grup dihedral order 2𝑝, adalah salah
satu grup tersebut.

Penerapan Koset terhadap Grup Permutasi

Definisi Stabilizer suatu Titik

Misalkan 𝐺 suatu grup permutasi dari himpunan 𝑆. Untuk setiap 𝑖 dalam 𝑆,
misalkan 𝑠𝑡𝑎𝑏𝐺 (𝑖) = {𝜙 ∈ 𝐺 | 𝜙(𝑖) = 𝑖}. Kita sebut 𝑠𝑡𝑎𝑏𝐺 (𝑖) stabilizer 𝑖 di 𝐺.
Definisi Orbit suatu Titik
Misalkan 𝐺 suatu grup permutasi dari himpunan 𝑆. Untuk setiap 𝑖 dalam 𝑆,
misalkan 𝑜𝑟𝑏𝐺 (𝑖) = {𝜙(𝑖) | 𝜙 ∈ 𝐺}. Himpunan 𝑜𝑟𝑏𝐺 (𝑖) adalah himpunan bagian
dari S yang disebut orbit 𝑖 di bawah 𝐺. Kita menggunakan |𝑜𝑟𝑏𝐺 (𝑖)| untuk
menunjukkan jumlah elemen dalam 𝑜𝑟𝑏𝐺 (𝑖).

Contoh:
Misalkan 𝐺 merupakan subgrup S8 berikut
{(1), (132)(465)(78), (132)(465), (123)(456)(78), (78)}.
Maka,
𝑜𝑟𝑏𝐺 (1) = {1, 3, 2}, 𝑠𝑡𝑎𝑏𝐺 (1) = {(1), (78)},
𝑜𝑟𝑏𝐺 (2) = {2, 1, 3}, 𝑠𝑡𝑎𝑏𝐺 (2) = {(1), (78)},
𝑜𝑟𝑏𝐺 (4) = {4, 6, 5}, 𝑠𝑡𝑎𝑏𝐺 (4) = {(1), (78)},
𝑜𝑟𝑏𝐺 (7) = {7, 8}, 𝑠𝑡𝑎𝑏𝐺 (1) = {(1), (132)(465), (123)(456)}.

Teorema 7.4 Teorema Orbit-Stabilizer

Misalkan 𝐺 suatu grup permutasi berhingga dari himpunan 𝑆. Kemudian, untuk
setiap 𝑖 ∈ 𝑆, berlaku |𝐺| = |𝑜𝑟𝑏𝐺 (𝑖)||𝑠𝑡𝑎𝑏𝐺 (𝑖)|.

Bukti:
Berdasarkan Teorema Lagrange, |𝐺| ∕ |𝑠𝑡𝑎𝑏𝐺 (𝑖)| adalah jumlah koset kiri yang
berbeda dari 𝑠𝑡𝑎𝑏𝐺 (𝑖) di 𝐺. Dengan demikian, cukup untuk membuktikan
korespondensi satu-satu antara koset kiri 𝑠𝑡𝑎𝑏𝐺 (𝑖) dan elemen-elemen dalam orbit
𝑖. Untuk melakukan ini, kita mendefinisikan korespondensi 𝑇 dengan memetakan
koset 𝜙𝑠𝑡𝑎𝑏𝐺 (𝑖) ke 𝜙(𝑖) di bawah 𝑇. Untuk menunjukkan bahwa 𝑇 adalah fungsi
well-defined, kita harus menunjukkan bahwa 𝛼𝑠𝑡𝑎𝑏𝐺 (𝑖) = 𝛽𝑠𝑡𝑎𝑏𝐺 (𝑖)
mengartikan 𝛼(𝑖) = 𝛽(𝑖). Tetapi 𝛼𝑠𝑡𝑎𝑏𝐺 (𝑖) = 𝛽𝑠𝑡𝑎𝑏𝐺 (𝑖) mengartikan 𝛼 −1 𝛽 ∈
𝑠𝑡𝑎𝑏𝐺 (𝑖), sehingga (𝛼 −1 𝛽)(𝑖) = 𝑖 dan, oleh karena itu, 𝛽(𝑖) = 𝛼(𝑖).
Membalikkan argumen dari langkah terakhir ke langkah pertama menunjukkan
bahwa 𝑇 juga satu-satu. Kita dapat menyimpulkan buktinya dengan menunjukkan
bahwa 𝑇 onto 𝑜𝑟𝑏𝐺 (𝑖). Misalkan 𝑗 ∈ 𝑜𝑟𝑏𝐺 (𝑖). Maka 𝛼(𝑖) = 𝑗 untuk beberapa 𝛼 ∈
𝐺 dan jelas 𝑇(𝛼𝑠𝑡𝑎𝑏𝐺 (𝑖) = 𝛼(𝑖) = 𝑗, sehingga 𝑇 onto.
Grup Rotasi dari Kubus

Teorema 7.5
Grup rotasi dari sebuah kubus adalah isomorfik ke 𝑆4 .

Bukti:
Karena grup rotasi kubus memiliki urutan yang sama dengan 𝑆4 , kita hanya perlu
membuktikan bahwa grup rotasi isomorfik terhadap subgrup 𝑆4 . Amati bahwa
kubus memiliki empat diagonal dan bahwa grup rotasi menginduksi grup
permutasi pada empat diagonal. Tetapi kita harus berhati-hati untuk tidak
menganggap bahwa rotasi yang berbeda sesuai dengan permutasi yang berbeda.
Untuk melihat hal ini, yang perlu kita lakukan adalah menunjukkan bahwa 24
permutasi diagonal muncul dari rotasi. Katakan diagonal berurutan 1, 2, 3, dan 4,
jelas bahwa ada rotasi 90° yang menghasilkan permutasi 𝑎 = (1234); rotasi 90°
lainnya tentang sumbu yang tegak lurus terhadap sumbu pertama menghasilkan
permutasi 𝛽 = (1423). Lihat Gambar 7.3. Jadi, grup permutasi yang disebabkan
oleh rotasi berisi delapan elemen subgrup {𝜀, 𝛼, 𝛼 2 , 𝛼 3 , 𝛽 2 , 𝛽 2 𝛼, 𝛽 2 𝛼 2 , 𝛽 2 𝛼 3 } dan
𝛼𝛽, yang memiliki order 3. Jelas, kemudian, semua rotasi menghasilkan 24
permutasi, karena order grup rotasi harus dapat dibagi oleh 8 dan 3.
Referensi
Gallian, J. A. (2017). Contemporary Abstract Algebra Ninth Edition. Boston,
USA: Cengage Learning.