在抽象代数中，若一个环 A上的模 M 其子群只有{0}及自身，则称M 为单模。换言之，环 A 上的单模是 A-模范畴中的单对象。单模又称不可约模。