在数学的抽象代数中，环上的模(module over a ring)的概念是对向量空间概念的推广，这里不再要求向量空间里的纯量的代数结构是体(field)，进而放宽纯量可以是环(ring)。因此，模同向量空间一样是加法交换群；在环元素和模元素之间定义了乘积运算，并且环元素和模元素的乘积是符合结合律的（在同环中的乘法一起用的时候）和分配律的。模非常密切的关联于群的表示理论。它们还是交换代数和同调代数的中心概念，并广泛的用于代数几何和代数拓扑中。
定义.假设"R" 是环(rin