Dihedral group (source code)

= Dihedral group
{title2=$D_n$}
{wiki}

The dihedral group $D_{2n}$ is generated by a rotation $r$ of order $n$ and a reflection $s$ with $srs=r^{-1}$; it has order $2n$.