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
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 α: Z → Z 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.
Read more about this topic: Infinite Dihedral Group
Famous quotes containing the word definition:
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)