In group theory and geometry, a **reflection group** is a discrete group which is generated by a set of reflections of a finite-dimensional Euclidean space. The symmetry group of a regular polytope or of a tiling of the Euclidean space by congruent copies of a regular polytope is necessarily a reflection group. Reflection groups also include Weyl groups and crystallographic Coxeter groups. While the orthogonal group is generated by reflections (by the Cartan–Dieudonné theorem), it is a continuous group (indeed, Lie group), not a discrete group, and is generally considered separately.

Let *E* be a finite-dimensional Euclidean space. A **finite reflection group** is a subgroup of the general linear group of *E* which is generated by a set of orthogonal reflections across hyperplanes passing through the origin. An **affine reflection group** is a discrete subgroup of the affine group of *E* that is generated by a set of *affine reflections* of *E* (without the requirement that the reflection hyperplanes pass through the origin).

The corresponding notions can be defined over other fields, leading to **complex reflection groups** and analogues of reflection groups over a finite field.

In two dimensions, the finite reflection groups are the dihedral groups, which are generated by reflection in two lines that form an angle of and correspond to the Coxeter diagram Conversely, the cyclic point groups in two dimensions are *not* generated by reflections, and indeed contain no reflections – they are however subgroups of index 2 of a dihedral group.

Infinite reflection groups include the frieze groups and and the wallpaper groups , ,, and . If the angle between two lines is an irrational multiple of pi, the group generated by reflections in these lines is infinite and non-discrete, hence, it is not a reflection group.

Finite reflection groups are the point groups *C _{nv}*,

Reflection groups have deep relations with kaleidoscopes, as discussed in (Goodman 2004).

A reflection group *W* admits a presentation of a special kind discovered and studied by H. S. M. Coxeter. The reflections in the faces of a fixed fundamental "chamber" are generators *r*_{i} of *W* of order 2. All relations between them formally follow from the relations

expressing the fact that the product of the reflections *r*_{i} and *r*_{j} in two hyperplanes *H*_{i} and *H*_{j} meeting at an angle is a rotation by the angle fixing the subspace *H*_{i} ∩ *H*_{j} of codimension 2. Thus, viewed as an abstract group, every reflection group is a Coxeter group.

When working over finite fields, one defines a "reflection" as a map that fixes a hyperplane (otherwise for example there would be no reflections in characteristic 2, as so reflections are the identity). Geometrically, this amounts to including shears in a hyperplane. Reflection groups over finite fields of characteristic not 2 were classified in (Zalesskiĭ & Serežkin 1981).

Discrete isometry groups of more general Riemannian manifolds generated by reflections have also been considered. The most important class arises from Riemannian symmetric spaces of rank 1: the n-sphere *S*^{n}, corresponding to finite reflection groups, the Euclidean space **R**^{n}, corresponding to
affine reflection groups, and the hyperbolic space *H*^{n}, where the corresponding groups are called **hyperbolic reflection groups**. In two dimensions, triangle groups include reflection groups of all three kinds.

Standard references include (Humphreys 1992) and (Grove & Benson 1996).

- Coxeter, H.S.M. (1934), "Discrete groups generated by reflections",
*Ann. of Math.*,**35**: 588–621, doi:10.2307/1968753 - Coxeter, H.S.M. (1935), "The complete enumeration of finite groups of the form ",
*J. London Math. Soc.*,**10**: 21–25 - Goodman, Roe (April 2004), "The Mathematics of Mirrors and Kaleidoscopes" (PDF),
*American Mathematical Monthly*, doi:10.2307/4145238 - Humphreys, James E. (1992),
*Reflection groups and Coxeter groups*, Cambridge University Press, ISBN 978-0-521-43613-7 - Zalesskiĭ, Aleksandr E.; Serežkin, V N (1981), "Finite Linear Groups Generated by Reflections",
*Math. USSR Izv.*,**17**(3): 477–503, Bibcode:1981IzMat..17..477Z, doi:10.1070/IM1981v017n03ABEH001369 - Kane, Richard,
*Reflection groups and invariant theory (review)*(PDF) - Hartmann, Julia; Shepler, Anne V.,
*Jacobians of reflection groups*, arXiv:math/0405135, Bibcode:2004math......5135H - Dolgachev, Igor V.,
*Reflection groups in algebraic geometry*, arXiv:math.AG/0610938

- Hazewinkel, Michiel, ed. (2001) [1994], "Reflection group",
*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4

This page is based on a Wikipedia article written by authors
(here).

Text is available under the CC BY-SA 3.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.