 Lowering 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$.