Highest-weight representation (source code)

= Highest-weight representation

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

The generating vector has a highest <Weight (representation theory)> relative to the chosen positive root system.