In the context of algebraic groups and Lie algebras, a **root datum** is a structured way of encoding certain aspects of the symmetries and properties of these mathematical objects. Specifically, a root datum consists of the following components: 1. **A finite set of roots**: These are usually vectors in a Euclidean space, which can be thought of as directions that reflect the symmetries of the system.
New to topics? Read the docs here!