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