A group is called perfect if , where is the derived subgroup of , or equivalently, if the abelianization of is trivial.