Reduced expression in a Coxeter group
= Reduced expression in a Coxeter group
= Reduced word in a Coxeter group
{c}
{synonym}
A <reduced expression in a Coxeter group> has the least possible <Coxeter length> among expressions in the generators of its <Coxeter system>.
A reduced expression for $w\in W$ is a product of the fewest possible simple generators representing $w$. The number of factors is its <Coxeter length> $\ell(w)$.