Commutator subgroup
= Commutator subgroup
{wiki}
= Derived subgroup
{synonym}
The commutator subgroup $G'$ is generated by all $[x,y]=x^{-1}y^{-1}xy$. It is characteristic, $G/G'$ is abelian, and every normal subgroup with abelian quotient contains $G'$.