Highest-weight representation (source code)

= Highest-weight representation
{wiki=Highest-weight_representation}

A highest-weight representation is generated by a <weight vector> killed by every positive-root subspace.