 Coxeter group

A Coxeter group is a group with a presentationwhere $m_{ii}=1$ and $m_{ij}=m_{ji}\in \{2,3,\dots ,\infty \}$ for $i\ne j$. The pair consisting of $W$ and its distinguished generating reflections is a Coxeter system.

A Coxeter group is a special type of group that can be defined geometrically using reflections in Euclidean spaces. These groups are named after H.S.M. Coxeter, who studied their properties and relationships to various geometrical structures. ### Basic Definition: A Coxeter group is defined by a set of generators subjected to specific relations. These relations are based on the angles between the reflections corresponding to the generators.