Highest-weight vector
= 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>.
= 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>.