perfect group

group with trivial abelianization