可除群

数学、とくに群論の分野において、可除群 (divisible group) はアーベル群であって全ての元がある意味で正の整数によって割ることのできるもの、より正確には、すべての元が各正整数 "n" に対して "n" 倍元であるものである。可除群はとくに移入アーベル群であることを理由にアーベル群の構造の理解において重要である。
定義.
アーベル群 ("G", +) が可除 (divisible) であるとは、すべての正の整数 "n" とすべての "g" ∈ "G" に対して、ある "y" ∈ "G" が存在して、"ny" = "g" となることをいう。これは任意の正の整数 "n" に対して "nG" = "G" といっても同じである。なぜならば、すべての "n" と "g" に対しての "y" の存在から "nG" ⊇ "G" が言え、逆の "nG" ⊆ "G" は任意の群に対して正しいからである。また別の同値条件として、アーベル群 "G" が可除であることと "G" がアーベル群の圏における入射対象であることは同値である。この理由のため、可除群は入射群と呼ばれることがある。
アーベル群が素数 "p" に対して "p"-可除 ("p"-divisible) とは、すべての正の整数 "n" とすべての "g" ∈ "G" に対してある "y" ∈ "G" が存在して "p""n""y" = "g" となることをいう。あるいは同じことだが、アーベル群が "p"-可除であることと "pG" = "G" であることは同値である。
可除群の構造定理.
"G" を可除群とすると、"G" の捩れ部分群 Tor("G") は可除である。可除群は入射加群であるから、Tor("G") は "G" のである。したがって
である。可除群の商であるから、"G"/Tor("G") は可除である。さらに、トーションがない。したがって、これは Q 上のベクトル空間であり、ある集合 "I" が存在して
となる。捩れ部分群の構造は決定するのが難しいが、すべての素数 "p" に対してある formula_11 が存在して
となることを示すことができる。ここで formula_13 は Tor("G") の "p"-準素成分である。
したがって、P を素数全体の集合とすれば、
集合 "I" および "p"∈P に対して "I""p" の濃度は群 "G" によって一意的に決まる。
移入包絡.
上に述べたように、任意のアーベル群 "A" は可除群 "D" にとして一意的に埋め込むことができる。この可除群 "D" は "A" の最小の入射拡大 (injective envelope) であり、この概念はアーベル群の圏（-加群の圏）における移入包絡である。
被約アーベル群.
アーベル群が被約 (reduced) とは、その可除部分群が {0} のみであることをいう。すべてのアーベル群は1つの可除部分群と1つの被約部分群の直和である。実は、任意の群には一意的な最大の可除部分群が存在して、この可除群は直和因子である。これは整数環 Z のような遺伝環の特別な性質である：環がネーター的だから移入加群の直和は移入であり、環が遺伝的だから移入加群の商加群は移入的であり、したがって移入加群で生成される任意の部分加群は移入的である。逆は の結果である：任意の加群が一意的な極大移入部分加群を持てば、環は遺伝的である。
可算被約周期的アーベル群の完全な分類はによって与えられる。
一般化.
可除群を可除加群に一般化するいくつかの異なる定義。以下の定義は環 "R" 上の可除加群 "M" を定義するために文献で使われている：
後ろ2つの条件は移入加群に対する Baer の判定法の「制限バージョン」である。移入左加群は"すべての"左イデアルからの準同型が "R" からの準同型へと拡張するから、移入加群は明らかに 2 と 3 の意味で可除である。
"R" がさらに整域であれば、3つの条件はすべて一致する。"R" が主左イデアル整域であれば、可除加群は移入加群と一致する。したがって、主イデアル整域である整数環 Z の場合には、Z 加群（これはちょうどアーベル群）が可除であることと移入的であることは同値である。
"R" が可換整域であれば、移入 "R" 加群が可除 "R" 加群と一致することと "R" がデデキント整域であることは同値である。