單模

在抽象代數中，若一個環  上的模  其子群只有  及自身，則稱  為單模。換言之，環  上的單模是 -模範疇中的單對象。單模又稱不可約模。

例子
 當  為除環時，其上的單模不外是一維的 -向量空間。
 若  是  的左理想，則  為單 -模若且唯若  是極大左理想；右理想的情形亦同。

性質
 單模即長度為一的。
 單模是不可分解的：它無法寫成兩個非零子模的直和，但是反之則不然。
 一般而言，模不一定有單子模。例如  的每個子模都同構於 ，故無單子模。
 若  是單 -模之間的同態，則或者  是同構，或者 。由此可證任一單模  的自同態環  是除環。

參見
 半單模
 單群

D