Editing Dynkin diagram (section)

== Related classifications ==

Dynkin diagrams can be interpreted as classifying many distinct, related objects, and the notation "A<sub>''n''</sub>, B<sub>''n''</sub>, ..." is used to refer to ''all'' such interpretations, depending on context; this ambiguity can be confusing.

The central classification is that a simple Lie algebra has a root system, to which is associated an (oriented) Dynkin diagram; all three of these may be referred to as B<sub>''n''</sub>, for instance.

The ''un''oriented Dynkin diagram is a form of [[Coxeter diagram]], and corresponds to the Weyl group, which is the [[finite reflection group]] associated to the root system. Thus B<sub>''n''</sub> may refer to the unoriented diagram (a special kind of Coxeter diagram), the Weyl group (a concrete reflection group), or the abstract Coxeter group.

Although the Weyl group is abstractly isomorphic to the Coxeter group, a specific isomorphism depends on an ordered choice of simple roots. Likewise, while Dynkin diagram notation is standardized, Coxeter diagram and group notation is varied and sometimes agrees with Dynkin diagram notation and sometimes does not.{{cn|date=May 2021}}

Lastly, ''sometimes'' associated objects are referred to by the same notation, though this cannot always be done regularly. Examples include:
* The [[root lattice]] generated by the root system, as in the [[E8 lattice|E<sub>8</sub> lattice]]. This is naturally defined, but not one-to-one – for example, A<sub>2</sub> and G<sub>2</sub> both generate the [[hexagonal lattice]].
* An associated polytope – for example [[Gosset 4 21 polytope|Gosset 4<sub>21</sub> polytope]] may be referred to as "the E<sub>8</sub> polytope", as its vertices are derived from the E<sub>8</sub> root system and it has the E<sub>8</sub> Coxeter group as symmetry group.
* An associated quadratic form or manifold – for example, the [[E8 manifold|E<sub>8</sub> manifold]] has [[Intersection form (4-manifold)|intersection form]] given by the E<sub>8</sub> lattice.
These latter notations are mostly used for objects associated with exceptional diagrams – objects associated to the regular diagrams (A, B, C, D) instead have traditional names.

The index (the ''n'') equals to the number of nodes in the diagram, the number of simple roots in a basis, the dimension of the root lattice and span of the root system, the number of generators of the Coxeter group, and the rank of the Lie algebra. However, ''n'' does not equal the dimension of the defining module (a [[fundamental representation]]) of the Lie algebra – the index on the Dynkin diagram should not be confused with the index on the Lie algebra. For example, <math>B_4</math> corresponds to <math>\mathfrak{so}_{2\cdot 4 + 1} = \mathfrak{so}_9,</math> which naturally acts on 9-dimensional space, but has rank 4 as a Lie algebra.

The [[#Simply laced|simply laced]] Dynkin diagrams, those with no multiple edges (A, D, E) classify many further mathematical objects; see discussion at [[ADE classification]].

=== Example: A<sub>2</sub> ===
[[File:Root system A2.svg|class=skin-invert-image|thumb|The <math>A_2</math> root system]]

For example, the symbol <math>A_2</math> may refer to:
* The '''Dynkin diagram''' with 2 connected nodes, <span class=skin-invert>{{Dynkin|node|3|node}}</span>, which may also be interpreted as a '''[[Coxeter diagram]]'''.
* The '''[[root system]]''' with 2 simple roots at a <math>2\pi/3</math> (120 degree) angle.
* The '''Lie algebra''' <math>\mathfrak{sl}_{2+1} = \mathfrak{sl}_3</math> of [[rank (Lie algebra)|rank]] 2.
* The '''[[Weyl group]]''' of symmetries of the roots (reflections in the hyperplane orthogonal to the roots), isomorphic to the [[symmetric group]] <math>S_3</math> (of order 6).
* The abstract '''[[Coxeter group]]''', presented by generators and relations, <math>\left\langle r_1,r_2 \mid (r_1)^2=(r_2)^2=(r_ir_j)^3=1\right\rangle.</math>