Longest element of a Coxeter group (source code)

= Longest element of a Coxeter group
{title2=$w_0$}
{wiki}

= Longest element of a finite Coxeter group
{synonym}

The longest element $w_0$ is the unique element of maximal <Coxeter length> in a finite <Coxeter group>. It is an involution and satisfies $\ell(w_0w)=\ell(w_0)-\ell(w)$.