Extremal weight space (source code)

= Extremal weight space

For a finite-dimensional irreducible <highest-weight representation> with highest weight $\lambda$, every weight in the <Weyl group> orbit $W\lambda$ is extremal and has <weight multiplicity> one.