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