The H4 group is a Coxeter group. Their relations results of a Matrix, the Coxetermatrix. The Matrix with i lines and j columns gives the following relations:
-the relation mii means: (r_ir_i)^1=1 for all i
-and other generators r_i, r_j commute.
H4 has the following presentation:
H3 = <x,y,z | x^2 = y^2 = z^2 = (xy)^2 = (xz)^2 =(yz)^2 = 1 >
not found yet