Singular vector (source code)

= Singular vector
{wiki=Highest-weight_representation#Verma_modules}

A singular vector is a nonzero <weight vector> annihilated by the positive nilpotent subalgebra $\mathfrak n^+$.