ion）。Verma模有一重要性质：若formula_42为任一最高权模，其最高权为formula_1，则存在一formula_4 满射：formula_45。换言之，任何最高权模都是formula_27的商模。formula_27内存在唯一极大子模，而formula_27与此子模之商是不可约的。Verma模formula_27本身不可约 若且仅若 当其最高权formula_1分解成基本权（）之和时，每一系数都不是formula_51。称Verma模formula_27为regular，若其