Root datum
= Root datum
{wiki}
A root datum is a quadruple $(X^*,\Phi,X_*,\Phi^\vee)$ of dual lattices, roots, and coroots with the natural perfect pairing and reflection axioms. A reductive group with maximal torus $T$ has $X^*=X^*(T)$ and $X_*=X_*(T)$.