可除模

在一個 單位環 上的 模 被稱為可除的，如果對於所有非零因子的 ， 的每個元素 都可以被 “除”，在這個意義上，存在一個 中的元素 使得 。這個條件可以被重新表述為：乘以 定義了一個從 到 的滿射。

可以證明，每個內射 -模都是可除的，但反之僅對特定型別的環成立，例如，對於主理想整環。由於 和 顯然是可除的 -模，這使我們能夠得出結論，它們也是內射的。

如果加法 阿貝爾群 作為 -模是可除的，則稱其為可除的。