コクセター群
is one of the defining relations of the Coxeter group.