Exercice 2, § 1

Soient (W, S) un système de Coxeter et X une partie de S. Montrer que pour que $W_X$ soit distingué dans W, il faut et il suffit que tout élément de X commute avec tout élément de S — X.