1: \begin{definition} \label{def:verma} 

2: Let $(\g^+, \g^0, \g^-)$ be a split triangular decomposition, 

3: $\fp := \g^0 + \g^+$ and $\lambda \in \h^*$. We extend $\lambda$ 

4: to a linear functional 

5: $\lambda \: \fp \to \K$ vanishing on all root spaces. 

6: We assume that $\lambda([\fp,\fp]) = \lambda([\g^0,\g^0]) =  \{0\}$, so that 

7: $\lambda$ defines a one-dimensional $\fp_\lambda$-module $\K_\lambda$. 

8: We write 

9: $$ M(\lambda,\fp) := \cU(\g)\otimes_{\cU(\fp)} \K_\lambda $$

10: for the corresponding {\it generalized Verma module} (cf.\ \cite{JK85}). 

11: This is a $\g$-module generated by a $1$-dimensional $\fp$-module 

12: $[\1 \otimes \K_\lambda]$ 

13: isomorphic to $\K_\lambda$, and each other $\g$-module with this 

14: property is a quotient of $M(\lambda,\fp)$. 

15: 

16: The  Poincar\'e--Birkhoff--Witt Theorem implies that 

17: the multiplication map \break 

18: $\cU(\g^-) \otimes \cU(\fp) \to \cU(\g)$

19: is a linear isomorphism, so that 

20: $$ M(\lambda,\fp) \cong \cU(\g_-)\otimes_\K \K_\lambda $$

21: as $\fh$-modules. In particular, $M(\lambda,\fp)$ has an 

22: $\fh$-weight decomposition, all weights are contained 

23: in the set 

24: $\lambda + \Spann_{\N_0} \Sigma^-$,

25: and (T4) implies that the multiplicity of the weight $\lambda$ is~$1$. 

26: Therefore 

27: $M(\lambda, \fp)$ contains a unique maximal submodule, namely 

28: the sum of all submodules not 

29: containing $v_\lambda$. This is a submodule whose 

30: set of weights does not contain $\lambda$, therefore it is proper 

31: (cf.\ \cite[Prop.~IX.1.12]{Ne00a} and \cite{JK85}). 

32: We write 

33: $L(\lambda,\fp)$ for the corresponding unique simple quotient 

34: and call it the {\it $\fp$-highest weight module} defined by $\lambda$. 

35: \end{definition}