Perfect group (source code)

= Perfect group
{wiki}

A group $G$ is perfect when $G'=G$, equivalently when its <abelianization> is trivial.