可分割模块

A类模块超过单元环 被称为可除的，如果不是零因子，每个要素属于可以“除以”从元素的意义上说在里面这样的话。此条件可以重新表述为乘以定义一个surpjective map到.

可以证明，每个内射-模是可分的，但相反的只适用于特定的环的类，例如主理想域。自和显然是可以分割的-模块，这允许我们得出结论，它们也是内射的。

添加剂阿贝尔群如果它是可分的-模块。