Lie Theory#
Introduction to Lie Theory
Overview of Lie theory in Magma.
Coxeter Systems
Coxeter matrices, Coxeter graphs, Cartan matrices and Dynkin diagrams.
Root Systems
Root systems, Dynkin diagrams and Cartan matrices.
Root Data
Root data, coroots, weights and related constructions.
Coxeter Groups
Coxeter group constructors, word arithmetic and Bruhat order.
Reflection Groups
Real and complex reflection groups and their properties.
Lie Algebras
Structure constants, subalgebras, ideals and derivations.
Kac-Moody Lie Algebras
Construction and structural invariants of Kac-Moody Lie algebras.
Quantum Groups
Quantized enveloping algebras, their representations and Hopf structure.
Groups of Lie Type
Groups of Lie type, Borel subgroups and parabolic subgroups.
Representations of Lie Groups and Algebras
Highest weight representations of Lie algebras and reductive algebraic groups.