定義極小子模(minimal submodule)與極大子模是互為對偶的概念.若N是A模M的子模，並且不存在嚴格包含在N內的M的非零子模(即，若N'是M的非零子模，且N' c N，則一定有N' = N成立)，則稱N為M的極小子模.A模M是單模的充分必要條件為M是它的極小子模.
