費馬模(Verma module)一類重要的最高權模.設g<A)是關聯於復矩陣A的李代數，M<n)是以n為最高權的g(A)模，若每個以n為最高權的g(A)模都是(同構於)Mcn)的一個商模，則稱Mcn}為費馬模.對任意的nEh‘均存在惟一的一個費馬模Mcn}.若U(g(A))是g(A)的普遍包絡代數，J(n)是由n+及h-n(h) (hE6)生成的U(g(A))的左理想，若M<n>=U<g<A;/J<n>，則U<g<A;的左乘運算就可在Mcn)上導出g(A)模結構，它就是g(A)的一個費馬模.
