Coxeter graph

The Coxeter graph has vertex set $I$, joins $i$ and $j$ when $m_{ij}\ge 3$, and labels the edge by $m_{ij}$ when $m_{ij}>3$. A Coxeter system is irreducible exactly when this graph is connected.

In the crystallographic convention, a Coxeter graph is admissible when it is realized by linearly independent unit vectors $v_i$ in a Euclidean space, with nonpositive mutual inner products and $4(v_i,v_j{)}^2=n_{ij}\in \{0,1,2,3\}$ for distinct vertices. The number $n_{ij}$ records a single, double or triple connection; equivalently, the displayed Gram matrix is positive-definite. In edge-label notation the nonzero connections have labels $3,4,6$. Forgetting multiplicity, the underlying graph is a forest: for any cycle of $k\ge 3$ distinct vertices, the sum of the corresponding unit vectors would have squared norm at most $k-k=0$, contradicting their linear independence. Multiple lines on one connection are labels and are not length-two cycles. This is the convention of Wehler's Lie algebra notes, section 6.3.

An irreducible Coxeter system is one whose Coxeter graph is connected. The connected components of a Coxeter graph give the direct-product decomposition of its Coxeter group.

The type $E(p,q,k)$ graph is a simply-laced tree with one trivalent vertex and arms containing $p$, $q$, and $k$ vertices beyond that vertex.