 Longest element of a finite 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_{0}w)=\ell (w_0)-\ell (w)$.