Lengkapi Tabel!
Teorema
Jika 𝑁 adalah subgrup normal, maka struktur dari setiap 𝑁, 𝐺, 𝑑𝑎𝑛 𝐺/𝑁 saling
berhubungan dengan struktur lainnya
Teorema. Misalkan 𝑁 adalah subgrup normal dari 𝐺. Maka 𝐺/𝑁 adalah abelian
jika dan hanya jika 𝑎𝑏𝑎−1 𝑏 −1 ∈ 𝑁 untuk setiap 𝑎, 𝑏 ∈ 𝐺.
Bukti.
Karena Grup 𝐺/𝑁 adalah abelian, maka 𝑁𝑎𝑏 = 𝑁𝑏𝑎 berdasarkan definisi.
Berdasarkan teorema *, 𝑁𝑎𝑏 = 𝑁𝑏𝑎 jika dan hanya jika 𝑎𝑏 = 𝑏𝑎(mod 𝑁).
Akibatnya, berdasarkan definisi kongruensi didapat 𝑎𝑏 𝑏𝑎 −1 ∈ 𝑁. Padahal
𝑎𝑏 𝑏𝑎 −1 = 𝑎𝑏𝑎−1 𝑏 −1 . Ini berarti 𝑎𝑏𝑎−1 𝑏 −1 ∈ 𝑁. Terbukti.