可除群

数学、とくに群論の分野において、**可除群** (divisible group) はアーベル群であって全ての元がある意味で正の整数によって割ることのできるもの、より正確には、すべての元が各正整数 *n* に対して *n* 倍元であるものである。可除群はとくに移入アーベル群であることを理由にアーベル群の構造の理解において重要である。

## 定義
アーベル群 (*G*, +) が**可除** (divisible) であるとは、すべての正の整数 *n* とすべての *g* &isin; *G* に対して、ある *y* &isin; *G* が存在して、*ny* = *g* となることをいう。これは任意の正の整数 *n* に対して *nG* = *G* といっても同じである。なぜならば、すべての *n* と *g* に対しての *y* の存在から *nG* ⊇ *G* が言え、逆の *nG* ⊆ *G* は任意の群に対して正しいからである。また別の同値条件として、アーベル群 *G* が可除であることと *G* がアーベル群の圏における入射対象であることは同値である。この理由のため、可除群は**入射群**と呼ばれることがある。

アーベル群が素数 *p* に対して *p*-**可除** (*p*-divisible) とは、すべての正の整数 *n* とすべての *g* &isin; *G* に対してある *y* &isin; *G* が存在して *p**n**y* = *g* となることをいう。あるいは同じことだが、アーベル群が *p*-可除であることと *pG* = *G* であることは同値である。

## 例
* 有理数全体 \mathbb Q は加法のもと可除群をなす。
* より一般に、\mathbb Q 上の任意のベクトル空間を加法群と見たものは可除である。
* 可除群のすべての商群は可除である。したがって、\mathbb Q/\mathbb Z は可除である。
* \mathbb Q/ \mathbb Z の *p*- \mathbb Z[1/p]/\mathbb Z、これは *p*-準巡回群 \mathbb Z[p^\infty] と同型であるが、可除である。
* 複素数体の乗法群 \mathbb C^* は可除である。
* （モデル理論の意味で）なすべての群は可除である。

## 性質
* 可除群がアーベル群の部分群であればである。
* 任意のアーベル群は可除群に埋め込むことができる。
* 非自明な可除群は有限生成でない。
* さらに、すべてのアーベル群は可除群に一意的にとして埋め込むことができる。
* アーベル群が可除であることと全ての素数 *p* に対して *p*-可除であることは同値である。
* *A* を環とする。*T* が可除群であれば、\mathrm{Hom}_\mathbf{Z} (A,T) は *A* 加群の圏において単射的である。

## 可除群の構造定理
*G* を可除群とすると、*G* の捩れ部分群 Tor(*G*) は可除である。可除群は入射加群であるから、Tor(*G*) は *G* のである。したがって

:G = \operatorname{Tor}(G) \oplus  G/\operatorname{Tor}(G)

である。可除群の商であるから、*G*/Tor(*G*) は可除である。さらに、トーションがない。したがって、これは **Q** 上のベクトル空間であり、ある集合 *I* が存在して

:G/\operatorname{Tor}(G) = \textstyle\bigoplus_{i \in I} \mathbb Q = \mathbb Q^{(I)}

となる。捩れ部分群の構造は決定するのが難しいが、すべての素数 *p* に対してある I_p が存在して

:(\operatorname{Tor}(G))_p = \textstyle\bigoplus_{i \in I_p} \mathbb Z[p^\infty] = \mathbb Z[p^\infty]^{(I_p)}

となることを示すことができる。ここで (\operatorname{Tor}(G))_p は Tor(*G*) の *p*-準素成分である。

したがって、**P** を素数全体の集合とすれば、

:G = \left(\bigoplus_{p \in \mathbf P} \mathbb Z[p^\infty]^{(I_p)}\right) \oplus \mathbb Q^{(I)}.

集合 *I* および *p*&isin;**P** に対して *I**p* の濃度は群 *G* によって一意的に決まる。

## 移入包絡

上に述べたように、任意のアーベル群 *A* は可除群 *D* にとして一意的に埋め込むことができる。この可除群 *D* は *A* の最小の入射拡大 (**injective envelope**) であり、この概念はアーベル群の圏（-加群の圏）における移入包絡である。

## 被約アーベル群
アーベル群が**被約** (reduced) とは、その可除部分群が {0} のみであることをいう。すべてのアーベル群は1つの可除部分群と1つの被約部分群の直和である。実は、任意の群には一意的な最大の可除部分群が存在して、この可除群は直和因子である。これは整数環 **Z** のような遺伝環の特別な性質である：環がネーター的だから移入加群の直和は移入であり、環が遺伝的だから移入加群の商加群は移入的であり、したがって移入加群で生成される任意の部分加群は移入的である。逆は  の結果である：任意の加群が一意的な極大移入部分加群を持てば、環は遺伝的である。

可算被約周期的アーベル群の完全な分類はによって与えられる。

## 一般化
可除群を可除加群に一般化するいくつかの異なる定義。以下の定義は環 *R* 上の可除加群 *M* を定義するために文献で使われている：
# すべての 0 ≠ *r* &isin; *R* に対して *rM* = *M* 。（*r* が零因子でないことを要求することもあるし、*R* が整域であることを要求することもある。）
# すべての主左イデアル *Ra* に対し、*Ra* から *M* への任意の準同型は *R* から *M* への準同型に拡張する。（このタイプの可除加群は *principally injective module* とも呼ばれる。）
# *R* のすべての有限生成左イデアル *L* に対して、*L* から *M* への任意の準同型は *R* から *M* への準同型に拡張する。

後ろ2つの条件は移入加群に対する Baer の判定法の「制限バージョン」である。移入左加群は*すべての*左イデアルからの準同型が *R* からの準同型へと拡張するから、移入加群は明らかに 2 と 3 の意味で可除である。

*R* がさらに整域であれば、3つの条件はすべて一致する。*R* が主左イデアル整域であれば、可除加群は移入加群と一致する。したがって、主イデアル整域である整数環 **Z** の場合には、**Z** 加群（これはちょうどアーベル群）が可除であることと移入的であることは同値である。

*R* が可換整域であれば、移入 *R* 加群が可除 *R* 加群と一致することと *R* がデデキント整域であることは同値である。

## 脚注

## 参考文献
* With an appendix by David A. Buchsbaum; Reprint of the 1956 original 
*
* 
*   Chapter 13.3.
* 
*
* 
*
*