Lie Theory

The current elements of the machinery for Lie theory comprise:

• Root datum for Lie groups

• Coxeter groups

• Groups of Lie type

• Complex reflection groups

• Finite-dimensional Lie algebras (See section on Algebras)