Subgrup \(G'\) dari \(G\) disebut subgrup komutator dari \(G\text{.}\) Pembuktian teorema ini diserahkan sebagai latihan (Latihan 10.4.14 dalam Bab 10).