 Solution

Use the coroot normalization ${\alpha }^{\vee }=2\alpha /(\alpha ,\alpha )$, with the pairing understood via the root system and its invariant inner product. A dominant integral weight, called a dominant weight here, is a functional $\lambda \in {\mathfrak{t}}^{\ast }$ such thatEquivalently, $\lambda ={\sum }_i{n}_i{\omega }_i$ with $n_i\in {\mathbb{Z}}_{\ge 0}$, where the fundamental weights satisfy $⟨{\omega }_i,{\alpha }_j^{\vee }⟩={\delta }_{ij}$. If dominance and integrality are defined separately, dominance means the inequalities and membership in the weight lattice means integrality.

A highest-weight vector is a nonzero weight vector $v\in V_{\lambda }$, so $h\cdot v=\lambda (h)v$ for all $h\in \mathfrak{t}$, annihilated by every positive root space:The last condition is equivalently annihilation by the raising operators for the simple roots.