# Dihedral group

Jump to: navigation, search

dihedron group

A finite group isomorphic to the rotation group of a dihedron, i.e. of a regular doubled pyramid. If the base of the pyramid is an $n$-gon, the corresponding dihedron group is of order $2n$ and is generated by two rotations $\phi$ and $\psi$ of orders $n$ and $2$ respectively, with the defining relation $\phi\psi\phi\psi=1$. An alternative description is the group of rotations and reflections of a regular $n$-gon, with $\phi$ as a rotation of order $n$ and $\psi$ as a reflection. In a finite group, two different elements of order 2 generate a dihedral group.

The notation for the group varies: some author write $D_n$ and others $D_{2n}$ for the group of order $2n$. A dihedral group is sometimes understood to denote the dihedral group of order 8 only.

The dihedral group is the semi-direct product of cyclic groups $C_2$ by $C_n$, with $C_2$ acting on $C_n$ by the non-trivial element of $C_2$ mapping each element of $C_n$ to its inverse.

See also: Quasi-dihedral group

#### References

 [1] G.G. Hall, "Applied group theory" , Longman (1967)
How to Cite This Entry:
Dihedral group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dihedral_group&oldid=33936
This article was adapted from an original article by V.D. Mazurov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article