Jabarkan Grup sempurna dari Subgrup komutator

Kapanpun grup  telah menurunkan subgrup yang sama dengan dirinya sendiri, , itu disebut grup sempurna. Ini termasuk non-abelian grup sederhana dan grup linier khusus  untuk bidang tetap .