Definition:Dihedral Group

Definition
The dihedral group $D_n$ of order $2n$ is the group of symmetries of the regular $n$-gon.

It can be defined as the semidirect product $\Z_n \rtimes \Z_2$.