Intermediate-series sl2 module

ID: intermediate-series-sl2-module

An intermediate-series -module has one-dimensional weight spaces indexed by all integers. In the basis , one useful normalization is
It is irreducible exactly when every raising coefficient is nonzero.

New to topics? Read the docs here!