在群论中,一个可除群是一个满足以下条件的阿贝尔群 G {\displaystyle G} :对每个正整数 n {\displaystyle n} 及元素 g ∈ G {\displaystyle g\in G} ,存在 h ∈ G {\displaystyle h\in G} 使得 n h = g {\displaystyle nh=g} 。等价的表法是: ∀ n > 0 , n G = G {\displaystyle \forall n>0,\;nG=G} 。事实上,可除群恰好是 Z {\displaystyle \mathbb {Z} } 上的内射模,所以有时也称之为内射群。
令 G {\displaystyle G} 为可解群,则其挠子群 T o r ( G ) {\displaystyle \mathrm {Tor} (G)} 亦可除。由于可解群是 Z {\displaystyle \mathbb {Z} } -内射模, T o r ( G ) {\displaystyle \mathrm {Tor} (G)} 是直和项,即:
商群 G / T o r ( G ) {\displaystyle G/\mathrm {Tor} (G)} 亦可解,而且其中没有挠元,所以它是 Q {\displaystyle \mathbb {Q} } -上的向量空间:存在集合 I {\displaystyle I} 使得
挠子群的结构稍复杂,然而可以证明对所有素数 p {\displaystyle p} ,存在 I p {\displaystyle I_{p}} 使得
其中 T o r ( G ) ) p {\displaystyle \mathrm {Tor} (G))_{p}} 是 T o r ( G ) {\displaystyle \mathrm {Tor} (G)} 是的 p {\displaystyle p} -准素部分。于是:
一个环 R {\displaystyle R} 上的左可除模是满足 ∀ r ≠ 0 ∈ R , r M = M {\displaystyle \forall r\neq 0\in R,\;rM=M} 的模 M {\displaystyle M} 。可除群不外是可除 Z {\displaystyle \mathbb {Z} } -模。主理想域上的可除模恰好是内射模。