Maximal proper submodule of a dominant integral Verma module

ID: maximal-proper-submodule-of-a-dominant-integral-verma-module

If is a dominant integral weight, the maximal proper submodule of is generated by the simple-root singular vectors
The generator associated with has weight .

New to topics? Read the docs here!