A 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.