基本含义：子模(submodule)是模论的重要概念之一，指A模M满足一定条件的子集。

利用子模来研究模是一种常用方法。若N是交换加法群M的子群，并且A到M的运算也是A到N上的运算，即，对任意a∈A，y∈N，积ay∈N，则N本身也是A模，称为M的子模或子A模。