Yang disebut komutator dari adalah ; subgrup komutator adalah subgrup yang dibangun oleh semua komutator. Deret komutator adalah , , dan disebut terselesaikan jika untuk suatu .
Contoh
Contoh 1.30
Grup abelian terselesaikan. Grup- terselesaikan, dengan induksi pada ordenya: dan adalah grup- yang lebih kecil. dan terselesaikan: , dengan adalah grup Klein yang terdiri atas transposisi ganda (normal di : ia gabungan kelas konjugasi), dan kuosien-kuosiennya abelian: , , . Pada Bab 4, “persamaan umum berderajat terselesaikan dengan radikal” akan benar-benar berarti “ adalah grup terselesaikan”. Dari sinilah pentingnya definisi berikut.