The dihedral group $D_{2n}$ is the group of symmetries of the $n$-vertex regular_polygon.

Presentation

The dihedral groups have very simple presentations: $$D_{2n}\cong ⟨a,b\mid a^n,b^2,ba{b}^{-1}=a^{-1}⟩$$ The element $a$ represents a rotation, and the element $b$ represents a reflection in any fixed axis.

Properties

• The dihedral groups $D_{2n}$ are all non-abelian for $n>2$. (Proof.)
• The dihedral group $D_{2n}$ is a subgroup of the symmetric group $S_n$, generated by the elements $a=(123\dots n)$ and $b=(2,n)(3,n-1)\dots (\frac{n}{2}+1,\frac{n}{2}+3)$ if $n$ is even, $b=(2,n)(3,n-1)\dots (\frac{n-1}{2},\frac{n+1}{2})$ if $n$ is odd.

Examples

$D_6$, the group of symmetries of the triangle

Infinite dihedral group