一個非零模 在一個環
上,其唯一的子模是模本身和零模。它也稱為單模,事實上,這個名稱現在更常用 (Rowen, 1988)。Behrens (1972, 第 23 頁) 的定義包括附加條件,即
不是零模。
有時,術語不可約用作交不可約的縮寫 (Kasch 1982),這意味著兩個非零子模的交集始終是非零的。
這兩個不可約概念是不同的:每個不可約模都是交不可約的,但反之則不然。例如, 的子模是
、
和
,所以
不是不可約的,但它肯定是交不可約的。
這種術語上的歧義在環的上下文中得到解決,因為單環是作為自身上的模不可約的環,而不可約環是作為自身上的模交不可約的環。
不可約模在表示理論中起著至關重要的作用。