Exceptional Lie algebra

Template:Short description Template:Format footnotes In mathematics, an exceptional Lie algebra is a complex simple Lie algebra whose Dynkin diagram is of exceptional (nonclassical) type. There are exactly five of them: ${\mathfrak{𝔤}}_2,{\mathfrak{𝔣}}_4,{\mathfrak{𝔢}}_6,{\mathfrak{𝔢}}_7,{\mathfrak{𝔢}}_8$; their respective dimensions are 14, 52, 78, 133, 248. The corresponding diagrams are:

• G₂ : Template:Dynkin2
• F₄ : Template:Dynkin2
• E₆ : Template:Dynkin2
• E₇ : Template:Dynkin2
• E₈ : Template:Dynkin2

In contrast, simple Lie algebras that are not exceptional are called classical Lie algebras (there are infinitely many of them).

Construction

There is no simple universally accepted way to construct exceptional Lie algebras; in fact, they were discovered only in the process of the classification program. Here are some constructions:

• § 22.1-2 of give a detailed construction of ${\mathfrak{𝔤}}_2$.
• Exceptional Lie algebras may be realized as the derivation algebras of appropriate nonassociative algebras.
• Construct ${\mathfrak{𝔢}}_8$ first and then find ${\mathfrak{𝔢}}_6,{\mathfrak{𝔢}}_7$ as subalgebras.
• Tits has given a uniformed construction of the five exceptional Lie algebras.

References

• Template:Fulton-Harris

Further reading

• https://www.encyclopediaofmath.org/index.php/Lie_algebra,_exceptional
• http://math.ucr.edu/home/baez/octonions/node13.html

Template:Asbox