Injectivity of sl2 lowering above weight zero (source code)

= Injectivity of sl2 lowering above weight zero
{c}

On any finite-dimensional $\mathfrak{sl}_2$-module, the lowering operator $f$ is injective from the $m$-weight space to the $(m-2)$-weight space whenever $m>0$. This follows on each irreducible summand from its standard weight string.