Coxeter group

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions

This article is about a standard (though not very rudimentary) definition in group theory. The article text may, however, contain more than just the basic definition
VIEW: Definitions built on this | Facts about this: (facts closely related to Coxeter group, all facts related to Coxeter group) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a complete list of semi-basic definitions on this wiki

Definition

Symbol-free definition

A group is termed a Coxeter group if it can be equipped with a finite presentation given by the following relations:

The square of every generator
For some of the pairwise products of the generators, a certain power of that pairwise product

Definition with symbols

A group $G$ is termed a Coxeter group if it can be equipped with a finite presentation with generators $s_{i}$ and relations:

$s_{i}^{2}=1$
$(s_{i}s_{j})^{m_{ij}}=1$ where $m_{ij}$ is a function of $i$ and $j$ (for distinct $i$ and $j$ )

Alternatively we can consider a matrix $m_{ij}$ with the diagonal entries being $1$ and simply require that for each $i$ and $j$ (not necessarily distinct) $(s_{i}s_{j})^{m_{ij}}=1$ .

Such a presentation is termed a Coxeter presentation and the matrix of $m_{ij}$ s is termed a Coxeter matrix.

Relation with other properties

Stronger properties

Metaproperties

Direct products

This group property is direct product-closed, viz., the direct product of an arbitrary (possibly infinite) family of groups each having the property, also has the property
View other direct product-closed group properties

A direct product of Coxeter groups is a Coxeter group. The Coxeter matrix for the direct product is simply the block concatenation of the Coxeter matrices for the individual groups.