1: \begin{definition} \label{Verma}

2: Define $ \Verma{\lambda}:=\UHbar{\mfg} / I^{\lambda}$. $\Verma{\lambda}$ is generated as a module by the coset $v_{\lambda}:=1+I^{\lambda}$ with relations

3: \[ X_iv_{\lambda}=0, \qquad H_iv_{\lambda}=\lambda(H_i)v_{\lambda},  \qquad K_{\gamma}v_{\lambda}=\prod\limits_{i=1}^nq_i^{k_i\lambda(H_i)}v_{\lambda}, \]

4: where $\gamma=\sum\limits k_i \alpha_i \in L$. It follows from Theorem \ref{PBW} that $M^{\lambda}$ has basis $\{X_{\beta_1}^{k_1}X_{\beta_2}^{k_2} \cdots X_{\beta_N}^{k_N}v_{\lambda} \; | \; 0\leq k_i < r_{\beta_i} \}$.

5: \end{definition}