Finite nonabelian simple group
= Finite nonabelian simple group
A finite nonabelian simple group is a <finite group> that is a <nonabelian group> and a <simple group>. Every such group is a <perfect group> because its <commutator subgroup> is a nontrivial normal subgroup.