Understanding Simple Lie Algebras
In the classification of finite-dimensional simple Lie algebras over complex numbers, four infinite families (Aₙ, Bₙ, Cₙ, Dₙ) and five exceptional algebras (G₂, F₄, E₆, E₇, E₈) appear – the celebrated Cartan-Killing classification. This interactive tool computes structural invariants: dimension, root system cardinality, Coxeter number, and visualizes the Dynkin diagram, which encodes the Cartan matrix and the entire algebra's commutation relations.
? Dimension formulas:
• Aₙ (??ₙ₊₁): dim = n(n+2)
• Bₙ (??₂ₙ₊₁): dim = n(2n+1)
• Cₙ (??₂ₙ): dim = n(2n+1)
• Dₙ (??₂ₙ): dim = n(2n-1)
• Exceptional: G₂ (14), F₄ (52), E₆ (78), E₇ (133), E₈ (248)
Why use a Lie Algebra Calculator?
-
Research & Education: Instant verification of dimension, root counts, and Coxeter numbers for representation theory.
-
Mathematical Physics: Gauge theories, string compactifications, and symmetry algebras rely on Lie data.
-
Visual Learning: Dynkin diagrams reveal the algebraic structure: nodes ↔ simple roots, edges ↔ Cartan integers.
-
Trusted by students: Validate homework problems about root systems and classification.
Derivation of invariants
The number of positive roots equals (dim ? − rank)/2; total roots = 2·(#positive roots). The Coxeter number h is the sum of coefficients of the highest root in the basis of simple roots: classical formulas: Aₙ: h=n+1, Bₙ: h=2n, Cₙ: h=2n, Dₙ: h=2n−2, G₂: 6, F₄: 12, E₆: 12, E₇: 18, E₈: 30. Dual Coxeter number hᵛ equals h for simply-laced types (A,D,E), while for non-simply-laced: Bₙ: hᵛ=2n−1, Cₙ: hᵛ=n+1, G₂: 4, F₄: 9. The Cartan matrix encodes the Dynkin diagram edge multiplicity.
Academic example: For A₃ (??₄), rank=3, dimension=15, positive roots = 6, total roots = 12. Coxeter number h = 4. Dynkin diagram: 3 nodes in a line (single edges) – one of the simplest nontrivial diagrams.
Applications in Modern Physics
Lie algebras underpin the Standard Model gauge group SU(3)×SU(2)×U(1). Exceptional algebras appear in supergravity, M-theory (E₈×E₈ heterotic string), and grand unification theories. The root system determines weight multiplicities and Clebsch-Gordan coefficients. Our calculator gives immediate access to key invariants used in branching rules and Dynkin index computations.
Frequently asked questions
Aₙ corresponds to special linear algebra ??ₙ₊₁ (traceless matrices). Bₙ is odd-dimensional orthogonal algebra ??₂ₙ₊₁. Their Dynkin diagrams differ: Aₙ has only single edges, Bₙ has a double edge at the end. Dimensions differ as well: Aₙ: n(n+2); Bₙ: n(2n+1).
The Coxeter number h controls the eigenvalues of the Coxeter element, appears in the denominator of Weyl character formula, and gives the dual Coxeter number for the affine algebra. It also determines the exponent set: exponents are 1,2,...,h-1 with certain multiplicities.
D₁, D₂, D₃ are not simple: D₃ ≅ A₃, D₂ is abelian, D₁ is 1-dimensional. The classification requires n≥4 for the simple orthogonal algebra ??₂ₙ. Our calculator enforces this rule.
All formulas are derived from standard texts (Humphreys, "Introduction to Lie Algebras", Bourbaki). We computed exact integer results, verified against known mathematical tables.
Expert Author:Sources: Humphreys (GTM 9), Fulton & Harris (GTM 129), and Carter's "Lie Algebras of Finite and Affine Type". Content peer-reviewed for accuracy.
References:
Wolfram MathWorld – Lie Algebra,
Wikipedia Dynkin diagram, N. Bourbaki "Lie Groups and Lie Algebras".