Coxeter notation

Encyclopedia

In geometry

,

s, describing the angles between with fundamental reflections of a Coxeter group

. It uses a bracketed notation, with modifiers to indicate certain subgroups. The notation is named after H. S. M. Coxeter.

In one dimension or higher, the

In two dimensions or higher, the

The nonabelian dihedral group

The infinite dihedral group is obtained when the angle goes to zero, so [∞], D

In three or higher dimension, the full orthorhombic group

Geometry

Geometry arose as the field of knowledge dealing with spatial relationships. Geometry was one of the two fields of pre-modern mathematics, the other being the study of numbers ....

,

**Coxeter notation**is a system of classifying symmetry groupSymmetry group

The symmetry group of an object is the group of all isometries under which it is invariant with composition as the operation...

s, describing the angles between with fundamental reflections of a Coxeter group

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 mirror symmetries. Indeed, the finite Coxeter groups are precisely the finite Euclidean reflection groups; the symmetry groups of regular polyhedra are an example...

. It uses a bracketed notation, with modifiers to indicate certain subgroups. The notation is named after H. S. M. Coxeter.

In one dimension or higher, the

*bilateral group***[ ]**represents a single mirror symmetry, D_{1}, symmetry order 2. It is represented as a Coxeter–Dynkin diagram with a single node, . The identity group is the direct subgroup**[ ]**, C^{+}_{1}, symmetry order 1.In two dimensions or higher, the

*rectangular group***[2]**, D_{2}, represented as a direct product**[ ]x[ ]**, the product of two bilateral groups, represents two orthogonal mirrors, and Coxeter diagram, . The*rhombic group*,**[2]**, half of the rectangular group, C^{+}_{2}, symmetry order 2.The nonabelian dihedral group

**[p]**, D_{p}, of order 2*p*, is generated by two mirrors at angle π/*p*, represented by Coxeter diagram . The cyclic subgroup**[p]**,^{+}*C*_{p}, of order*p*, generated by a rotation angle of π/*p*.The infinite dihedral group is obtained when the angle goes to zero, so [∞], D

_{∞}represents two parallel mirrors and has a Coxeter diagram . The apeirogonal group [∞]^{+}, isomorphic to the additive group of the integers, is generated by a single nonzero translation.In three or higher dimension, the full orthorhombic group

**[2,2]**,*D*_{1}*xD*_{2}, order 8, represents three orthogonal mirrors, and also can be represented by Coxeter diagram as three separate dots . There is a semidirect subgroup, the orthorhombic group,**[2,2**,^{+}]*D*_{1}*xC*_{2}, of order 4. Others are the pararhombic group**[2,2]**, also order 4, and finally the^{+}*central group***[2**of order 2.^{+},2^{+}]