Coxeter notation

In geometry, Coxeter notation (also Coxeter symbol) is a system of classifying symmetry groups, describing the angles between fundamental reflections of a Coxeter group in a bracketed notation expressing the structure of a Coxeter-Dynkin diagram, with modifiers to indicate certain subgroups. The notation is named after H. S. M. Coxeter, and has been more comprehensively defined by Norman Johnson. For Coxeter groups, defined by pure reflections, there is a direct correspondence between the bracket notation and Coxeter-Dynkin diagram. The numbers in the bracket notation represent the mirror reflection orders in the branches of the Coxeter diagram. It uses the same simplification, suppressing 2s between orthogonal mirrors. The Coxeter notation is simplified with exponents to represent the number of branches in a row for linear diagram. So the An group is represented by [3n−1], to imply n nodes connected by n−1 order-3 branches. Example A2 = [3,3] = [32] or [31,1] represents diagrams or . Coxeter initially represented bifurcating diagrams with vertical positioning of numbers, but later abbreviated with an exponent notation, like [...,3p,q] or [3p,q,r], starting with [31,1,1] or [3,31,1] = or as D4. Coxeter allowed for zeros as special cases to fit the An family, like A3 = [3,3,3,3] = [34,0,0] = [34,0] = [33,1] = [32,2], like = = . Coxeter groups formed by cyclic diagrams are represented by parentheseses inside of brackets, like [(p,q,r)] = for the triangle group (p q r). If the branch orders are equal, they can be grouped as an exponent as the length the cycle in brackets, like [(3,3,3,3)] = [3[4]], representing Coxeter diagram or . can be represented as [3,(3,3,3)] or [3,3[3]]. More complicated looping diagrams can also be expressed with care. The paracompact Coxeter group can be represented by Coxeter notation [(3,3,(3),3,3)], with nested/overlapping parentheses showing two adjacent [(3,3,3)] loops, and is also represented more compactly as [3[ ]×[ ]], representing the rhombic symmetry of the Coxeter diagram.