如果 
是 子模 
在环 
上，则 商群 
具有 
-模的自然结构，其乘积定义为
 |
对于所有 
和所有 
。
商模
另请参阅
商群, 商环此条目由 Margherita Barile 贡献
使用 Wolfram|Alpha 探索
引用为
巴里莱, Margherita. "商模." 来自 MathWorld--Wolfram Web 资源, 由 Eric W. Weisstein 创建. https://mathworld.net.cn/QuotientModule.html