Lowering operator (source code)

= Lowering operator
{wiki=Ladder_operator}

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