finite reflection group
   HOME

TheInfoList



OR:

In
group theory In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field ...
and
geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
, a reflection group is a
discrete group In mathematics, a topological group ''G'' is called a discrete group if there is no limit point in it (i.e., for each element in ''G'', there is a neighborhood which only contains that element). Equivalently, the group ''G'' is discrete if and on ...
which is generated by a set of reflections of a finite-dimensional
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
. The symmetry group of a
regular polytope In mathematics, a regular polytope is a polytope whose symmetry group acts transitively on its flags, thus giving it the highest degree of symmetry. All its elements or -faces (for all , where is the dimension of the polytope) — cells, f ...
or of a
tiling Tiling may refer to: *The physical act of laying tiles *Tessellations Computing *The compiler optimization of loop tiling *Tiled rendering, the process of subdividing an image by regular grid *Tiling window manager People *Heinrich Sylvester The ...
of the Euclidean space by congruent copies of a regular polytope is necessarily a reflection group. Reflection groups also include
Weyl group In mathematics, in particular the theory of Lie algebras, the Weyl group (named after Hermann Weyl) of a root system Φ is a subgroup of the isometry group of that root system. Specifically, it is the subgroup which is generated by reflections th ...
s and crystallographic
Coxeter group In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean refl ...
s. While the
orthogonal group In mathematics, the orthogonal group in dimension , denoted , is the Group (mathematics), group of isometry, distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by ...
is generated by reflections (by the
Cartan–Dieudonné theorem In mathematics, the Cartan–Dieudonné theorem, named after Élie Cartan and Jean Dieudonné, establishes that every orthogonal transformation in an ''n''-dimensional symmetric bilinear space can be described as the composition of at most ''n'' r ...
), it is a continuous group (indeed,
Lie group In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additio ...
), not a discrete group, and is generally considered separately.


Definition

Let ''E'' be a finite-dimensional
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
. A finite reflection group is a subgroup of the
general linear group In mathematics, the general linear group of degree ''n'' is the set of invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, ...
of ''E'' which is generated by a set of orthogonal
reflection Reflection or reflexion may refer to: Science and technology * Reflection (physics), a common wave phenomenon ** Specular reflection, reflection from a smooth surface *** Mirror image, a reflection in a mirror or in water ** Signal reflection, in ...
s across hyperplanes passing through the origin. An affine reflection group is a discrete subgroup of the
affine group In mathematics, the affine group or general affine group of any affine space over a field is the group of all invertible affine transformations from the space into itself. It is a Lie group if is the real or complex field or quaternions. Relat ...
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 Fields may refer to: Music *Fields (band), an indie rock band formed in 2006 *Fields (progressive rock band), a progressive rock band formed in 1971 * ''Fields'' (album), an LP by Swedish-based indie rock band Junip (2010) * "Fields", a song by ...
, leading to
complex reflection group In mathematics, a complex reflection group is a finite group acting on a finite-dimensional complex vector space that is generated by complex reflections: non-trivial elements that fix a complex hyperplane pointwise. Complex reflection groups arise ...
s and analogues of reflection groups over a
finite field In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subtr ...
.


Examples


Plane

In two dimensions, the finite reflection groups are the
dihedral group In mathematics, a dihedral group is the group of symmetries of a regular polygon, which includes rotations and reflections. Dihedral groups are among the simplest examples of finite groups, and they play an important role in group theory, ge ...
s, which are generated by reflection in two lines that form an angle of 2\pi/n and correspond to the
Coxeter diagram Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century. Biography Coxeter was born in Kensington to ...
I_2(n). Conversely, the cyclic
point groups in two dimensions In geometry, a two-dimensional point group or rosette group is a group of geometric symmetries (isometries) that keep at least one point fixed in a plane. Every such group is a subgroup of the orthogonal group O(2), including O(2) itself. Its ...
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 group In mathematics, a frieze or frieze pattern is a two-dimensional design that repeats in one direction. Such patterns occur frequently in architecture and decorative art. Frieze patterns can be classified into seven types according to their symmetri ...
s *\infty\infty and *22\infty and the
wallpaper group A wallpaper is a mathematical object covering a whole Euclidean plane by repeating a motif indefinitely, in manner that certain isometries keep the drawing unchanged. To a given wallpaper there corresponds a group of such congruent transformatio ...
s **, *2222, *333, *442 and *632. 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.


Space

Finite reflection groups are the
point groups In geometry, a point group is a mathematical group of symmetry operations ( isometries in a Euclidean space) that have a fixed point in common. The coordinate origin of the Euclidean space is conventionally taken to be a fixed point, and every ...
''Cnv'', ''Dnh'', and the
symmetry group In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the ambient ...
s of the five
Platonic solid In geometry, a Platonic solid is a convex, regular polyhedron in three-dimensional Euclidean space. Being a regular polyhedron means that the faces are congruent (identical in shape and size) regular polygons (all angles congruent and all edges c ...
s. Dual regular polyhedra (cube and octahedron, as well as dodecahedron and icosahedron) give rise to isomorphic symmetry groups. The classification of finite reflection groups of R3 is an instance of the
ADE classification In mathematics, the ADE classification (originally ''A-D-E'' classifications) is a situation where certain kinds of objects are in correspondence with simply laced Dynkin diagrams. The question of giving a common origin to these classifications, r ...
.


Relation with Coxeter groups

A reflection group ''W'' admits a
presentation A presentation conveys information from a speaker to an audience. Presentations are typically demonstrations, introduction, lecture, or speech meant to inform, persuade, inspire, motivate, build goodwill, or present a new idea/product. Presenta ...
of a special kind discovered and studied by H. S. M. Coxeter. The reflections in the faces of a fixed
fundamental Fundamental may refer to: * Foundation of reality * Fundamental frequency, as in music or phonetics, often referred to as simply a "fundamental" * Fundamentalism, the belief in, and usually the strict adherence to, the simple or "fundamental" idea ...
"chamber" are generators ''r''''i'' of ''W'' of order 2. All relations between them formally follow from the relations : (r_i r_j)^ = 1, 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 \pi/c_ is a
rotation Rotation, or spin, is the circular movement of an object around a '' central axis''. A two-dimensional rotating object has only one possible central axis and can rotate in either a clockwise or counterclockwise direction. A three-dimensional ...
by the angle 2\pi/c_ fixing the subspace ''H''''i'' ∩ ''H''''j'' of codimension 2. Thus, viewed as an abstract group, every reflection group is a
Coxeter group In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean refl ...
.


Finite fields

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 -1=1 so reflections are the identity). Geometrically, this amounts to including
shear Shear may refer to: Textile production *Animal shearing, the collection of wool from various species **Sheep shearing *The removal of nap during wool cloth production Science and technology Engineering *Shear strength (soil), the shear strength ...
s in a hyperplane. Reflection groups over finite fields of characteristic not 2 were classified by .


Generalizations

Discrete
isometry group In mathematics, the isometry group of a metric space is the set of all bijective isometries (i.e. bijective, distance-preserving maps) from the metric space onto itself, with the function composition as group operation. Its identity element is the ...
s of more general
Riemannian manifold In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real manifold, real, smooth manifold ''M'' equipped with a positive-definite Inner product space, inner product ...
s generated by reflections have also been considered. The most important class arises from
Riemannian symmetric space In mathematics, a symmetric space is a Riemannian manifold (or more generally, a pseudo-Riemannian manifold) whose group of symmetries contains an inversion symmetry about every point. This can be studied with the tools of Riemannian geometry, ...
s of rank 1: the
n-sphere In mathematics, an -sphere or a hypersphere is a topological space that is homeomorphic to a ''standard'' -''sphere'', which is the set of points in -dimensional Euclidean space that are situated at a constant distance from a fixed point, cal ...
''S''''n'', corresponding to finite reflection groups, the Euclidean space R''n'', corresponding to affine reflection groups, and the
hyperbolic space In mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to -1. It is homogeneous, and satisfies the stronger property of being a symmetric space. Th ...
''H''''n'', where the corresponding groups are called hyperbolic reflection groups. In two dimensions,
triangle group In mathematics, a triangle group is a group that can be realized geometrically by sequences of reflections across the sides of a triangle. The triangle can be an ordinary Euclidean triangle, a triangle on the sphere, or a hyperbolic triangle ...
s include reflection groups of all three kinds.


See also

*
Hyperplane arrangement In geometry and combinatorics, an arrangement of hyperplanes is an arrangement of a finite set ''A'' of hyperplanes in a linear, affine, or projective space ''S''. Questions about a hyperplane arrangement ''A'' generally concern geometrical, top ...
*
Chevalley–Shephard–Todd theorem In mathematics, the Chevalley–Shephard–Todd theorem in invariant theory of finite groups states that the ring of invariants of a finite group acting on a complex vector space is a polynomial ring if and only if the group is generated by pseudo ...
* Reflection groups are related to
kaleidoscope A kaleidoscope () is an optical instrument with two or more reflecting surfaces (or mirrors) tilted to each other at an angle, so that one or more (parts of) objects on one end of these mirrors are shown as a regular symmetrical pattern when v ...
s.


References


Notes


Bibliography

* * * *


Textbooks

* * *


External links

* *{{eom, id=Reflection_group, title=Reflection group *