Let g\mathfrak g be a complex semisimple Lie algebra and h⊂g\mathfrak h\subset\mathfrak g a . A of a representation is, by definition, an element of the dual space h∗\mathfrak h^\ast, i.e. a linear functional on h\mathfrak h. The root system Δ\Delta of g\mathfrak g is also a subset of h∗\mathfrak h^\ast (see ), so weights and roots live in the same ambient vector space and can be compared geometrically.

Integral and dominant weights (standard semisimple setup)

Fix a set of and corresponding coroots Hα∈hH_\alpha\in\mathfrak h (defined so that β(Hα)\beta(H_\alpha) are the Cartan integers). The integral weight lattice is

P={λ∈h∗∣λ(Hα)∈Z for all simple roots α}.P=\{\lambda\in\mathfrak h^\ast\mid \lambda(H_\alpha)\in\mathbb Z\ \text{for all simple roots }\alpha\}.

A weight is dominant if λ(Hα)≥0\lambda(H_\alpha)\ge 0 for all simple roots. Highest-weight classification says finite-dimensional irreducibles are parametrized by dominant integral weights (compare ).