Raising operator (source code)

= Raising operator
{wiki=Ladder_operator}

A raising operator is a positive-root vector. Acting on a weight vector of weight $\mu$ either gives zero or a weight vector of weight $\mu+\alpha$.