Abelianization of an odd dihedral group

ID: abelianization-of-an-odd-dihedral-group

For odd , the dihedral group of order has rotation generator and reflection generator , with . The group commutator generates the rotation subgroup, while the quotient by that subgroup is . Hence the commutator subgroup is exactly and the abelianization is . The only abelian quotients are and the trivial group.

New to topics? Read the docs here!