是formula_39权formula_41写成正根之和之方法之数（参见Kostant partition function）。Verma模有一重要性质：若formula_42为任一最高权模，其最高权为formula_1，则存在一formula_4满射：formula_45。换言之，任何最高权模都是formula_27的商模。formula_27内存在唯一极大子模，而formula_27与此子模之商是不可约的。Verma模formula_27本身不可约 若且仅若 当其最高权formula_1分