Longest element of a finite Coxeter group (source code)

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

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)$.