模论是抽象代数学的重要组成部分之一，主要研究环上的模。模的概念本质上是域上向量空间的直接推广。早在19世纪，狄利克雷(Dirichlet，P.G.L.)就曾经考虑过多项式环上的模，20世纪20年代，诺特(Noether，E.)曾一再提出过模的重要作用。模是一个重要的代数系统。它是一个带算子区A的交换(加)群M。上同调模(cohomology modules)是一种重要的模。指由上复形给出的模。