abelianization
G^{\text{ab}}=G/[G,G], the largest abelian quotient of G -- always abelian, no matter how non-abelian G itself is.
Loading interactive…
Examples
S_3^{\text{ab}} = S_3/A_3 \cong \mathbb{Z}_2.
See also
Point table
Graph settings
Calculator