Perfect group

Summary

A perfect group is a group equal to its own commutator subgroup. Equivalently, it has no nontrivial abelian quotient. Non-abelian simple groups are perfect. In algebraic K-theory the elementary subgroup $E(R)$ of any ring is perfect, which is what makes the plus construction work.