 Highest-weight vector

A highest-weight vector is a nonzero weight vector annihilated by every positive-root raising operator. The module it generates is a highest-weight representation.