perfect groupA group G is called perfect if G=[G,G], where [G,G] is the derived subgroup of G, or equivalently, if the abelianization of G is trivial.