可除群

在群論中 ， 一個可除群是一個滿足以下條件的阿貝爾群 ： 對每個正整數 及元素 ， 存在 使得 。 等價的表法是 ： 。 事實上 ， 可除群恰好是 上的內射模 ， 所以有時也稱之爲內射群 。