不可約子模

一個子模 是一個模 的子模，如果它不是嚴格包含它的 的兩個子模的交集。換句話說，對於 的所有子模 和 ，

使用不太常見的術語，這等價於要求商模 是交-不可約的。