Coxeter–Dynkin diagram

File:Finite coxeter.svg

Coxeter–Dynkin diagrams for the fundamental finite Coxeter groups

File:Affine coxeter.svg

Coxeter–Dynkin diagrams for the fundamental affine Coxeter groups

In geometry, a Coxeter–Dynkin diagram (or Coxeter diagram, Coxeter graph) is a graph with numerically labeled edges (called branches) representing a Coxeter group or sometimes a uniform polytope or uniform tiling constructed from the group. A class of closely related objects is the Dynkin diagrams, which differ from Coxeter diagrams in two respects: firstly, branches labeled "4" or greater are directed, while Coxeter diagrams are undirected; secondly, Dynkin diagrams must satisfy an additional (crystallographic) restriction, namely that the only allowed branch labels are 2, 3, 4, and 6. Dynkin diagrams correspond to and are used to classify root systems and therefore semisimple Lie algebras.

Description

A Coxeter group is a group that admits a presentation: $$⟨r_0,r_1,\dots ,r_n\mid (r_i{r}_j{)}^{m_{i,j}}=1⟩$$ where the m_i,j are the elements of some symmetric matrix M which has 1s on its diagonal. This matrix M, the Coxeter matrix, completely determines the Coxeter group. Since the Coxeter matrix is symmetric, it can be viewed as the adjacency matrix of an edge-labeled graph that has vertices corresponding to the generators r_i, and edges labeled with m_i,j between the vertices corresponding to r_i and r_j. In order to simplify these diagrams, two changes can be made:

• Edges that are labeled with 2 can be omitted, with the missing edges being implied to be 2s. A label 2 indicates that the corresponding two generators commute; 2 is the smallest number that can be used to label an edge.
• Edges labeled 3 can be left unlabeled, with the implication that an unlabeled edge acts as a 3.

The resulting graph is a Coxeter-Dynkin diagram that describes the considered Coxeter group.

Schläfli matrix

Every Coxeter diagram has a corresponding Schläfli matrix (so named after Ludwig Schläfli), A, with matrix elements a_i,j = a_j,i = −2 cos(π/p_i,j) where p_i,j is the branch order between mirrors i and j; that is, π/p_i,j is the dihedral angle between mirrors i and j. As a matrix of cosines, A is also called a Gramian matrix. All Coxeter group Schläfli matrices are symmetric because their root vectors are normalized. A is closely related to the Cartan matrix, used in the similar but directed graph: the Dynkin diagram, in the limited cases of p = 2,3,4, and 6, which are generally not symmetric. The determinant of the Schläfli matrix is called the Schläflian; the Schläflian and its sign determine whether the group is finite (positive), affine (zero), or indefinite (negative). This rule is called Schläfli's Criterion. The eigenvalues of the Schläfli matrix determine whether a Coxeter group is of finite type (all positive), affine type (all non-negative, at least one is zero), or indefinite type (otherwise). The indefinite type is sometimes further subdivided, e.g. into hyperbolic and other Coxeter groups. However, there are multiple non-equivalent definitions for hyperbolic Coxeter groups. We use the following definitions:

• A Coxeter group with connected diagram is hyperbolic if it is neither of finite nor affine type, but every proper connected subdiagram is of finite or affine type.
• A hyperbolic Coxeter group is compact if all its subgroups are finite (i.e. have positive determinants), and paracompact if all its subgroups are finite or affine (i.e. have nonnegative determinants).

Finite and affine groups are also called elliptical and parabolic respectively. Hyperbolic groups are also called Lannér, after F. Lannér who enumerated the compact hyperbolic groups in 1950, and Koszul (or quasi-Lannér) for the paracompact groups.

Rank 2 Coxeter groups

The type of a rank 2 Coxeter group, i.e. generated by two different mirrors, is fully determined by the determinant of the Schläfli matrix, as this determinant is simply the product of the eigenvalues: finite (positive determinant), affine (zero determinant), or hyperbolic (negative determinant) type. Coxeter uses an equivalent bracket notation which lists sequences of branch orders as a substitute for the node-branch graphic diagrams. Rational solutions [p/q], File:CDel node.pngFile:CDel p.pngFile:CDel rat.pngFile:CDel q.pngFile:CDel node.png, also exist, with gcd(p,q) = 1; these define overlapping fundamental domains. For example, 3/2, 4/3, 5/2, 5/3, 5/4, and 6/5.

Type	Finite					Affine	Hyperbolic
Geometry	File:Dihedral symmetry domains 1.png	File:Dihedral symmetry domains 2.png	File:Dihedral symmetry domains 3.png	File:Dihedral symmetry domains 4.png	...	File:Dihedral symmetry domains infinity.png	File:Horocycle mirrors.png	File:Dihedral symmetry ultra.png
Coxeter diagram Bracket notation	File:CDel node c1.png [ ]	File:CDel node c1.pngFile:CDel 2.pngFile:CDel node c3.png [2]	File:CDel node c1.pngFile:CDel 3.pngFile:CDel node c3.png [3]	File:CDel node c1.pngFile:CDel 4.pngFile:CDel node c3.png [4]	File:CDel node c1.pngFile:CDel p.pngFile:CDel node c3.png [p]	File:CDel node c1.pngFile:CDel infin.pngFile:CDel node c3.png [∞]	File:CDel node c2.pngFile:CDel infin.pngFile:CDel node c3.png [∞]	File:CDel node c2.pngFile:CDel ultra.pngFile:CDel node c3.png [iπ/λ]
Order	2	4	6	8	2p	∞
Mirror lines are colored to correspond to Coxeter diagram nodes. Fundamental domains are alternately colored.

Rank 2 Coxeter group diagrams
Order p	Group	Coxeter diagram		Schläfli matrix
				$\left[\begin{array}{cc}2& a_{12}\\ a_{21}& 2\end{array}\right]$	Determinant $(4-a_{21}{a}_{12})$
Finite (Determinant > 0)
2	I2(2) = A1×A1	File:CDel node.pngFile:CDel 2.pngFile:CDel node.png	[2]	$\left[\begin{array}{cc}2& 0\\ 0& 2\end{array}\right]$	4
3	I2(3) = A2	File:CDel node.pngFile:CDel 3.pngFile:CDel node.png	[3]	$\left[\begin{array}{cc}2& -1\\ -1& 2\end{array}\right]$	3
3/2		File:CDel node.pngFile:CDel 3x.pngFile:CDel rat.pngFile:CDel 2x.pngFile:CDel node.png	[3/2]	$\left[\begin{array}{cc}2& 1\\ 1& 2\end{array}\right]$
4	I2(4) = B2	File:CDel node.pngFile:CDel 4.pngFile:CDel node.png	[4]	$\left[\begin{array}{cc}2& -\sqrt{2}\\ -\sqrt{2}& 2\end{array}\right]$	2
4/3		File:CDel node.pngFile:CDel 4.pngFile:CDel rat.pngFile:CDel 3x.pngFile:CDel node.png	[4/3]	$\left[\begin{array}{cc}2& \sqrt{2}\\ \sqrt{2}& 2\end{array}\right]$
5	I2(5) = H2	File:CDel node.pngFile:CDel 5.pngFile:CDel node.png	[5]	$\left[\begin{array}{cc}2& -\varphi \\ -\varphi & 2\end{array}\right]$	$(5-\sqrt{5})/2$ ≈ 1.38196601125
5/4		File:CDel node.pngFile:CDel 5.pngFile:CDel rat.pngFile:CDel 4.pngFile:CDel node.png	[5/4]	$\left[\begin{array}{cc}2& \varphi \\ \varphi & 2\end{array}\right]$
5/2		File:CDel node.pngFile:CDel 5-2.pngFile:CDel node.png	[5/2]	$\left[\begin{array}{cc}2& 1-\varphi \\ 1-\varphi & 2\end{array}\right]$	$(5+\sqrt{5})/2$ ≈ 3.61803398875
5/3		File:CDel node.pngFile:CDel 5-3.pngFile:CDel node.png	[5/3]	$\left[\begin{array}{cc}2& \varphi -1\\ \varphi -1& 2\end{array}\right]$
6	I2(6) = G2	File:CDel node.pngFile:CDel 6.pngFile:CDel node.png	[6]	$\left[\begin{array}{cc}2& -\sqrt{3}\\ -\sqrt{3}& 2\end{array}\right]$	1
6/5		File:CDel node.pngFile:CDel 6.pngFile:CDel rat.pngFile:CDel 5.pngFile:CDel node.png	[6/5]	$\left[\begin{array}{cc}2& \sqrt{3}\\ \sqrt{3}& 2\end{array}\right]$
8	I2(8)	File:CDel node.pngFile:CDel 8.pngFile:CDel node.png	[8]	$\left[\begin{array}{cc}2& -\sqrt{2+\sqrt{2}}\\ -\sqrt{2+\sqrt{2}}& 2\end{array}\right]$	$2-\sqrt{2}$ ≈ 0.58578643763
10	I2(10)	File:CDel node.pngFile:CDel 10.pngFile:CDel node.png	[10]	$\left[\begin{array}{cc}2& -\sqrt{(5+\sqrt{5})/2}\\ -\sqrt{(5+\sqrt{5})/2}& 2\end{array}\right]$	$(3-\sqrt{5})/2$ ≈ 0.38196601125
12	I2(12)	File:CDel node.pngFile:CDel 12.pngFile:CDel node.png	[12]	$\left[\begin{array}{cc}2& -\sqrt{2+\sqrt{3}}\\ -\sqrt{2+\sqrt{3}}& 2\end{array}\right]$	$2-\sqrt{3}$ ≈ 0.26794919243
p	I2(p)	File:CDel node.pngFile:CDel p.pngFile:CDel node.png	[p]	$\left[\begin{array}{cc}2& -2\cos (\pi /p)\\ -2\cos (\pi /p)& 2\end{array}\right]$	$4{\sin }^2(\pi /p)$
Affine (Determinant = 0)
∞	I2(∞) = ${\tilde{I}}_1$ = ${\tilde{A}}_1$	File:CDel node.pngFile:CDel infin.pngFile:CDel node.png	[∞]	$\left[\begin{array}{cc}2& -2\\ -2& 2\end{array}\right]$	0
Hyperbolic (Determinant ≤ 0)
∞		File:CDel node.pngFile:CDel infin.pngFile:CDel node.png	[∞]	$\left[\begin{array}{cc}2& -2\\ -2& 2\end{array}\right]$	0
∞		File:CDel node.pngFile:CDel ultra.pngFile:CDel node.png	[iπ/λ]	$\left[\begin{array}{cc}2& -2\cosh (2\lambda )\\ -2\cosh (2\lambda )& 2\end{array}\right]$	$-4{\sinh }^2(2\lambda )\le 0$

Geometric visualizations

The Coxeter–Dynkin diagram can be seen as a graphic description of the fundamental domain of mirrors. A mirror represents a hyperplane within a spherical, Euclidean, or hyperbolic space of given dimension. (In 2D spaces, a mirror is a line; in 3D, a mirror is a plane.) These visualizations show the fundamental domains for 2D and 3D Euclidean groups, and for 2D spherical groups. For each, the Coxeter diagram can be deduced by identifying the hyperplane mirrors and labelling their connectivity, ignoring 90-degree dihedral angles (order 2; see footnote [a] below).

File:Coxeter-dynkin plane groups.png Coxeter groups in the Euclidean plane with equivalent diagrams. Here, domain vertices are labeled as graph branches 1, 2, etc., and are colored by their reflection order (connectivity). Reflections are labeled as graph nodes R1, R2, etc. Reflections at 90 degrees are inactive in the sense that, together, they generate no new reflections; they are therefore not connected to each other by a branch on the diagram. Parallel mirrors are connected to each other by an ∞ labeled branch. The square of the prismatic group ${\tilde{I}}_1$×${\tilde{I}}_1$ is shown as a doubling of the ${\tilde{C}}_2$ triangle around its R2 side*, but can also be created as a rectangular domain from doubling the ${\tilde{G}}_2$ triangle around its R2 side*. The ${\tilde{A}}_2$ triangle is a doubling of the ${\tilde{G}}_2$ triangle around its R3 side*. *(this side disappears by doubling around itself)
File:Hyperbolic kaleidoscopes.png Many Coxeter groups in the hyperbolic plane can be extended from the Euclidean cases as a series of hyperbolic solutions.
File:Coxeter-Dynkin 3-space groups.png Coxeter groups in 3-space with diagrams. Mirrors (triangle faces) are labeled by opposite vertex: 0, ..., 3. Branches are colored by their reflection order. ${\tilde{C}}_3$ fills 1/48 of the cube. ${\tilde{B}}_3$ fills 1/24 of the cube. ${\tilde{A}}_3$ fills 1/12 of the cube.	File:Coxeter-Dynkin sphere groups.png Coxeter groups in the sphere with equivalent diagrams. One fundamental domain is outlined in yellow. Domain vertices (and graph branches) are colored by their reflection order.

Application to uniform polytopes

File:Coxeter diagram elements.png In constructing uniform polytopes, nodes are marked as active by a ring if a generator point is off the mirror, creating a new edge between a generator point and its mirror image. An unringed node represents an inactive mirror that generates no new points. A ring with no node is called a hole.

File:Kaleidoscopic construction of square.png Two orthogonal mirrors can be used to generate a square, File:CDel node 1.pngFile:CDel 2.pngFile:CDel node 1.png, seen here with a red generator point and 3 virtual copies across the mirrors. The generator has to be off both mirrors in this orthogonal case to generate an interior. The ring markup presumes active rings have generators equal distance from all mirrors, while a rectangle can also represent a nonuniform solution.

Coxeter–Dynkin diagrams can explicitly enumerate nearly all classes of uniform polytope and uniform tessellations. Every uniform polytope with pure reflective symmetry (all but a few special cases have pure reflectional symmetry) can be represented by a Coxeter–Dynkin diagram with permutations of markups. Each uniform polytope can be generated using such mirrors and a single generator point: mirror images create new points as reflections, then polytope edges can be defined between points and a mirror image point. Faces are generated by the repeated reflection of an edge eventually wrapping around to the original generator; the final shape, as well as any higher-dimensional facets, are likewise created by the face being reflected to enclose an area. To specify the generating vertex, one or more nodes are marked with rings, meaning that the vertex is not on the mirror(s) represented by the ringed node(s). (If two or more mirrors are marked, the vertex is equidistant from them.) A mirror is active (creates reflections) only with respect to points not on it. A diagram needs at least one active node to represent a polytope. An unconnected diagram (subgroups separated by order-2 branches, or orthogonal mirrors) requires at least one active node in each subgraph. All regular polytopes, represented by Schläfli symbol {p, q, r, ...}, can have their fundamental domains represented by a set of n mirrors with a related Coxeter–Dynkin diagram of a line of nodes and branches labeled by p, q, r, ..., with the first node ringed. Uniform polytopes with one ring correspond to generator points at the corners of the fundamental domain simplex. Two rings correspond to the edges of simplex and have a degree of freedom, with only the midpoint as the uniform solution for equal edge lengths. In general k-ring generator points are on (k-1)-faces of the simplex, and if all the nodes are ringed, the generator point is in the interior of the simplex. The special case of uniform polytopes with non-reflectional symmetry is represented by a secondary markup where the central dot of a ringed node is removed (called a hole). These shapes are alternations of polytopes with reflective symmetry, implying that every other vertex is deleted. The resulting polytope will have a subsymmetry of the original Coxeter group. A truncated alternation is called a snub.

• A single node represents a single mirror. This is called group A₁. If ringed this creates a line segment perpendicular to the mirror, represented as {}.
• Two unattached nodes represent two perpendicular mirrors. If both nodes are ringed, a rectangle can be created, or a square if the point is at equal distance from both mirrors.
• Two nodes attached by an order-n branch can create an n-gon if the point is on one mirror, and a 2n-gon if the point is off both mirrors. This forms the I₁(n) group.
• Two parallel mirrors can represent an infinite polygon I₁(∞) group, also called Ĩ₁.
• Three mirrors in a triangle form images seen in a traditional kaleidoscope and can be represented by three nodes connected in a triangle. Repeating examples will have branches labeled as (3 3 3), (2 4 4), (2 3 6), although the last two can be drawn as a line (with the 2 branches ignored). These will generate uniform tilings.
• Three mirrors can generate uniform polyhedra; including rational numbers gives the set of Schwarz triangles.
• Three mirrors with one perpendicular to the other two can form the uniform prisms.

File:Wythoffian construction diagram.svg There are 7 reflective uniform constructions within a general triangle, based on 7 topological generator positions within the fundamental domain. Every active mirror generates an edge, with two active mirrors have generators on the domain sides and three active mirrors has the generator in the interior. One or two degrees of freedom can be solved for a unique position for equal edge lengths of the resulting polyhedron or tiling.

File:Polyhedron truncation example3.png Example 7 generators on octahedral symmetry, fundamental domain triangle (4 3 2), with 8th snub generation as an alternation

The duals of the uniform polytopes are sometimes marked up with a perpendicular slash replacing ringed nodes, and a slash-hole for hole nodes of the snubs. For example, File:CDel node 1.pngFile:CDel 2.pngFile:CDel node 1.png represents a rectangle (as two active orthogonal mirrors), and File:CDel node f1.pngFile:CDel 2.pngFile:CDel node f1.png represents its dual polygon, the rhombus.

Examples with polyhedra and tilings

For example, the B₃ Coxeter group has a diagram: File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png. This is also called octahedral symmetry. There are 7 convex uniform polyhedra that can be constructed from this symmetry group and 3 from its alternation subsymmetries, each with a uniquely marked up Coxeter–Dynkin diagram. The Wythoff symbol represents a special case of the Coxeter diagram for rank 3 graphs, with all 3 branch orders named, rather than suppressing the order 2 branches. The Wythoff symbol is able to handle the snub form, but not general alternations without all nodes ringed.

The same constructions can be made on disjointed (orthogonal) Coxeter groups like the uniform prisms, and can be seen more clearly as tilings of dihedrons and hosohedra on the sphere, like this [6]×[] or [6,2] family:

In comparison, the [6,3], File:CDel node.pngFile:CDel 6.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png family produces a parallel set of 7 uniform tilings of the Euclidean plane, and their dual tilings. There are again 3 alternations and some half symmetry version.

In the hyperbolic plane [7,3], File:CDel node.pngFile:CDel 7.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png family produces a parallel set of uniform tilings, and their dual tilings. There is only 1 alternation (snub) since all branch orders are odd. Many other hyperbolic families of uniform tilings can be seen at uniform tilings in hyperbolic plane.

Very-extended Coxeter diagrams

One usage includes a very-extended definition from the direct Dynkin diagram usage which considers affine groups as extended, hyperbolic groups over-extended, and a third node as very-extended simple groups. These extensions are usually marked by an exponent of 1,2, or 3 + symbols for the number of extended nodes. This extending series can be extended backwards, by sequentially removing the nodes from the same position in the graph, although the process stops after removing branching node. The E₈ extended family is the most commonly shown example extending backwards from E₃ and forwards to E₁₁. The extending process can define a limited series of Coxeter graphs that progress from finite to affine to hyperbolic to Lorentzian. The determinant of the Cartan matrices determine where the series changes from finite (positive) to affine (zero) to hyperbolic (negative), and ending as a Lorentzian group, containing at least one hyperbolic subgroup. The noncrystallographic H_n groups forms an extended series where H₄ is extended as a compact hyperbolic and over-extended into a lorentzian group. The determinant of the Schläfli matrix by rank are:

• det(A₁ⁿ = [2ⁿ⁻¹]) = 2ⁿ (Finite for all n)
• det(A_n = [3ⁿ⁻¹]) = n + 1 (finite for all n)
• det(B_n = [4,3ⁿ⁻²]) = 2 (finite for all n)
• det(D_n = [3^n−3,1,1]) = 4 (finite for all n)

Determinants of the Schläfli matrix in exceptional series are:

• det(E_n = [3^n−3,2,1]) = 9 − n (finite for E₃ (= A₂A₁), E₄ (= A₄), E₅ (= D₅), E₆, E₇ and E₈, affine at E₉ (${\tilde{E}}_8$), hyperbolic at E₁₀)
• det([3^n−4,3,1]) = 2(8 − n) (finite for n = 4 to 7, affine (${\tilde{E}}_7$), and hyperbolic at n = 8.)
• det([3^n−4,2,2]) = 3(7 − n) (finite for n = 4 to 6, affine (${\tilde{E}}_6$), and hyperbolic at n = 7.)
• det(F_n = [3,4,3ⁿ⁻³]) = 5 − n (finite for F₃ (= B₃) to F₄, affine at F₅ (${\tilde{F}}_4$), hyperbolic at F₆)
• det(G_n = [6,3ⁿ⁻²]) = 3 − n (finite for G₂, affine at G₃ (${\tilde{G}}_2$), hyperbolic at G₄)

Smaller extended series

Finite	$A_2$	$C_2$	$G_2$	$A_3$	$B_3$	$C_3$	$H_4$
Rank n	[3[3],3n−3]	[4,4,3n−3]	Gn=[6,3n−2]	[3[4],3n−4]	[4,31,n−3]	[4,3,4,3n−4]	Hn=[5,3n−2]
2	[3] A2 File:CDel branch.png	[4] C2 File:CDel node.pngFile:CDel 4.pngFile:CDel node.png	[6] G2 File:CDel node.pngFile:CDel 6.pngFile:CDel node.png		[2] A12 File:CDel nodes.png	[4] C2 File:CDel node.pngFile:CDel 4.pngFile:CDel node.png	[5] H2 File:CDel node.pngFile:CDel 5.pngFile:CDel node.png
3	[3[3]] $A_2^{+}={\tilde{A}}_2$ File:CDel branch.pngFile:CDel split2.pngFile:CDel node c1.png	[4,4] $C_2^{+}={\tilde{C}}_2$ File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node c1.png	[6,3] $G_2^{+}={\tilde{G}}_2$ File:CDel node.pngFile:CDel 6.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node c1.png	[3,3]=A3 File:CDel node.pngFile:CDel split1.pngFile:CDel nodes.png	[4,3] B3 File:CDel nodes.pngFile:CDel split2-43.pngFile:CDel node.png	[4,3] C3 File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png	[5,3] H3 File:CDel node.pngFile:CDel 5.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png
4	[3[3],3] $A_2^{++}={\bar{P}}_3$ File:CDel branch.pngFile:CDel split2.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.png	[4,4,3] $C_2^{++}={\bar{R}}_3$ File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.png	[6,3,3] $G_2^{++}={\bar{V}}_3$ File:CDel node.pngFile:CDel 6.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.png	[3[4]] $A_3^{+}={\tilde{A}}_3$ File:CDel node.pngFile:CDel split1.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node c1.png	[4,31,1] $B_3^{+}={\tilde{B}}_3$ File:CDel nodes.pngFile:CDel split2-43.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node c1.png	[4,3,4] $C_3^{+}={\tilde{C}}_3$ File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node c1.png	[5,3,3] H4 File:CDel node.pngFile:CDel 5.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png
5	[3[3],3,3] A2+++ File:CDel branch.pngFile:CDel split2.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.pngFile:CDel 3.pngFile:CDel node c3.png	[4,4,3,3] C2+++ File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.pngFile:CDel 3.pngFile:CDel node c3.png	[6,3,3,3] G2+++ File:CDel node.pngFile:CDel 6.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.pngFile:CDel 3.pngFile:CDel node c3.png	[3[4],3] $A_3^{++}={\bar{P}}_4$ File:CDel node.pngFile:CDel split1.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.png	[4,32,1] $B_3^{++}={\bar{S}}_4$ File:CDel nodes.pngFile:CDel split2-43.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.png	[4,3,4,3] $C_3^{++}={\bar{R}}_4$ File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.png	[5,33] H5=${\bar{H}}_4$ File:CDel node.pngFile:CDel 5.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png
6				[3[4],3,3] A3+++ File:CDel node.pngFile:CDel split1.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.pngFile:CDel 3.pngFile:CDel node c3.png	[4,33,1] B3+++ File:CDel nodes.pngFile:CDel split2-43.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.pngFile:CDel 3.pngFile:CDel node c3.png	[4,3,4,3,3] C3+++ File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.pngFile:CDel 3.pngFile:CDel node c3.png	[5,34] H6 File:CDel node.pngFile:CDel 5.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png
Det(Mn)	3(3−n)	2(3−n)	3−n	4(4−n)	2(4−n)

Middle extended series

Finite	$A_4$	$B_4$	$C_4$	$D_4$	$F_4$	$A_5$	$B_5$	$D_5$
Rank n	[3[5],3n−5]	[4,3,3n−4,1]	[4,3,3,4,3n−5]	[3n−4,1,1,1]	[3,4,3n−3]	[3[6],3n−6]	[4,3,3,3n−5,1]	[31,1,3,3n−5,1]
3		[4,3−1,1] B2A1 File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 2.pngFile:CDel nodeb.png	[4,3] B3 File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png	[3−1,1,1,1] A13 File:CDel nodeabc.png	[3,4] B3 File:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node.png		[4,3,3] C3 File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png
4	[33] A4 File:CDel branch.pngFile:CDel 3ab.pngFile:CDel nodes.png	[4,3,3] B4 File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.png	[4,3,3] C4 File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png	[30,1,1,1] D4 File:CDel node.pngFile:CDel branch3.pngFile:CDel splitsplit2.pngFile:CDel node.png	[3,4,3] F4 File:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png		[4,3,3,3−1,1] B3A1 File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 2.pngFile:CDel nodeb.png	[31,1,3,3−1,1] A3A1 File:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 2.pngFile:CDel nodeb.png
5	[3[5]] $A_4^{+}={\tilde{A}}_4$ File:CDel branch.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node c1.png	[4,3,31,1] $B_4^{+}={\tilde{B}}_4$ File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.png	[4,3,3,4] $C_4^{+}={\tilde{C}}_4$ File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node.png	[31,1,1,1] $D_4^{+}={\tilde{D}}_4$ File:CDel node.pngFile:CDel branch3.pngFile:CDel splitsplit2.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node c1.png	[3,4,3,3] $F_4^{+}={\tilde{F}}_4$ File:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node c1.png	[34] A5 File:CDel node.pngFile:CDel split1.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.png	[4,3,3,3,3] B5 File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.png	[31,1,3,3] D5 File:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel branch.png
6	[3[5],3] $A_4^{++}={\bar{P}}_5$ File:CDel branch.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.png	[4,3,32,1] $B_4^{++}={\bar{S}}_5$ File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.png	[4,3,3,4,3] $C_4^{++}={\bar{R}}_5$ File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.png	[32,1,1,1] $D_4^{++}={\bar{Q}}_5$ File:CDel node.pngFile:CDel branch3.pngFile:CDel splitsplit2.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.png	[3,4,33] $F_4^{++}={\bar{U}}_5$ File:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.png	[3[6]] $A_5^{+}={\tilde{A}}_5$ File:CDel node.pngFile:CDel split1.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node c1.png	[4,3,3,31,1] $B_5^{+}={\tilde{B}}_5$ File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.png	[31,1,3,31,1] $D_5^{+}={\tilde{D}}_5$ File:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.png
7	[3[5],3,3] A4+++ File:CDel branch.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.pngFile:CDel 3.pngFile:CDel node c3.png	[4,3,33,1] B4+++ File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.pngFile:CDel 3a.pngFile:CDel nodea c3.png	[4,3,3,4,3,3] C4+++ File:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.pngFile:CDel 3.pngFile:CDel node c3.png	[33,1,1,1] D4+++ File:CDel node.pngFile:CDel branch3.pngFile:CDel splitsplit2.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.pngFile:CDel 3.pngFile:CDel node c3.png	[3,4,34] F4+++ File:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 4.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.pngFile:CDel 3.pngFile:CDel node c3.png	[3[6],3] $A_5^{++}={\bar{P}}_6$ File:CDel node.pngFile:CDel split1.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.png	[4,3,3,32,1] $B_5^{++}={\bar{S}}_6$ File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.png	[31,1,3,32,1] $D_5^{++}={\bar{Q}}_6$ File:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.png
8						[3[6],3,3] A5+++ File:CDel node.pngFile:CDel split1.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.pngFile:CDel 3.pngFile:CDel node c3.png	[4,3,3,33,1] B5+++ File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.pngFile:CDel 3a.pngFile:CDel nodea c3.png	[31,1,3,33,1] D5+++ File:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.pngFile:CDel 3a.pngFile:CDel nodea c3.png
Det(Mn)	5(5−n)	2(5−n)		4(5−n)	5−n	6(6−n)	4(6−n)

Some higher extended series

Finite	$A_6$	$B_6$	$D_6$	$E_6$	$A_7$	$B_7$	$D_7$	$E_7$	$E_8$
Rank n	[3[7],3n−7]	[4,33,3n−6,1]	[31,1,3,3,3n−6,1]	[3n−5,2,2]	[3[8],3n−8]	[4,34,3n−7,1]	[31,1,3,3,3,3n−7,1]	[3n−5,3,1]	En=[3n−4,2,1]
3									[3−1,2,1] E3=A2A1 File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 2.pngFile:CDel nodeb.png
4				[3−1,2,2] A22 File:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.png				[3−1,3,1] A3A1 File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 2.pngFile:CDel nodeb.png	[30,2,1] E4=A4 File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.png
5		[4,3,3,3,3−1,1] B4A1 File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 2.pngFile:CDel nodeb.png	[31,1,3,3,3−1,1] D4A1 File:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 2.pngFile:CDel nodeb.png	[30,2,2] A5 File:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node.png				[30,3,1] A5 File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.png	[31,2,1] E5=D5 File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.png
6	[35] A6 File:CDel branch.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.png	[4,34] B6 File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.png	[31,1,3,3,3] D6 File:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.png	[31,2,2] E6 File:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.png		[4,3,3,3,3,3−1,1] B5A1 File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 2.pngFile:CDel nodeb.png	[31,1,3,3,3,3−1,1] D5A1 File:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 2.pngFile:CDel nodeb.png	[31,3,1] D6 File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.png	[32,2,1] E6 * File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.png
7	[3[7]] $A_6^{+}={\tilde{A}}_6$ File:CDel branch.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node c1.png	[4,33,31,1] $B_6^{+}={\tilde{B}}_6$ File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.png	[31,1,3,3,31,1] $D_6^{+}={\tilde{D}}_6$ File:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.png	[32,2,2] $E_6^{+}={\tilde{E}}_6$ File:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node c1.png	[36] A7 File:CDel node.pngFile:CDel split1.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.png	[4,35] B7 File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.png	[31,1,3,3,3,30,1] D7 File:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.png	[32,3,1] E7 * File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.png	[33,2,1] E7 * File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.png
8	[3[7],3] $A_6^{++}={\bar{P}}_7$ File:CDel branch.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.png	[4,33,32,1] $B_6^{++}={\bar{S}}_7$ File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.png	[31,1,3,3,32,1] $D_6^{++}={\bar{Q}}_7$ File:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.png	[33,2,2] $E_6^{++}={\bar{T}}_7$ File:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.png	[3[8]] $A_7^{+}={\tilde{A}}_7$ * File:CDel node.pngFile:CDel split1.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node c1.png	[4,34,31,1] $B_7^{+}={\tilde{B}}_7$ * File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.png	[31,1,3,3,3,31,1] $D_7^{+}={\tilde{D}}_7$ * File:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.png	[33,3,1] $E_7^{+}={\tilde{E}}_7$ * File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea c1.png	[34,2,1] E8 * File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.png
9	[3[7],3,3] A6+++ File:CDel branch.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.pngFile:CDel 3.pngFile:CDel node c3.png	[4,33,33,1] B6+++ File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.pngFile:CDel 3a.pngFile:CDel nodea c3.png	[31,1,3,3,33,1] D6+++ File:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.pngFile:CDel 3a.pngFile:CDel nodea c3.png	[34,2,2] E6+++ File:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node.pngFile:CDel 3.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.pngFile:CDel 3.pngFile:CDel node c3.png	[3[8],3] $A_7^{++}={\bar{P}}_8$ * File:CDel node.pngFile:CDel split1.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.png	[4,34,32,1] $B_7^{++}={\bar{S}}_8$ * File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.png	[31,1,3,3,3,32,1] $D_7^{++}={\bar{Q}}_8$ * File:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.png	[34,3,1] $E_7^{++}={\bar{T}}_8$ * File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.png	[35,2,1] E9=$E_8^{+}={\tilde{E}}_8$ * File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea c1.png
10					[3[8],3,3] A7+++ * File:CDel node.pngFile:CDel split1.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel 3ab.pngFile:CDel nodes.pngFile:CDel split2.pngFile:CDel node c1.pngFile:CDel 3.pngFile:CDel node c2.pngFile:CDel 3.pngFile:CDel node c3.png	[4,34,33,1] B7+++ * File:CDel nodea.pngFile:CDel 4a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.pngFile:CDel 3a.pngFile:CDel nodea c3.png	[31,1,3,3,3,33,1] D7+++ * File:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.pngFile:CDel 3a.pngFile:CDel nodea c3.png	[35,3,1] E7+++ * File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.pngFile:CDel 3a.pngFile:CDel nodea c3.png	[36,2,1] E10=$E_8^{++}={\bar{T}}_9$ * File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.png
11									[37,2,1] E11=E8+++ * File:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel branch.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea.pngFile:CDel 3a.pngFile:CDel nodea c1.pngFile:CDel 3a.pngFile:CDel nodea c2.pngFile:CDel 3a.pngFile:CDel nodea c3.png
Det(Mn)	7(7−n)	2(7−n)	4(7−n)	3(7−n)	8(8−n)	2(8−n)	4(8−n)	2(8−n)	9−n

Geometric folding

Finite and affine foldings

φA : AΓ → AΓ' for finite types
Γ	Γ'	Folding description	Coxeter–Dynkin diagrams
I2(h)	Γ(h)	Dihedral folding	File:Geometric folding Coxeter graphs.png
Bn	A2n	(I,sn)
	Dn+1, A2n-1	(A3,±ε)
F4	E6	(A3,±ε)
H4	E8	(A4,±ε)
H3	D6
H2	A4
G2	A5	(A5,±ε)
	D4	(D4,±ε)
φ: AΓ+ → AΓ'+ for affine types
${\tilde{A}}_{n-1}$	${\tilde{A}}_{kn-1}$	Locally trivial	File:Geometric folding Coxeter graphs affine.png
${\tilde{B}}_n$	${\tilde{D}}_{2n+1}$	(I,sn)
	${\tilde{D}}_{n+1}$, ${\tilde{D}}_{2n}$	(A3,±ε)
${\tilde{C}}_n$	${\tilde{B}}_{n+1}$, ${\tilde{C}}_{2n}$	(A3,±ε)
	${\tilde{C}}_{2n+1}$	(I,sn)
${\tilde{C}}_n$	${\tilde{A}}_{2n+1}$	(I,sn) & (I,s0)
	${\tilde{A}}_{2n}$	(A3,ε) & (I,s0)
	${\tilde{A}}_{2n-1}$	(A3,ε) & (A3,ε')
${\tilde{C}}_n$	${\tilde{D}}_{n+2}$	(A3,−ε) & (A3,−ε')
${\tilde{C}}_2$	${\tilde{D}}_5$	(I,s1)
${\tilde{F}}_4$	${\tilde{E}}_6$, ${\tilde{E}}_7$	(A3,±ε)
${\tilde{G}}_2$	${\tilde{D}}_6$, ${\tilde{E}}_7$	(A5,±ε)
	${\tilde{B}}_3$, ${\tilde{F}}_4$	(B3,±ε)
	${\tilde{D}}_4$, ${\tilde{E}}_6$	(D4,±ε)

See also: Dynkin diagram § Folding

A (simply-laced) Coxeter–Dynkin diagram (finite, affine, or hyperbolic) that has a symmetry (satisfying one condition, below) can be quotiented by the symmetry, yielding a new, generally multiply laced diagram, with the process called "folding". For example, in D₄ folding to G₂, the edge in G₂ points from the class of the 3 outer nodes (valence 1), to the class of the central node (valence 3). And E₈ folds into 2 copies of H₄, the second copy scaled by τ. Geometrically this corresponds to orthogonal projections of uniform polytopes and tessellations. Notably, any finite simply-laced Coxeter–Dynkin diagram can be folded to I₂(h), where h is the Coxeter number, which corresponds geometrically to a projection to the Coxeter plane.

File:Geometric folding Coxeter graphs hyperbolic.png A few hyperbolic foldings

Complex reflections

Coxeter–Dynkin diagrams have been extended to complex space, Cⁿ where nodes are unitary reflections of period greater than 2. Nodes are labeled by an index, assumed to be 2 for ordinary real reflection if suppressed. Coxeter writes the complex group, p[q]r, as diagram File:CDel pnode.pngFile:CDel 3.pngFile:CDel q.pngFile:CDel 3.pngFile:CDel rnode.png. A 1-dimensional regular complex polytope in ${\mathbb{ℂ}}^1$ is represented as File:CDel pnode 1.png, having p vertices. Its real representation is a regular polygon, {p}. Its symmetry is _p[] or File:CDel pnode.png, order p. A unitary operator generator for File:CDel pnode.png is seen as a rotation in ${\mathbb{ℝ}}^2$ by 2π/p radians counter clockwise, and a File:CDel pnode 1.png edge is created by sequential applications of a single unitary reflection. A unitary reflection generator for a 1-polytope with p vertices is e^2πi/p = cos(2π/p) + i sin(2π/p). When p = 2, the generator is e^πi = –1, the same as a point reflection in the real plane. In a higher polytope, _p{} or File:CDel pnode 1.png represents a p-edge element, with a 2-edge, {} or File:CDel node 1.png, representing an ordinary real edge between two vertices.

Regular complex 1-polytopes

File:Complex 1-topes as k-edges.png Complex 1-polytopes, File:CDel pnode 1.png, represented in the Argand plane as regular polygons for p = 2, 3, 4, 5, and 6, with black vertices. The centroid of the p vertices is shown seen in red. The sides of the polygons represent one application of the symmetry generator, mapping each vertex to the next counterclockwise copy. These polygonal sides are not edge elements of the polytope, as a complex 1-polytope can have no edges (it often is a complex edge) and only contains vertex elements.

File:Rank2 shephard subgroups.png 12 irreducible Shephard groups with their subgroup index relations. Subgroups index 2 relate by removing a real reflection: p[2q]2 → p[q]p, index 2. p[4]q → p[q]p, index q.

File:Rank2 shephard subgroups2 series.png p[4]2 subgroups: p=2,3,4... p[4]2 → [p], index p p[4]2 → p[]×p[], index 2

A regular complex polygon in ${\mathbb{ℂ}}^2$, has the form _p{q}_r or Coxeter diagram File:CDel pnode 1.pngFile:CDel 3.pngFile:CDel q.pngFile:CDel 3.pngFile:CDel rnode.png. The symmetry group of a regular complex polygon File:CDel pnode.pngFile:CDel 3.pngFile:CDel q.pngFile:CDel 3.pngFile:CDel rnode.png is not called a Coxeter group, but instead a Shephard group, a type of Complex reflection group. The order of _p[q]_r is $8/q\cdot (1/p+2/q+1/r-1{)}^{-2}$. The rank 2 Shephard groups are: ₂[q]₂, _p[4]₂, ₃[3]₃, ₃[6]₂, ₃[4]₃, ₄[3]₄, ₃[8]₂, ₄[6]₂, ₄[4]₃, ₃[5]₃, ₅[3]₅, ₃[10]₂, ₅[6]₂, and ₅[4]₃ or File:CDel node.pngFile:CDel q.pngFile:CDel node.png, File:CDel pnode.pngFile:CDel 4.pngFile:CDel node.png, File:CDel 3node.pngFile:CDel 3.pngFile:CDel 3node.png, File:CDel 3node.pngFile:CDel 6.pngFile:CDel node.png, File:CDel 3node.pngFile:CDel 4.pngFile:CDel 3node.png, File:CDel 4node.pngFile:CDel 3.pngFile:CDel 4node.png, File:CDel 3node.pngFile:CDel 8.pngFile:CDel node.png, File:CDel 4node.pngFile:CDel 6.pngFile:CDel node.png, File:CDel 4node.pngFile:CDel 4.pngFile:CDel 3node.png, File:CDel 3node.pngFile:CDel 5.pngFile:CDel 3node.png, File:CDel 5node.pngFile:CDel 3.pngFile:CDel 5node.png, File:CDel 3node.pngFile:CDel 10.pngFile:CDel node.png, File:CDel 5node.pngFile:CDel 6.pngFile:CDel node.png, File:CDel 5node.pngFile:CDel 4.pngFile:CDel 3node.png of order 2q, 2p², 24, 48, 72, 96, 144, 192, 288, 360, 600, 1200, and 1800 respectively. The symmetry group _p1[q]_p2 is represented by 2 generators R₁, R₂, where:

R₁^p₁ = R₂^p₂ = I.

If q is even, (R₂R₁)^q/2 = (R₁R₂)^q/2. If q is odd, (R₂R₁)^(q-1)/2R₂ = (R₁R₂)^(q-1)/2R₁. When q is odd, p₁=p₂. The ${\mathbb{ℂ}}^3$ group File:CDel node.pngFile:CDel psplit1.pngFile:CDel branch.png or [1 1 1]^p is defined by 3 period 2 unitary reflections {R₁, R₂, R₃}:

R₁² = R₁² = R₃² = (R₁R₂)³ = (R₂R₃)³ = (R₃R₁)³ = (R₁R₂R₃R₁)^p = 1.

The period p can be seen as a double rotation in real ${\mathbb{ℝ}}^4$. A similar ${\mathbb{ℂ}}^3$ group File:CDel node.pngFile:CDel antipsplit1.pngFile:CDel branch.png or [1 1 1]^(p) is defined by 3 period 2 unitary reflections {R₁, R₂, R₃}:

R₁² = R₁² = R₃² = (R₁R₂)³ = (R₂R₃)³ = (R₃R₁)³ = (R₁R₂R₃R₂)^p = 1.

See also

• Coxeter group
• Schwarz triangle
• Goursat tetrahedron
• Dynkin diagram
• Uniform polytope
  • Wythoff symbol
  • Uniform polyhedron
  • List of uniform polyhedra
  • List of uniform planar tilings
  • Uniform 4-polytope
  • Convex uniform honeycomb
  • Convex uniform honeycombs in hyperbolic space
• Wythoff construction and Wythoff symbol

Further reading

• James E. Humphreys, Reflection Groups and Coxeter Groups, Cambridge studies in advanced mathematics, 29 (1990)
• Kaleidoscopes: Selected Writings of H.S.M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, ISBN 978-0-471-01003-6 [1], Googlebooks [2]
  • (Paper 17) Coxeter, The Evolution of Coxeter-Dynkin diagrams, [Nieuw Archief voor Wiskunde 9 (1991) 233-248]
• Coxeter, The Beauty of Geometry: Twelve Essays, Dover Publications, 1999, ISBN 978-0-486-40919-1 (Chapter 3: Wythoff's Construction for Uniform Polytopes)
• Coxeter, Regular Polytopes (1963), Macmillan Company
  • Regular Polytopes, Third edition, (1973), Dover edition, ISBN 0-486-61480-8 (Chapter 5: The Kaleidoscope, and Section 11.3 Representation by graphs)
• H.S.M. Coxeter and W. O. J. Moser, Generators and Relations for Discrete Groups 4th ed, Springer-Verlag, New York, 1980
• Norman Johnson, Geometries and Transformations, Chapters 11,12,13, preprint 2011
• N. W. Johnson, R. Kellerhals, J. G. Ratcliffe, S. T. Tschantz, The size of a hyperbolic Coxeter simplex, Transformation Groups, 1999, Volume 4, Issue 4, pp. 329–353 [3] [4]
• Norman W. Johnson and Asia Ivic Weiss Quadratic Integers and Coxeter Groups Archived 2023-03-26 at the Wayback Machine PDF Can. J. Math. Vol. 51 (6), 1999, pp. 1307–1336

External links

• Weisstein, Eric W. "Coxeter–Dynkin diagram". MathWorld.
• October 1978 discussion on the history of the Coxeter diagrams by Coxeter and Dynkin in Toronto, Canada; Eugene Dynkin Collection of Mathematics Interviews, Cornell University Library.