irreducible Coxeter group