The Cartan Classification of Simple Lie Algebras

One-line statement: Every finite-dimensional simple Lie algebra over an algebraically closed field of characteristic zero is isomorphic to exactly one member of four infinite families

A_{n}, B_{n}, C_{n}, D_{n}

or to one of five exceptional algebras

G_{2}, F_{4}, E_{6}, E_{7}, E_{8}

. Key result in words: The structure of a simple Lie algebra is completely encoded in a finite combinatorial object — its Dynkin diagram — and the list of admissible diagrams is short and rigid. Where it applies: Representation theory, geometry of homogeneous spaces, the standard model and grand unification, integrable systems, singularity theory, and the classification of compact simple Lie groups and symmetric spaces. Who/when: Wilhelm Killing (1888–1890) first obtained the list; Élie Cartan (1894 thesis) corrected and rigorously proved it. Modern treatment via root systems, Weyl, van der Waerden, Witt, Dynkin (1940s).

A simple Lie algebra is a non-abelian Lie algebra with no nontrivial ideals. The Cartan classification asserts that, over $C$ (or any algebraically closed field of characteristic $0$ ), the isomorphism classes of such algebras are in bijection with connected Dynkin diagrams, which themselves classify irreducible reduced root systems. The chain of reductions is: simple Lie algebra → root system relative to a Cartan subalgebra → Cartan matrix → Dynkin diagram, each step losing no information. The surprising fact is the sheer finiteness and rigidity: from the infinitude of possible Lie brackets one extracts only four classical families and five sporadic exceptions, the largest being the $248$ -dimensional $E_{8}$ . This is one of the cleanest complete classifications in all of mathematics, and it reverberates from particle physics to the geometry of $27$ lines on a cubic surface.

The Core Insight

A simple Lie algebra $g$ contains a maximal abelian subalgebra $h$ (the Cartan subalgebra) whose adjoint action is simultaneously diagonalizable. The nonzero eigenvalues — linear functionals $α \in h^{*}$ called roots — form a finite, highly symmetric configuration in a Euclidean space. The integrality forced by $sl_{2}$ -representation theory ( $⟨ α, β^{\lor} ⟩ \in Z$ ) and the angular rigidity it implies reduce the entire problem to a finite combinatorial enumeration of allowed diagrams. The Lie algebra is reconstructed from the diagram via Serre's relations.

Formal Statement

Simple and Semisimple Lie Algebras

A Lie algebra $g$ over a field $k$ is a $k$ -vector space with a bilinear bracket $[\cdot, \cdot]$ satisfying antisymmetry and the Jacobi identity. It is:

simple if $dim g > 1$ , $[g, g] \neq = 0$ , and it has no ideals other than $0$ and $g$ ;
semisimple if it is a direct sum of simple ideals, equivalently if its radical (maximal solvable ideal) is zero, equivalently (Cartan's criterion) if its Killing form is nondegenerate.

The Killing form is the symmetric bilinear form

κ (X, Y) = tr (ad X \circ ad Y), ad X (Z) = [X, Z] .

⟳

ad

is the adjoint representation

g \to gl (g)

; composing two such operators and tracing gives an invariant bilinear form by the cyclicity of trace and the Jacobi identity (

κ ([X, Y], Z) = κ (X, [Y, Z])

Cartan Subalgebra and Root Space Decomposition

Let $g$ be semisimple over an algebraically closed field $k$ of characteristic $0$ . A Cartan subalgebra $h \subset g$ is a maximal abelian subalgebra acting diagonalizably under $ad$ . Its common dimension $ℓ = dim h$ is the rank. Since the operators ${ad H : H \in h}$ commute and are diagonalizable, $g$ decomposes into simultaneous eigenspaces:

g = h \oplus α \in Φ ⨁ g_{α}, g_{α} = {X \in g : [H, X] = α (H) X \forall H \in h} .

⟳simultaneous diagonalization of the commuting family

{ad H}

groups

g

by linear eigenvalue functionals

α \in h^{*}

; the zero eigenspace is

h

itself by maximality.

The finite set $Φ \subset h^{*} ∖ {0}$ of nonzero eigenfunctionals is the root system of $g$ . Each $g_{α}$ is one-dimensional.

Abstract Root System

A subset $Φ$ of a Euclidean space $E$ (with inner product $(\cdot, \cdot)$ ) is a (reduced) root system if:

$Φ$ is finite, spans $E$ , and $0 \in / Φ$ ;
for $α \in Φ$ , the only multiples of $α$ in $Φ$ are $\pm α$ ;
for each $α$ , the reflection $s_{α}$ maps $Φ$ to itself;
(integrality) for $α, β \in Φ$ , the Cartan integer

⟨ β, α ⟩ := \frac{2 ( β , α )}{( α , α )} \in Z, s_{α} (β) = β - ⟨ β, α ⟩ α .

⟳

⟨ β, α ⟩

measures how

β

projects onto

α

in units of

α

; integrality comes from the eigenvalues of

ad H_{α}

on the

sl_{2}

-string through

β

, which must be integers by representation theory of

sl_{2}

A root system is irreducible if $E$ does not decompose into orthogonal subspaces each spanned by a subset of $Φ$ .

Cartan–Killing Classification

Let $k$ be algebraically closed of characteristic $0$ .

The map $g \mapsto Φ$ is a bijection between isomorphism classes of finite-dimensional simple Lie algebras over $k$ and isomorphism classes of irreducible reduced root systems.
Irreducible reduced root systems are classified by their connected Dynkin diagrams, and the complete list is:

A_{ℓ} (ℓ \geq 1), B_{ℓ} (ℓ \geq 2), C_{ℓ} (ℓ \geq 3), D_{ℓ} (ℓ \geq 4), G_{2}, F_{4}, E_{6}, E_{7}, E_{8} .

⟳the four families are realized by

sl_{ℓ + 1}, so_{2 ℓ + 1}, sp_{2 ℓ}, so_{2 ℓ}

; the five exceptionals arise as the only remaining admissible Dynkin diagrams. The rank restrictions remove low-rank coincidences (

A_{1} = B_{1} = C_{1}

B_{2} = C_{2}

D_{3} = A_{3}

D_{2} = A_{1} \times A_{1}

The classical correspondence between family, algebra, and dimension:

| Type | Lie algebra $g$ | Rank $ℓ$ | $dim g$ | # roots | |------|-----------------------|-------------|---------------------|---------| | $A_{ℓ}$ | $sl_{ℓ + 1}$ | $ℓ$ | $ℓ (ℓ + 2)$ | $ℓ (ℓ + 1)$ | | $B_{ℓ}$ | $so_{2 ℓ + 1}$ | $ℓ$ | $ℓ (2 ℓ + 1)$ | $2 ℓ^{2}$ | | $C_{ℓ}$ | $sp_{2 ℓ}$ | $ℓ$ | $ℓ (2 ℓ + 1)$ | $2 ℓ^{2}$ | | $D_{ℓ}$ | $so_{2 ℓ}$ | $ℓ$ | $ℓ (2 ℓ - 1)$ | $2 ℓ (ℓ - 1)$ | | $G_{2}$ | — | $2$ | $14$ | $12$ | | $F_{4}$ | — | $4$ | $52$ | $48$ | | $E_{6}$ | — | $6$ | $78$ | $72$ | | $E_{7}$ | — | $7$ | $133$ | $126$ | | $E_{8}$ | — | $8$ | $248$ | $240$ |

Why It Holds / Derivation

From a Simple Lie Algebra to a Dynkin Diagram and Back

Step 1 — Existence of Cartan subalgebra and root decomposition. Choose a regular semisimple element; the kernel of its

ad

generates a Cartan subalgebra

h

. Since

g

is semisimple, all of

h

acts semisimply, giving the decomposition [2]. The Killing form restricted to

h

is nondegenerate, transferring to a positive-definite form on the real span

E

Φ

(after identifying

h^{*}

via

κ

). Step 2 — $sl_{2}$ -triples and integrality. For each

α \in Φ

there exist

E_{α} \in g_{α}

F_{α} \in g_{- α}

H_{α} \in h

with

[E_{α}, F_{α}] = H_{α}, [H_{α}, E_{α}] = 2 E_{α}, [H_{α}, F_{α}] = - 2 F_{α},

⟳

g_{α} \oplus [g_{α}, g_{- α}] \oplus g_{- α}

closes into a copy of

sl_{2}

; normalize so the coroot

H_{α}

acts with eigenvalue

2

E_{α}

spanning a subalgebra

≅ sl_{2} (k)

. The finite-dimensional representation theory of

sl_{2}

forces every eigenvalue

β (H_{α}) = ⟨ β, α ⟩

to be an integer — this is the source of property (4) and equation [3]. Step 3 — The root system is finite and crystallographic. The Weyl reflections

s_{α}

generate a finite group

W

(the Weyl group) permuting

Φ

. Combining integrality with the Cauchy–Schwarz inequality gives the angle constraint

⟨ α, β ⟩ ⟨ β, α ⟩ = 4 cos^{2} θ_{α β} \in {0, 1, 2, 3},

⟳the product of two Cartan integers equals

4 cos^{2} θ

; since each factor is an integer and the product is

\leq 4

(strictly

< 4

for

β \neq = \pm α

), only the angles

9 0^{\circ}, 12 0^{\circ}, 13 5^{\circ}, 15 0^{\circ}

(and the corresponding length ratios

1, 2, 3

) can occur.

so only finitely many relative configurations of two roots exist. Step 4 — Simple roots and the Cartan matrix. Choose a hyperplane separating

Φ

into positive and negative roots; the indecomposable positive roots form a base (simple roots)

Δ = {α_{1}, \dots, α_{ℓ}}

, a basis of

E

. The Cartan matrix is

A_{ij} = ⟨ α_{i}, α_{j} ⟩ = \frac{2 ( α _{i} , α _{j} )}{( α _{j} , α _{j} )}, A_{ii} = 2, A_{ij} \leq 0 (i \neq = j), A_{ij} A_{j i} \in {0, 1, 2, 3} .

⟳diagonal entries are

2

by definition; off-diagonals are nonpositive integers because distinct simple roots form obtuse angles, a consequence of indecomposability.

Step 5 — Dynkin diagram and admissibility. Encode

A

as a graph: one node per simple root, with

A_{ij} A_{j i} \in {1, 2, 3}

edges joining nodes

i, j

, and an arrow from the longer to the shorter root when lengths differ. The positive-definiteness of the symmetrized Cartan matrix forces the diagram to be one of: a chain (type

A

), a chain with one double bond at the end (types

B, C

), a chain with a fork (type

D

), the trivalent

E

-series,

F_{4}

, and

G_{2}

. Any other configuration produces a non-positive-definite form (e.g. an affine diagram with determinant zero). Step 6 — Reconstruction (Serre's theorem). Given any Cartan matrix

A

from the list, the Lie algebra is recovered by generators

e_{i}, f_{i}, h_{i}

subject to Serre relations:

[h_{i}, h_{j}] = 0, [e_{i}, f_{j}] = δ_{ij} h_{i}, [h_{i}, e_{j}] = A_{j i} e_{j}, (ad e_{i})^{1 - A_{j i}} e_{j} = 0 (i \neq = j),

⟳the first three relations reproduce the

sl_{2}

-triples and the

h

-action; the last (Serre) relation truncates the root strings exactly as integrality demands, yielding a finite-dimensional algebra precisely when

A

is of finite type.

and the analogous relations for the

f_{i}

. This proves the correspondence is a bijection: distinct diagrams give non-isomorphic algebras, and every admissible diagram is realized.

■

The four connected Dynkin diagrams of low rank and the exceptional $G_2$. Nodes are simple roots; multiple bonds indicate length ratios.

Élie Cartan | 1869–1951

Cartan, in his 1894 doctoral thesis Sur la structure des groupes de transformations finis et continus, took Killing's audacious but error-strewn classification and rebuilt it on rigorous foundations. He corrected Killing's mistaken belief in two distinct rank-4 exceptional algebras (they coincide as $F_{4}$ ), firmly established the five exceptional algebras, and pioneered the theory of weights and highest-weight representations. Over the following decades Cartan single-handedly created much of modern differential geometry — connections, moving frames, symmetric spaces, spinors — repeatedly returning to Lie theory as his structural backbone. His classification of real forms and of Riemannian symmetric spaces (1926) directly extends the work here.

Building Intuition

Think of a simple Lie algebra as a rigid crystal. The Cartan subalgebra is a maximal set of mutually commuting "measuring directions." Acting with these on the rest of the algebra splits it into one-dimensional pieces, each labeled by a vector (a root) in a Euclidean space. Because each pair of opposite roots generates an $sl_{2}$ — the smallest simple Lie algebra, the harmonic oscillator's spin algebra — the integrality of angular momentum quantum numbers ( $2 j \in Z$ ) is precisely what locks the geometry into a crystallographic pattern. Only a few crystal lattices are compatible with these quantization rules, and the Dynkin diagram is the symmetry "blueprint" of each. The reason the list is so short is the same reason there are only finitely many regular polytopes: rigidity from a single integrality constraint applied in every direction at once.

Worked Examples

Computing the root system and Cartan matrix of $A_2 = \mathfrak{sl}_3$

Given:

g = sl_{3} (C)

, traceless

3 \times 3

matrices,

dim = 8

. Take

h =

diagonal traceless matrices,

diag (a_{1}, a_{2}, a_{3})

with

\sum a_{i} = 0

, so

rank = 2

. Step 1 — Roots. Let

ε_{i} (diag (a_{1}, a_{2}, a_{3})) = a_{i}

. The off-diagonal matrix unit

E_{ij}

satisfies

[H, E_{ij}] = (a_{i} - a_{j}) E_{ij}

, giving roots

Φ = {ε_{i} - ε_{j} : i \neq = j}, ∣Φ∣ = 6.

Step 2 — Simple roots. Choose

α_{1} = ε_{1} - ε_{2}

α_{2} = ε_{2} - ε_{3}

. All positive roots:

α_{1}, α_{2}, α_{1} + α_{2}

. Step 3 — Inner products. With

(ε_{i}, ε_{j}) = δ_{ij}

(α_{1}, α_{1}) = (α_{2}, α_{2}) = 2

(α_{1}, α_{2}) = - 1

. Step 4 — Cartan matrix via [7]:

A = (2 - 1 - 1 2) .

Angle:

cos θ = (α_{1}, α_{2}) /2 = - 1/2 \Rightarrow θ = 12 0^{\circ}

. Single bond, equal lengths. Boxed answer:

Φ ≅ A_{2}, dim sl_{3} = 8, a hexagon of 6 roots, single bond, Weyl group S_{3} (order 6) .

Verifying the dimension count of $E_8$ from its diagram

Given:

E_{8}

has rank

ℓ = 8

and (by the classification)

240

roots. Step 1 — Dimension formula. A simple Lie algebra satisfies

dim g = ℓ + ∣Φ∣

, since

h

contributes

ℓ

and each root contributes a one-dimensional space. Step 2 — Apply.

dim E_{8} = 8 + 240 = 248.

Step 3 — Cross-check via root lengths. All

E_{8}

roots have squared length

2

in the normalized

E_{8}

lattice; the

240

minimal vectors of the

E_{8}

lattice (kissing number in

8

dimensions) reproduce

∣Φ∣ = 240

. Step 4 — Coxeter number.

h = 30

, dual Coxeter number

h^{\lor} = 30

(self-dual), and indeed

ℓ \cdot h = 8 \cdot 30 = 240 = ∣Φ∣

, a general identity. Boxed answer:

dim E_{8} = 248, ∣Φ∣ = 240, h = h^{\lor} = 30.

Common Misconceptions

" $B_{ℓ}$ and $C_{ℓ}$ are isomorphic because they have the same dimension." False.

so_{2 ℓ + 1}

and

sp_{2 ℓ}

both have dimension

ℓ (2 ℓ + 1)

, but their Dynkin diagrams differ: the double-bond arrow points toward the short root in

B_{ℓ}

and toward the long root in

C_{ℓ}

. Their root systems are dual (

B_{ℓ}^{\lor} = C_{ℓ}

), not equal, and the algebras are non-isomorphic for

ℓ \geq 3

. They genuinely coincide only at

ℓ = 2

(

B_{2} = C_{2}

). The classification fails outside its hypotheses. Over fields of positive characteristic there are additional simple Lie algebras (Cartan-type, Witt, Hamiltonian algebras) not in this list. Over non-algebraically-closed fields one must classify real forms (each complex type has several), and in infinite dimensions one obtains the much larger world of Kac–Moody and affine Lie algebras. Low-rank coincidences violate naïve "one diagram per algebra" expectations. The seemingly distinct diagrams

D_{2}

and

A_{1} \times A_{1}

describe the same (non-simple, semisimple) algebra:

so_{4} ≅ sl_{2} \oplus sl_{2}

. Likewise

D_{3} = A_{3}

(

so_{6} ≅ sl_{4}

) and

B_{2} = C_{2}

(

so_{5} ≅ sp_{4}

). These are exactly why the rank ranges in [4] are restricted — to make the parametrization a bijection with no double-counting.

Connections

The classification sits at the crossroads of several theories. Through Root Systems and the Weyl Group it connects to reflection-group combinatorics and Coxeter theory. Via Highest Weight Theory it controls all finite-dimensional Representations of Semisimple Lie Algebras. Exponentiating, it underlies the classification of Compact Lie Groups and, through Cartan's Symmetric Spaces, of Riemannian symmetric spaces. The same Cartan matrices generalize to define Kac-Moody Algebras (drop positive-definiteness) and, with quantum deformation, Quantum Groups. The exceptional $E_{8}$ links to the Leech Lattice and modular forms via lattice theory.

Real-World Applications

The Standard Model gauge group. $S U (3) \times S U (2) \times U (1)$ has Lie algebra $su (3) \oplus su (2) \oplus u (1)$ — built from $A_{2}$ and $A_{1}$ factors; the eight gluons are exactly $dim su (3) = 8$ .
Grand Unified Theories. Georgi–Glashow $S U (5)$ ( $A_{4}$ ), Pati–Salam $S O (10)$ ( $D_{5}$ ), and $E_{6}$ GUTs use specific entries of the list; the $27$ of $E_{6}$ packages a fermion generation.
Heterotic string theory. The gauge group $E_{8} \times E_{8}$ (the largest exceptional, twice over) is one of only two anomaly-free choices.
Integrable systems. Toda lattices are labeled by Dynkin diagrams; the affine versions classify integrable PDE hierarchies.
ADE singularities. Simple surface singularities (du Val / Kleinian) are classified by the simply-laced diagrams $A_{ℓ}, D_{ℓ}, E_{6}, E_{7}, E_{8}$ , linking Lie theory to algebraic geometry and McKay's correspondence with finite subgroups of $S U (2)$ .
Quantum spin chains and conformal field theory. WZW models and their fusion rules are organized by affine extensions of these algebras; central charges depend on $dim g$ and $h^{\lor}$ .
Crystallography and quasicrystals. $H_{3}, H_{4}$ noncrystallographic groups arise as folds of $D_{6}, E_{8}$ root systems, modeling icosahedral quasicrystal symmetry.

Historical Development

1873–1888 — Sophus Lie founds the theory of continuous transformation groups and their infinitesimal algebras.
1888–1890 — Wilhelm Killing publishes Die Zusammensetzung der stetigen endlichen Transformationsgruppen, introducing the characteristic equation, roots, rank, and the Cartan matrix concept; he obtains essentially the full list but with gaps and the erroneous duplicate exceptional algebra.
1894 — Élie Cartan's thesis rigorously establishes the classification, corrects Killing's errors (merging the spurious pair into $F_{4}$ ), and definitively names the four families and five exceptionals.
1913 — Cartan develops the theory of weights and classifies irreducible representations via highest weights.
1925–1926 — Hermann Weyl proves complete reducibility (Weyl's theorem) and the character/dimension formulas, recasting the subject in terms of compact groups (the "unitarian trick").
1933 — Bartel van der Waerden gives a purely algebraic proof of the classification using root systems abstractly.
1934 — Ernst Witt independently formalizes root systems and their classification.
1947 — Eugene Dynkin introduces the Dynkin diagram, making the enumeration transparent and standard; Serre later (1966) supplies the generators-and-relations reconstruction.
1950s onward — Chevalley constructs the algebras over arbitrary fields (Chevalley groups), extending the reach of the classification to finite simple groups of Lie type.

Subtleties & Limits

The finite-dimensional classification is complete and closed — there are no open cases. The frontier lies in its generalizations and refinements. The classification of infinite-dimensional Lie algebras (Kac–Moody of indefinite type) remains wide open: only finite and affine types are fully understood, while the hyperbolic and general indefinite Cartan matrices resist classification. The structure and representation theory of these (e.g. the conjectural role of $E_{10}$ and $E_{11}$ in M-theory and cosmological billiards) is an active research domain. In positive characteristic, the classification of simple modular Lie algebras was only completed for $p > 3$ (Block–Wilson–Premet–Strade, c. 2004), and the cases $p = 2, 3$ involve exotic algebras still being catalogued. Whether the deepest physical role of $E_{8}$ — proposed in various unification and "theory of everything" schemes — is fundamental or coincidental remains an open question of physics rather than mathematics.