一个非零模 在一个环
上,其唯一的子模是模本身和零模。它也称为单模,事实上,这个名称现在更常用 (Rowen, 1988)。Behrens (1972, 第 23 页) 的定义包括附加条件,即
不是零模。
有时,术语不可约用作交不可约的缩写 (Kasch 1982),这意味着两个非零子模的交集始终是非零的。
这两个不可约概念是不同的:每个不可约模都是交不可约的,但反之则不然。例如, 的子模是
、
和
,所以
不是不可约的,但它肯定是交不可约的。
这种术语上的歧义在环的上下文中得到解决,因为单环是作为自身上的模不可约的环,而不可约环是作为自身上的模交不可约的环。
不可约模在表示理论中起着至关重要的作用。