= Solution
The <Poincare-Birkhoff-Witt theorem> shows that the weights of the <Verma module> $M(\omega_2)$ are
$$
\boxed{\omega_2-Q_+
=\{\omega_2-n_1\alpha_1-n_2\alpha_2:n_1,n_2\in\mathbb Z_{\geq0}\},}
$$
with multiplicities given by the corresponding <Kostant partition function>.
The <Dynkin labels> of $\omega_2$ are $(0,1)$. Hence the two simple-root <singular vectors> are $f_1v_{\omega_2}$, of weight $\omega_2-\alpha_1$, and $f_2^2v_{\omega_2}$, of weight $\omega_2-2\alpha_2$. They generate the <Maximal proper submodule of a dominant integral Verma module>. Its set of weights is consequently
$$
\boxed{(\omega_2-\alpha_1-Q_+)\ \cup\ (\omega_2-2\alpha_2-Q_+).}
$$
Back to article page
