子模(submodule)是模论的重要概念之一，指A模M满足一定条件的子集。利用子模来研究模是一种常用方法。若N是交换加法群M的子群，并且A到M的运算也是A到N上的运算，即，对任意a∈A，y∈N，积ay∈N，则N本身也是A模，称为M的子模或子A模。任何一个非零A模M至少有两个子模，一个是零模(只有一个元素0)，另一个是M自己，称为M的平凡子模，而M的其余子模称为M的非平凡的子模。若N是M的子模，且N≠M，则称N为M的真子模。若 是A模M的子模簇，则 和 仍是M的子模。较为重要的子模有极大子模、极小子模、本质子模和多余子模等。模M的所有子模组成一个格。

本质子模(essential submodule)亦称大子模。是一类重要的子模。它是在一定程度上可代替模本身的子模，是多余子模的对偶概念。设K是A模M的子模，若对M的子模L，由K L=0可断言L=0(即，K与M的每个非零子模都相交)，则称K为M的本质子模，此时，称M是K的本质扩张。本质子模具有遗传性，即：若N是M的本质子模，K是N的本质子模，则K也是M的本质子模。