Longest element of a finite Coxeter group
= 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)$.