Verma模（Verma module）是李代数表示理论中的基本研究对象，其名取自Daya-Nand Verma。Verma模之间的态射相应于旗流形上的不变微分算子。可用Verma模来证明以下命题：最高权为formula_1的最高权表示的维数有限，若且仅若formula_1是支配整权（）。
Verma模的定义.设：此自然地是一左formula_4－模。从Poincaré-Birkhoff-Witt定理可知：formula_27，作为一向量空间，同构于其中formula_29