不可约子模

一个子模 是一个模 的子模，如果它不是严格包含它的 的两个子模的交集。换句话说，对于 的所有子模 和 ，

使用不太常见的术语，这等价于要求商模 是交-不可约的。