Definition:Dihedral Group

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$$.