介紹全律模(holonomic module)一類特殊的模.源於微分方程理論的全律組.設M是代數K上的模.若其中UK<)表示蓋爾范德一克銳洛夫維數，則M稱為全律模.若chK = 0而R=An <K)，則“}R為全律模等價於UK<M)=n.
