 Perfect group

A group $G$ is perfect when $G^{\prime }=G$, equivalently when its abelianization is trivial.