# Infinite dihedral group

In mathematics, the infinite dihedral group Dih is an infinite group with properties analogous to those of the finite dihedral groups.

p1m1, (*∞∞) p2, (22∞) p2mg, (2*∞)

In 2-dimensions three frieze groups p1m1, p2, and p2mg are isomorphic to the Dih group. They all have 2 generators. The first has two parallel reflection lines, the second two 2-fold gyrations, and the last has one mirror and one 2-fold gyration.

In two-dimensional geometry, the infinite dihedral group represents the frieze group symmetry, p1m1, seen as an infinite set of parallel reflections along an axis.

## Definition

Every dihedral group is generated by a rotation r and a reflection; if the rotation is a rational multiple of a full rotation, then there is some integer n such that rn is the identity, and we have a finite dihedral group of order 2n. If the rotation is not a rational multiple of a full rotation, then there is no such n and the resulting group has infinitely many elements and is called Dih. It has presentations

$\langle r,s\mid s^{2}=1,srs=r^{-1}\rangle \,\!$ $\langle x,y\mid x^{2}=y^{2}=1\rangle \,\!$ and is isomorphic to a semidirect product of Z and Z/2, and to the free product Z/2 * Z/2. It is the automorphism group of the graph consisting of a path infinite to both sides. Correspondingly, it is the isometry group of Z (see also symmetry groups in one dimension), the group of permutations α: ZZ satisfying |i - j| = |α(i) - α(j)|, for all i, j in Z.

The infinite dihedral group can also be defined as the holomorph of the infinite cyclic group.

## Aliasing

An example of infinite dihedral symmetry is in aliasing of real-valued signals.

When sampling a function at frequency fs (intervals 1/fs), the following functions yield identical sets of samples: {sin(2π( f+Nfs) t + φ), N = 0, ±1, ±2, ±3,...}. Thus, the detected value of frequency f is periodic, which gives the translation element r = fs. The functions and their frequencies are said to be aliases of each other. Noting the trigonometric identity:

$\sin(2\pi (f+Nf_{s})t+\phi )=\left\{{\begin{array}{ll}+\sin(2\pi (f+Nf_{s})t+\phi ),&f+Nf_{s}\geq 0\\-\sin(2\pi |f+Nf_{s}|t-\phi ),&f+Nf_{s}<0\\\end{array}}\right.$ we can write all the alias frequencies as positive values:  | f+N fs|.  This gives the reflection (f) element, namely ff.  For example, with f = 0.6fs  and  N = −1,  f+Nfs = −0.4fs  reflects to  0.4fs, resulting in the two left-most black dots in the figure.[note 1]  The other two dots correspond to N = −2  and  N = 1. As the figure depicts, there are reflection symmetries, at 0.5fs,  fs,  1.5fs,  etc.  Formally, the quotient under aliasing is the orbifold [0, 0.5fs], with a Z/2 action at the endpoints (the orbifold points), corresponding to reflection.