A group generated by the elements Pi with i in {1,2, ... n}, subject to the relations

(PiPj)^Mij = 1,

where Mij are the elements of a Coxeter matrix.

--back to combinatorics--