一个子模 是一个模
的子模,如果它不是严格包含它的
的两个子模的交集。换句话说,对于
的所有子模
和
,
使用不太常见的术语,这等价于要求商模 是交-不可约的。
此条目由 Margherita Barile 贡献
Barile, Margherita. "不可约子模。" 来自 MathWorld——Wolfram Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/IrreducibleSubmodule.html