Irreducible quotient of a Verma module
= Irreducible quotient of a Verma module
The sum of all proper submodules of $M_\lambda$ is its unique maximal proper submodule. The quotient is the unique irreducible highest-weight module $V(\lambda)$.
= Irreducible quotient of a Verma module
The sum of all proper submodules of $M_\lambda$ is its unique maximal proper submodule. The quotient is the unique irreducible highest-weight module $V(\lambda)$.