Highest weight of a dual representation (source code)

= Highest weight of a dual representation
{title2=$-w_0\lambda$}

For a finite-dimensional irreducible representation $L(\lambda)$ of a complex <semisimple Lie algebra>, its <dual Lie algebra representation> has <highest weight> $-w_0\lambda$, where $w_0$ is the <longest Weyl-group element>. Indeed duality negates all <weights>, and $w_0\lambda$ is the lowest weight of the original module. In particular $w_0=-I$ makes every such irreducible module self-dual.