如果是一个子模块的模块 在环上，的商群 具有自然结构-由定义产品的模块
为所有人以及所有.
此条目由贡献玛格丽塔巴里尔
更多需要尝试的事情：
玛格丽塔·巴里尔.“商模块”。来自数学世界--Wolfram Web资源，创建人埃里克韦斯特因.https://mathworld.wolfram.com/QuotientModule.html
