 Dynkin diagram

See also: Coxeter–Dynkin diagram
Finite Dynkin diagrams
Affine (extended) Dynkin diagramsLie groups General linear group GL(n)
Special linear group SL(n)
Orthogonal group O(n)
Special orthogonal group SO(n)
Unitary group U(n)
Special unitary group SU(n)
Symplectic group Sp(n)Exponential map
Adjoint representation of a Lie group
Adjoint representation of a Lie algebra
Killing form
Lie point symmetryStructure of semisimple Lie groupsDynkin diagrams
Cartan subalgebra
Root system
Real form
Complexification
Split Lie algebra
Compact Lie algebraRepresentation of a Lie group
Representation of a Lie algebrav · mathematical field of Lie theory, a Dynkin diagram is a type of graph with some edges doubled or tripled (drawn as a double or triple line), and with any multiple edges directed, satisfying certain constraints. They are of interest firstly because they classify semisimple Lie algebras over algebraically closed fields, and give rise to Weyl groups, which are many (but not all) of the finite reflection groups. They also arise in other contexts. They are named for Eugene Dynkin; see history, below. There is ambiguity in the terminology: in some cases Dynkin diagrams are assumed directed, in which case they correspond to root systems and semisimple Lie algebras, while in other cases they are assumed undirected, in which case they correspond to Weyl groups; the B_{n} and C_{n} directed diagrams yield the same undirected diagram, correspondingly named BC_{n}. In this article, "Dynkin diagram" means directed Dynkin diagram, and undirected Dynkin diagrams will be explicitly so named.
Classification of semisimple Lie algebras
For more details on this topic, see Semisimple Lie algebra#Classification.The fundamental interest in Dynkin diagrams is that they classify semisimple Lie algebras over algebraically closed fields. One classifies such Lie algebras via their root system, which can be represented by a Dynkin diagram. One then classifies Dynkin diagrams according to the constraints they must satisfy, as described below.
Dropping the direction on the graph edges corresponds to replacing a root system by the finite reflection group it generates, the socalled Weyl group, and thus undirected Dynkin diagrams classify Weyl groups.
Related classifications
Dynkin diagrams can be interpreted as classifying many distinct, related objects, and the notation "A_{n}, B_{n}, ..." 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_{n}, for instance.
The unoriented 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_{n} may refer to the unoriented diagram (a special kind of Coxeter diagram), the Weyl group (a concrete reflection group), or the abstract Coxeter group.
Note that while the Weyl group is abstractly isomorphic to the Coxeter group, a specific isomorphism depends on an ordered choice of simple roots. Beware also that while Dynkin diagram notation is standardized, Coxeter diagram and group notation is varied and sometimes agrees with Dynkin diagram notation and sometimes does not.
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 E_{8} lattice. This is naturally defined, but not onetoone – for example, A_{2} and G_{2} both generate the hexagonal lattice.
 An associated polytope – for example Gosset 4_{21} polytope may be referred to as "the E_{8} polytope", as its vertices are derived from the E_{8} root system and it has the E_{8} Coxeter group as symmetry group.
 An associated quadratic form or manifold – for example, the E_{8} manifold has intersection form given by the E_{8} 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, B_{4} corresponds to which naturally acts on 9dimensional space, but has rank 4 as a Lie algebra.
The simply laced Dynkin diagrams, those with no multiple edges (A, D, E) classify many further mathematical objects; see discussion at ADE classification.
Example: A2
For example, the symbol A_{2} may refer to:
 The Dynkin diagram with 2 connected nodes, , which may also be interpreted as a Coxeter diagram.
 The root system with 2 simple roots at a 2π / 3 angle.
 The Lie algebra of rank 2.
 The Weyl group of symmetries of the roots (reflections in the hyperplane orthogonal to the roots), isomorphic to the symmetric group S_{3} (of order 6).
 The abstract Coxeter group, presented by generators and relations,
Constraints
Dynkin diagrams must satisfy certain constraints; these are essentially those satisfied by finite Coxeter–Dynkin diagrams, together with an additional crystallographic constraint.
Connection with Coxeter diagrams
Dynkin diagrams are closely related to Coxeter diagrams of finite Coxeter groups, and the terminology is often conflated.^{[note 1]}
Dynkin diagrams differ from Coxeter diagrams of finite groups in two important respects:
 Partly directed
 Dynkin diagrams are partly directed – any multiple edge (in Coxeter terms, labeled with "4" or above) has a direction (an arrow pointing from one node to the other); thus Dynkin diagrams have more data than the underlying Coxeter diagram (undirected graph).
 At the level of root systems the direction corresponds to pointing towards the shorter vector; edges labeled "3" have no direction because the corresponding vectors must have equal length.
 Crystallographic restriction
 Dynkin diagrams must satisfy an additional restriction, namely that the only allowable edge labels are 2, 3, 4, and 6, a restriction not shared by Coxeter diagrams, so not every Coxeter diagram of a finite group comes from a Dynkin diagram.
 At the level of root systems this corresponds to the crystallographic restriction theorem, as the roots form a lattice.
A further difference, which is only stylistic, is that Dynkin diagrams are conventionally drawn with double or triple edges between nodes (for p = 4, 6), rather than an edge labeled with "p".
The term "Dynkin diagram" at times refers to the directed graph, at times to the undirected graph. For precision, in this article "Dynkin diagram" will mean directed, and the underlying undirected graph will be called an "undirected Dynkin diagram". Then Dynkin diagrams and Coxeter diagrams may be related as follows:
crystallographic point group directed Dynkin diagrams undirected undirected Dynkin diagrams Coxeter diagrams of finite groups By this is meant that Coxeter diagrams of finite groups correspond to point groups generated by reflections, while Dynkin diagrams must satisfy an additional restriction corresponding to the crystallographic restriction theorem, and that Coxeter diagrams are undirected, while Dynkin diagrams are (partly) directed.
The corresponding mathematical objects classified by the diagrams are:
crystallographic point group directed root systems undirected Weyl groups finite Coxeter groups The blank in the upper right, corresponding to directed graphs with underlying undirected graph any Coxeter diagram (of a finite group), can be defined formally, but is littlediscussed, and does not appear to admit a simple interpretation in terms of mathematical objects of interest.
There are natural maps down – from Dynkin diagrams to undirected Dynkin diagrams; respectively, from root systems to the associated Weyl groups – and right – from undirected Dynkin diagrams to Coxeter diagrams; respectively from Weyl groups to finite Coxeter groups.
The down map is onto (by definition) but not onetoone, as the B_{n} and C_{n} diagrams map to the same undirected diagram, with the resulting Coxeter diagram and Weyl group thus sometimes denoted BC_{n}.
The right map is simply an inclusion – undirected Dynkin diagrams are special cases of Coxeter diagrams, and Weyl groups are special cases of finite Coxeter groups – and is not onto, as not every Coxeter diagram is an undirected Dynkin diagram (the missed diagrams being H_{3}, H_{4} and I_{2}(p) for p = 5 p ≥ 7), and correspondingly not every finite Coxeter group is a Weyl group.
Isomorphisms
Dynkin diagrams are conventionally numbered so that the list is nonredundant: for A_{n}, for B_{n}, for C_{n}, for D_{n}, and E_{n} starting at n = 6. The families can however be defined for lower n, yielding exceptional isomorphisms of diagrams, and corresponding exceptional isomorphisms of Lie algebras and associated Lie groups.
Trivially, one can start the families at n = 0 or n = 1, which are all then isomorphic as there is a unique empty diagram and a unique 1node diagram. The other isomorphisms of connected Dynkin diagrams are:
These isomorphisms correspond to isomorphism of simple and semisimple Lie algebras, which also correspond to certain isomorphisms of Lie group forms of these. They also add context to the E_{n} family.^{[1]}
Automorphisms
In addition to isomorphism between different diagrams, some diagrams also have selfisomorphisms or "automorphisms". Diagram automorphisms correspond to outer automorphisms of the Lie algebra, meaning that the outer automorphism group Out = Aut/Inn equals the group of diagram automorphisms.^{[2]}^{[3]}^{[4]}
The diagrams that have nontrivial automorphisms are A_{n} (n > 1), D_{n} (n > 1), and E_{6}. In all these cases except for D_{4}, there is a single nontrivial automorphism (Out = C_{2}, the cyclic group of order 2), while for D_{4}, the automorphism group is the symmetric group on three letters (S_{3}, order 6) – this phenomenon is known as "triality". It happens that all these diagram automorphisms can be realized as Euclidean symmetries of how the diagrams are conventionally drawn in the plane, but this is just an artifact of how they are drawn, and not intrinsic structure.
For A_{n}, the diagram automorphism is reversing the diagram, which is a line. The nodes of the diagram index the fundamental weights, which (for A_{n−1}) are for , and the diagram automorphism corresponds to the duality Realized as the Lie algebra the outer automorphism can be expressed as negative transpose, , which is how the dual representation acts.^{[3]}
For D_{n}, the diagram automorphism is switching the two nodes at the end of the Y, and corresponds to switching the two chiral spin representations. Realized as the Lie algebra the outer automorphism can be expressed as conjugation by a matrix in O(2n) with determinant −1. Note that so their automorphisms agree, while which is disconnected, and the automorphism corresponds to switching the two nodes.
For D_{4}, the fundamental representation is isomorphic to the two spin representations, and the resulting symmetric group on three letter (S_{3}, or alternatively the dihedral group of order 6, Dih_{3}) corresponds both to automorphisms of the Lie algebra and automorphisms of the diagram.
The automorphism group of E_{6} corresponds to reversing the diagram, and can be expressed using Jordan algebras.^{[3]}^{[5]}
Disconnected diagrams, which correspond to semisimple Lie algebras, may have automorphisms from exchanging components of the diagram.
In positive characteristic there are additional diagram automorphisms – roughly speaking, in characteristic p one is allowed to ignore the arrow on bonds of multiplicity p in the Dynkin diagram when taking diagram automorphisms. Thus in characteristic 2 there is an order 2 automorphism of and of F_{4}, while in characteristic 3 there is an order 2 automorphism of G_{2}.
Construction of Lie groups via diagram automorphisms
Diagram automorphisms in turn yield additional Lie groups and groups of Lie type, which are of central importance in the classification of finite simple groups.
The Chevalley group construction of Lie groups in terms of their Dynkin diagram does not yield some of the classical groups, namely the unitary groups and the nonsplit orthogonal groups. The Steinberg groups construct the unitary groups ^{2}A_{n}, while the other orthogonal groups are constructed as ^{2}D_{n}, where in both cases this refers to combining a diagram automorphism with a field automorphism. This also yields additional exotic Lie groups ^{2}E_{6} and ^{3}D_{4}, the latter only defined over fields with an order 3 automorphism.
The additional diagram automorphisms in positive characteristic yield the Suzuki–Ree groups, ^{2}B_{2}, ^{2}F_{4}, and ^{2}G_{2}.
Folding
A (simplylaced) Dynkin diagram (finite or affine) 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 (due to most symmetries being 2fold). At the level of Lie algebras, this corresponds to taking the invariant subalgebra under the outer automorphism group, and the process can be defined purely with reference to root systems, without using diagrams.^{[6]} Further, every multiply laced diagram (finite or infinite) can be obtained by folding a simplylaced diagram.^{[7]}
The one condition on the automorphism for folding to be possible is that distinct nodes of the graph in the same orbit (under the automorphism) must not be connected by an edge; at the level of root systems, roots in the same orbit must be orthogonal.^{[7]} At the level of diagrams, this is necessary as otherwise the quotient diagram will have a loop, due to identifying two nodes but having an edge between them, and loops are not allowed in Dynkin diagrams.
The nodes and edges of the quotient ("folded") diagram are the orbits of nodes and edges of the original diagram; the edges are single unless two incident edges map to the same edge (notably at nodes of valence greater than 2) – a "branch point" of the map, in which case the weight is the number of incident edges, and the arrow points towards the node at which they are incident – "the branch point maps to the nonhomogeneous point". For example, in D_{4} folding to G_{2}, the edge in G_{2} points from the class of the 3 outer nodes (valence 1), to the class of the central node (valence 3).
The foldings of finite diagrams are:^{[8]}^{[note 2]}
 A_{2n−1} → C_{n}
 (The automorphism of A_{2n} does not yield a folding because the middle two nodes are connected by an edge, but in the same orbit.)
 D_{n+1} → B_{n}
 D_{4} → G_{2} (if quotienting by the full group or a 3cycle, in addition to D_{4} → C_{3} in 3 different ways, if quotienting by an involution)
 E_{6} → F_{4}
Similar foldings exist for affine diagrams, including:
The notion of foldings can also be applied more generally to Coxeter diagrams^{[9]} – notably, one can generalize allowable quotients of Dynkin diagrams to H_{n} and I_{2}(p). Geometrically this corresponds to projections of uniform polytopes. Notably, any simply laced Dynkin diagram can be folded to I_{2}(h), where h is the Coxeter number, which corresponds geometrically to projection to the Coxeter plane.
Folding can be applied to reduce questions about (semisimple) Lie algebras to questions about simplylaced ones, together with an automorphism, which may be simpler than treating multiply laced algebras directly; this can be done in constructing the semisimple Lie algebras, for instance. See Math Overflow: Folding by Automorphisms for further discussion.
Other maps of diagrams
A_{2} root system
G_{2} root systemSome additional maps of diagrams have meaningful interpretations, as detailed below. However, not all maps of root systems arise as maps of diagrams.^{[10]}
For example, there are two inclusions of root systems of A_{2} in G_{2}, either as the six long roots or the six short roots. However, the nodes in the G_{2} diagram correspond to one long root and one short root, while the nodes in the A_{2} diagram correspond to roots of equal length, and thus this map of root systems cannot be expressed as a map of the diagrams.
Some inclusions of root systems can be expressed as one diagram being an induced subgraph of another, meaning "a subset of the nodes, with all edges between them". This is because eliminating a node from a Dynkin diagram corresponds to removing a simple root from a root system, which yields a root system of rank one lower. By contrast, removing an edge (or changing the multiplicity of an edge) while leaving the nodes unchanged corresponds to changing the angles between roots, which cannot be done without changing the entire root system. Thus, one can meaningfully remove nodes, but not edges. Removing a node from a connected diagram may yield a connected diagram (simple Lie algebra), if the node is a leaf, or a disconnected diagram (semisimple but not simple Lie algebra), with either two or three components (the latter for D_{n} and E_{n}). At the level of Lie algebras, these inclusions correspond to subLie algebras.
The maximal subgraphs are ("conjugate" means "by a diagram automorphism"):
 A_{n+1}: A_{n}, in 2 conjugate ways.
 B_{n+1}: A_{n}, B_{n}.
 C_{n+1}: A_{n}, C_{n}.
 D_{n+1}: A_{n} (2 conjugate ways), D_{n}.
 E_{n+1}: A_{n}, D_{n}, E_{n}.
 For E_{6}, two of these coincide: and are conjugate.
 F_{4}: B_{3}, C_{3}.
 G_{2}: A_{1}, in 2 nonconjugate ways (as a long root or a short root).
Finally, duality of diagrams corresponds to reversing the direction of arrows, if any:^{[10]} B_{n} and C_{n} are dual, while F_{4}, and G_{2} are selfdual, as are the simplylaced ADE diagrams.
Simply laced
Main article: ADE classificationA Dynkin diagram with no multiple edges is called simply laced, as are the corresponding Lie algebra and Lie group. These are the A_{n},D_{n},E_{n} diagrams, and phenomena that such diagrams classify are referred to as an ADE classification. In this case the Dynkin diagrams exactly coincide with Coxeter diagrams, as there are no multiple edges.
Satake diagrams
Main article: Satake diagramDynkin diagrams classify complex semisimple Lie algebras. Real semisimple Lie algebras can be classified as real forms of complex semisimple Lie algebras, and these are classified by Satake diagrams, which are obtained from the Dynkin diagram by labeling some vertices black (filled), and connecting some other vertices in pairs by arrows, according to certain rules.
History
See also: Semisimple Lie algebra#HistoryDynkin diagrams are named for Eugene Dynkin, who used them in two papers (1946, 1947) simplifying the classification of semisimple Lie algebras;^{[11]} see (Dynkin 2000). When Dynkin left the Soviet Union in 1976, which was at the time considered tantamount to treason, Soviet mathematicians were directed to refer to "diagrams of simple roots" rather than use his name.^{[citation needed]}
Undirected graphs had been used earlier by Coxeter (1934) to classify reflection groups, where the nodes corresponded to simple reflections; the graphs were then used (with length information) by Witt (1941) in reference to root systems, with the nodes corresponding to simple roots, as they are used today.^{[11]}^{[12]} Dynkin then used them in 1946 and 1947, acknowledging Coxeter and Witt in his 1947 paper.
Conventions
Dynkin diagrams have been drawn in a number of ways;^{[12]} the convention followed here is common, with 180° angles on nodes of valence 2, 120° angles on the valence 3 node of D_{n}, and 90°/90°/180° angles on the valence 3 node of E_{n}, with multiplicity indicated by 1, 2, or 3 parallel edges, and root length indicated by drawing an arrow on the edge for orientation. Beyond simplicity, a further benefit of this convention is that diagram automorphisms are realized by Euclidean isometries of the diagrams.
Alternative convention include writing a number by the edge to indicate multiplicity (commonly used in Coxeter diagrams), darkening nodes to indicate root length, or using 120° angles on valence 2 nodes to make the nodes more distinct.
There are also conventions about numbering the nodes. The most common modern convention had developed by the 1960s and is illustrated in (Bourbaki 1968).^{[12]}
Rank 2 Dynkin diagrams
Dynkin diagrams are equivalent to generalized Cartan matrices, as shown in this table of rank 2 Dynkin diagrams with their corresponding 2x2 Cartan matrices.
For rank 2, the Cartan matrix form is:
A multiedged diagram corresponds to the nondiagonal Cartan matrix elements a_{21}, a_{12}, with the number of edges drawn equal to max(a_{21}, a_{12}), and an arrow pointing towards nonunity elements.
A generalized Cartan matrix is a square matrix A = (a_{ij}) such that:
 For diagonal entries, a_{ii} = 2.
 For nondiagonal entries, .
 a_{ij} = 0 if and only if a_{ji} = 0
The determinant of the Cartan matrix determines whether the group is finite, affine, or hyperbolic. (Note: For rank 2, all negative determinant matrices represent hyperbolic groups. For rank 3 or higher, most negative determine matrices are not hyperbolic, and are instead considered Lorentzian.)
Finite branches have (a_{21}, a_{12})=(1,1), (2,1), (3,1), and affine branches (with a zero determinant) have (a_{21}, a_{12}) =(2,2) or (4,1).
Rank 2 Dynkin diagrams Group
nameDynkin diagram Cartan matrix Symmetry
orderRelated
simplylaced
automorphic
group^{3}(Standard)
multiedged
graph
Valued
graph^{1}Coxeter
graph^{2}Determinant (4a_{21}*a_{12})
Finite (Determinant>0) A_{1}xA_{1} 4 2 A_{2}
(undirected)3 3 B_{2} 2 4 A_{3} C_{2} 2 4 A_{3} BC_{2}
(undirected)2 4 G_{2} 1 6 D_{4} G_{2}
(undirected)1 6 Affine (Determinant=0) A_{1}^{(1)} 0 ∞ A_{2}^{(2)} 0 ∞ Hyperbolic (Determinant<0) 1  H_{5}^{(6)} 2  2  3  4  4  5  4ab<0  Note^{1}: For hyperbolic groups, (a_{12}*a_{21}>4), the multiedge style is abandoned in favor of an explicit labeling (a_{21}, a_{12}) on the edge. These are usually not applied to finite and affine graphs.^{[13]}
Note^{2}: For undirected groups, Coxeter diagrams are interchangeable. They are usually labeled by their order of symmetry, with order3 implied with no label.
Note^{3}: Many multiedged groups are automorphic via a folding operation with a higher ranked simplylaced group.
Finite Dynkin diagrams
Connected finite Dynkin graphs up to (1 to 9 nodes) Rank Simple Lie groups Exceptional Lie groups A_{1 +} B_{2 +} C_{2 +} D_{2 +} E_{3 − 8} F_{4} G_{2} 1 A_{1} 2 A_{2} B_{2} C_{2}=B_{2} D_{2}=A_{1}xA_{1} G_{2} 3 A_{3} B_{3} C_{3} D_{3}=A_{3} E_{3}=A_{2}xA_{1} 4 A_{4} B_{4} C_{4} D_{4} E_{4}=A_{4} F_{4} 5 A_{5} B_{5} C_{5} D_{5} E_{5}=D_{5} 6 A_{6} B_{6} C_{6} D_{6} E_{6} 7 A_{7} B_{7} C_{7} D_{7} E_{7} 8 A_{8} B_{8} C_{8} D_{8} E_{8} 9 A_{9} B_{9} C_{9} D_{9} 10+ .. .. .. .. Affine Dynkin diagrams
For more details on this topic, see Affine root system.There are extensions of Dynkin diagrams, namely the affine Dynkin diagrams; these classify Cartan matrices of affine Lie algebras. These are classified in (Kac 1994, Chapter 4, pp. 47–), specifically listed on (Kac 1994, pp. 53–55). Affine diagrams are denoted as or where X is the letter of the corresponding finite diagram, and the exponent depends on which series of affine diagrams they are in. The first of these, are most common, and are called extended Dynkin diagrams and denoted with a tilde, and also sometimes marked with a + superscript.^{[14]} as in . The (2) and (3) series are called twisted affine diagrams.
See Dynkin diagram generator at MIT for diagrams.
The set of extended affine Dynkin diagrams, with added nodes in green
"Twisted" affine forms are named with (2) or (3) superscripts.
(k is the number of nodes in the graph)Here are all of the Dynkin graphs for affine groups up to 10 nodes. Extended Dynkin graphs are given as the ~ families, the same as the finite graphs above, with one node added. Other directedgraph variations are given with a superscript value (2) or (3), representing foldings of higher order groups. These are categorized as Twisted affine diagrams.^{[15]}
Connected affine Dynkin graphs up to (2 to 10 nodes)
(Grouped as undirected graphs)Rank E / F / G 2 or : 3 or or :
:
or 4 or or :
or :
:
5 or or :
or :
:
or or 6 or or :
or :
:
or 7 or or :
or :
:
or or 8 or or :
or :
:
or or 9 or or :
or :
:
or or 10 or or :
or :
:
or 11 ... ... ... ... Hyperbolic and higher Dynkin diagrams
The set of compact and noncompact hyperbolic Dynkin graphs has been enumerated.^{[16]} All rank 3 hyperbolic graphs are compact. Compact hyperbolic Dynkin diagrams exist up to rank 5, and noncompact hyperbolic graphs exist up to rank 10.
The 238 enumerated hyperbolic groups (compact and noncompact) are named as: H_{i}^{(n)}, for rank n, and counting i=1,2,3... for each rank.
Summary Rank Total Compact 3 123 31 4 53 3 5 22 1 6 22 0 7 4 0 8 5 0 9 5 0 10 4 0 Compact hyperbolic Dynkin diagrams
Compact hyperbolic graphs Rank 3 Rank 4 Rank 5 Linear graphs  (6 4 2):
 H_{100}^{(3)}:
 H_{101}^{(3)}:
 H_{105}^{(3)}:
 H_{106}^{(3)}:
 (6 6 2):
 H_{114}^{(3)}:
 H_{115}^{(3)}:
 H_{116}^{(3)}:
Cyclic graphs  (4 3 3): H_{1}^{(3)}:
 (4 4 3): 3 forms...
 (4 4 4): 2 forms...
 (6 3 3): H_{3}^{(3)}:
 (6 4 3): 4 forms...
 (6 4 4): 4 forms...
 (6 6 3): 3 forms...
 (6 6 4): 4 forms...
 (6 6 6): 2 forms...
 (4 3 3 3):
 H_{8}^{(4)}:
 H_{13}^{(4)}:
 (4 3 4 3):
 H_{14}^{(4)}:
 (4 3 3 3 3):
 H_{7}^{(5)}:
Noncompact (Overextended forms)
Some notations used in theoretical physics, such as Mtheory, use a "+" superscript for extended groups instead of a "~" and this allows higher extensions groups to be defined.
 Extended Dynkin diagrams (affine) are given "+" and represent one added node. (Same as "~")
 Overextended Dynkin diagrams (hyperbolic) are given "^" or "++" and represent two added nodes.
 Veryextended Dynkin diagrams with 3 nodes added are given "+++".
Some example overextended (hyperbolic) Dynkin diagrams Rank AE_{n} = A_{n2}^{(1)^} BE_{n} = B_{n2}^{(1)^} CE_{n}
C_{n2}^{(1)^} DE_{n} = D_{n2}^{(1)^} E / F / G 4 AE_{4}:
C_{2}^{(1)^} A_{4}^{(2)'^}
A_{4}^{(2)^}
D_{3}^{(2)^}
G_{2}^{(1)^} D_{4}^{(3)^}
5 AE_{5}:
BE_{5}
CE_{5}C_{3}^{(1)^} A_{6}^{(2)^}
A_{6}^{(2)'^}
D_{5}^{(2)^}
6 AE_{6} BE_{6}
CE_{6}C_{4}^{(1)^} A_{8}^{(2)^}
A_{8}^{(2)'^}
D_{7}^{(2)^}
DE_{6} F_{4}^{(1)^} E_{6}^{(2)^}
7 AE_{7} BE_{7}
CE_{7}DE_{7} 8 AE_{8} BE_{8}
CE_{8}DE_{8} E_{6}^{(1)^} 9 AE_{9} BE_{9}
CE_{9}DE_{9} E_{7}^{(1)^} 10 BE_{10}
CE_{10}DE_{10} E_{10}=E_{8}^{(1)^} Very extended
See family En (Lie algebra) with E_{11} as a veryextended dynkin diagram.
Another large group K_{27}, can be defined as a veryextended D_{24}^{+++}, looks like this:
See also
 Affine Dynkin diagram
 Satake diagram
 Klassifikation von Wurzelsystemen (Classification of root systems) (German)
Notes
References
 ^ Baez, John (April 13, 1998), This Week's Finds in Mathematical Physics (Week 119), http://math.ucr.edu/home/baez/week119.html
 ^ (Fulton & Harris 1991, Proposition D.40)
 ^ ^{a} ^{b} ^{c} Outer automorphisms of simple Lie Algebras
 ^ (Humphreys 1972, Section 16.5)
 ^ (Jacobson 1971, section 7)
 ^ Algebraic geometry and number theory: in honor of Vladimir Drinfeld's 50th Birthday, edited by Victor Ginzburg, p. 47, section 3.6: Cluster folding
 ^ ^{a} ^{b} Folding by Automorphisms, John Stembridge, 4pp., 79K, 20 August 2008, Other Articles by John Stembridge
 ^ See (Stekolshchik 2008, p. 102, remark 5.4) for illustrations of these foldings and references.
 ^ Generalized Dynkin diagrams and root systems and their folding by JeanBernard Zuber, pp. 28–30
 ^ ^{a} ^{b} Transformations of Dynkin Diagrams, John Armstrong, March 5, 2010
 ^ ^{a} ^{b} (Knapp 2002, p. 758)
 ^ ^{a} ^{b} ^{c} Why are the Dynkin diagrams E6, E7 and E8 always drawn the way they are drawn?
 ^ Notes on Coxeter Transformations and the McKay correspondence, Rafael Stekolshchik, 2005, Section 2.1 The Cartan matrix and its Tits form p. 27. [1]
 ^ See for example Reflection groups and Coxeter groups, by James E. Humphreys, p. 96
 ^ [2] Infinite dimensional Lie algebras, Victor Kac
 ^ Carbone, L, Chung, S, Cobbs, C, McRae, R, Nandi, D, Naqvi, Y, and Penta, D: Classification of hyperbolic Dynkin diagrams, root lengths and Weyl group orbits, J. Phys. A: Math. Theor. 43 155209, 2010, arXiv:1003.0564
 Dynkin, E. B. (1947), "The structure of semisimple algebras (Russian).", Uspehi Matem. Nauk, (N.S.) 2 (4(20)): 59–127
 Bourbaki, Nicolas (1968), "Chapters 4–6", Groupes et algebres de Lie, Paris: Hermann
 Jacobson, Nathan (19710601), Exceptional Lie Algebras (1 ed.), CRC Press, ISBN 0824713265
 Humphreys, James E. (1972), Introduction to Lie Algebras and Representation Theory, Birkhäuser, ISBN 9780387900537
 Fulton, William; Harris, Joe (1991), Representation theory. A first course, Graduate Texts in Mathematics, Readings in Mathematics, 129, New York: SpringerVerlag, ISBN 9780387974958, MR1153249, ISBN 9780387975276
 Dynkin, Evgeniĭ Borisovich; Alexander Adolph Yushkevich, Gary M. Seitz, A. L. Onishchik (2000), Selected papers of E.B. Dynkin with commentary, AMS Bookstore, ISBN 9780821810651
 Knapp, Anthony W. (2002), Lie groups beyond an introduction (2nd ed.), Birkhäuser, ISBN 9780817642594
 Stekolshchik, R. (2008), Notes on Coxeter Transformations and the McKay Correspondence, Springer Monographs in Mathematics, doi:10.1007/9783540773983, ISBN 9783540773986 edit
External links
 John Baez on the ubiquity of Dynkin diagrams in mathematics
 Web tool for making publicationquality Dynkin diagrams with labels (written in JavaScript)
Categories: Lie algebras
Wikimedia Foundation. 2010.
Look at other dictionaries:
Coxeter–Dynkin diagram — See also: Dynkin diagram Coxeter Dynkin diagrams for the fundamental finite Coxeter groups … Wikipedia
CoxeterDynkin diagram — In geometry, a Coxeter Dynkin diagram is a graph with labelled edges. It represents the spatial relations between a collection of mirrors (or reflecting hyperplanes), and describes a kaleidoscopic construction.The diagram represents a Coxeter… … Wikipedia
Diagramme de Dynkin — Système de racines En mathématiques, un système de racines est une configuration de vecteurs dans un espace euclidien qui vérifie certaines conditions géométriques. Cette notion est très importante dans la théorie des groupes de Lie. Comme les… … Wikipédia en Français
Eugene Dynkin — Eugene Borisovich Dynkin ( ru. Евгений Борисович Дынкин; born May 11, 1924) is a Russian mathematician. He has made contributions to the fields of probability and algebra, especially semisimple Lie groups, Lie algebras, and Markov processes. The… … Wikipedia
Diagramme de CoxeterDynkin — Les groupes de Coxeter dans le plan avec les diagrammes équivalents. Les miroirs du domaine sont nommés par les arêtes m1, m2, etc. Les sommets sont colorés par leur ordre de réflexion. Le groupe prismatique [W2xW2] est montré comme un doublement … Wikipédia en Français
Mathematical diagram — This article is about general diagrams in mathematics. For diagrams in the category theoretical sense, see Diagram (category theory). Euclid s Elements, ms. from Lüneburg, A.D. 1200 Mathematical diagrams are diagrams in the field of mathematics,… … Wikipedia
Matrice de Cartan — Système de racines En mathématiques, un système de racines est une configuration de vecteurs dans un espace euclidien qui vérifie certaines conditions géométriques. Cette notion est très importante dans la théorie des groupes de Lie. Comme les… … Wikipédia en Français
Systeme de racines — Système de racines En mathématiques, un système de racines est une configuration de vecteurs dans un espace euclidien qui vérifie certaines conditions géométriques. Cette notion est très importante dans la théorie des groupes de Lie. Comme les… … Wikipédia en Français
Système de racines — En mathématiques, un système de racines est une configuration de vecteurs dans un espace euclidien qui vérifie certaines conditions géométriques. Cette notion est très importante dans la théorie des groupes de Lie. Comme les groupes de Lie et les … Wikipédia en Français
Root system — This article discusses root systems in mathematics. For root systems of plants, see root. Lie groups … Wikipedia
18+© Academic, 20002020 Contact us: Technical Support, Advertising
Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx.
Dynkin diagram
 Dynkin diagram

See also: Coxeter–Dynkin diagram
Finite Dynkin diagrams
Affine (extended) Dynkin diagramsLie groups General linear group GL(n)
Special linear group SL(n)
Orthogonal group O(n)
Special orthogonal group SO(n)
Unitary group U(n)
Special unitary group SU(n)
Symplectic group Sp(n)Exponential map
Adjoint representation of a Lie group
Adjoint representation of a Lie algebra
Killing form
Lie point symmetryStructure of semisimple Lie groupsDynkin diagrams
Cartan subalgebra
Root system
Real form
Complexification
Split Lie algebra
Compact Lie algebraRepresentation of a Lie group
Representation of a Lie algebra