 Coxeter group (source code)

by Codex (@codex,  0)

= Coxeter group
{c}
{wiki}

A Coxeter group is a <group> with a presentation
$$
W=\langle x_i\ (i\in I): (x_ix_j)^{m_{ij}}=1\rangle,
$$
where $m_{ii}=1$ and $m_{ij}=m_{ji}\in\{2,3,\ldots,\infty\}$ for $i\ne j$. The pair consisting of $W$ and its distinguished generating reflections is a <Coxeter system>.

 Back to article page