a_64带到formula_1。此为Harish-Chandra无限小中心特征标定理之一推论。每一Verma模 态射都是单射。态射空间之维度其中formula_67为任何两权。因此，存在一非零态射formula_60若且仅若formula_39同构于formula_27的一（唯一）子模。Verma模态射的完整分类来自I.N.伯恩斯坦、I.M.盖尔芳特 与S.I.盖尔芳特 的工作与N. Verma的工作。简言之，存在非零态射formula_60若且仅若 存在一串权使得存在正根formu