Difference between revisions of "ApCoCoA-1:Coxeter groupsH"

From ApCoCoAWiki
(New page: === <div id="Coxeter_groups">Coxeter Group H4</div> === ==== Description ==== The H4 group is a Coxeter group. Their relations results of a Matri...)
 
Line 13: Line 13:
 
H4 has the following presentation:
 
H4 has the following presentation:
  
  H3 = <x,y,z | x^2 = y^2 = z^2 = (xy)^2 = (xz)^2 =(yz)^2 = 1 >
+
  H4 = <v,x,y,z | v^2 = x^2 = y^2 = z^2 = (vx)^5 =(vy)^2 = (vz)^2 =(xy)^3 = (xz)^2 =(yz)^3 = 1>
  
 
==== Reference ====
 
==== Reference ====

Revision as of 14:58, 25 August 2014

Description

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:

<r_1,...,r_n|(r_ir_j)^m_ij

-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:

H4 = <v,x,y,z | v^2 = x^2 = y^2 = z^2 = (vx)^5 =(vy)^2 = (vz)^2 =(xy)^3 = (xz)^2 =(yz)^3 = 1>

Reference

not found yet

Computation

Example in Symbolic Data Format