Plan:
- -----simple Lie algebra
- -----------weight
- c -------dominant weight
- -----has singular vector
- and ---- generic
- --------Verma module
- -------------finite-dimensional module
- -weight,
- -weight subspace
- -------------dominant weight
- ----------finite-dimensional module
- ----space of g-invariant homomorphismata
- ----space of g-invariant homomorphisma
- For generic,
- For generic,
- For sufficiently large, is an isomorphism.
- -----------dynamical Weyl operator
- ----commutes with