类来自I.N.伯恩斯坦、I.M.盖尔芳特 与S.I.盖尔芳特 的工作与N. Verma的工作。简言之，存在非零态射formula_60若且仅若 存在一串权使得存在正根formula_73使formula_74（其中formula_75是根反映（根系），而formula_76是所有基本权之和）且对每一formula_77，formula_78为一自然数（其中formula_79是根formula_73之对偶根（））。若Verma模formula_39与formula_27俱为regular，则仅