群の直和

数学における群の**直和**（ちょくわ、）は、与えられた群のあつまりからより大きな群を作り出す構成法の一つであり、また与えられた群をその特定の性質を満たす部分群によって表す方法の一つである。抽象代数学において、この構成法はベクトル空間、加群、そして他の構造の直和に一般化することができる。より多くの情報は記事加群の直和を参照されたい。

有限個の群の直和（有限直和）は群の直積に本質的に同一の概念となる一方で、無限個の群の直和（無限直和）は直積とは必ずしも同型にならないため、直和と直積の区別は無限直和において本質的である。無限直和は制限直積とも呼ばれる。群の直和が圏論的直和（双対直積）ではないことに注意せよ（群の直積の圏論的双対は群の自由積である）。

しばしば、考える群が加法的に書かれたアーベル群であるときの群の直積という意味で「直和」と呼び、アーベル群  のその意味での直和を（ と書く代わりに）  で表すことがある。

## 有限直和
### ふたつの群の直和
群 *G* は次のようなとき 2 つの部分群 *H**1* と *H**2* の**直和** (direct sum) と呼ばれる。
* *H**1* と *H**2* はともに *G* の正規部分群である。
* 部分群 *H**1* と *H**2* は自明な共通部分をもつ（すなわち単位元 e しか共通にもたない）。
* ; 言い換えると、*G* は部分群 *H**1* と *H**2* によって生成される。

*G* が部分群 *H* と *K* の直和であるとき、*G* = *H* + *K* で表す。

### 複数の群の直和
より一般に、*G* が部分群の有限集合 {*H**i*} の直和であるとは、
* 各 *H**i* は *G* の正規部分群であり
* 各 *H**i* は部分群 &lang;{*H**j* : *j* &ne; *i*}&rang; と自明な共通部分をもち
* ; 言い換えると、*G* は部分群の集合 {*H**i*} の合併によって生成される。

*G* が部分群の集合 {*H**i*} の直和であることを、しばしば *G* = ∑*H**i* と書く。

### 基本性質
群の直和は可換である。つまり、ふたつの部分群の直和の場合には、
:  
である。また次の意味で結合的でもある。*G* = *H* + *K*,  *K* = *L* + *M* であれば、
: *G* = *H* + (*L* + *M*) = (*H* +  *L*) + *M* である。

*G* = *H* + *K* であれば、次のことが証明できる：

* すべての *h* &isin; *H*, *k* &isin; *K* に対して、*h***k* = *k***h* である。
* すべての *g* &isin; *G* に対して、*g* = *h***k* となるような唯一の *h* &isin; *H*, *k* &isin; *K* が存在する。
* 商において和の簡約がある。つまり (*H* + *K*)/*K* は *H* と同型である。

上記の主張は *G* = ∑*H**i* の場合にも一般化できる、ただし {*H*i} は部分群の有限集合。

* *i* ≠ *j* であれば、すべての *h**i* &isin; *H**i*, *h**j* &isin; *H**j* に対して、*h**i* * *h**j* = *h**j* * *h**i* である。
* 各 *g* &isin; *G* に対して、{*h**i* in *H**i*} の唯一の集合が存在して
:*g* = *h*1**h*2* ... * *h**i* * ... * *h**n*
* 商において和の簡約がある。つまり ((∑*H**i*) + *K*)/*K* は ∑*H**i* に同型である。

### 有限直和は有限直積であること
直和と直積との類似性に注意しよう。直積では各 *g* は
:*g* = (*h*1,*h*2, ..., *h**i*, ..., *h**n*)
として一意的に書ける。

すべての *i* &ne; *j* に対して *h**i* * *h**j* = *h**j* * *h**i* であるから、直和における元の積は直積において対応する元の積に同型であることが従う。したがって部分群の有限集合に対しては、∑*H**i* は直積 Π{*H**i*} に同型である。

## 例

*  G= \sum_{i\in I} H_i  とすれば  G  が部分群の直和  H_{i_0} + \sum_{i\not=i_0}H_i であることは明らかである。
* H がアーベル群  G  の divisible subgroup であれば、別の部分群 K\leq G  が存在して、G=K+H  となる。
* G が 0 でない \mathbb R-ベクトル空間でもあれば、G は \mathbb R と別の部分空間 K の直和として書くことができ、\mathbb R は商 G/K と同型になる。

## 直和分解
### 直可約性と直既約性
非自明な部分群の直和として書ける群は**直可約** (decomposable) と呼ばれ、そうでないとき**直既約** (indecomposable) と呼ばれる。

### 直和成分

与えられた群  の部分群  が  の**直和成分** (direct summand) である（あるいは  から**分裂する** (split)）とは、別の部分群  が存在して  は部分群  と  の直和に書けるときにいう。

アーベル群の場合には、 が  の可除部分群ならば  は  の直和成分となる。

### 直和分解の等価性

有限群の直既約部分加群の直和への分解において部分群の埋め込みは一意ではない。例えば、クライン群 *V*4 = *C*2 &times; *C*2 において、次が成り立つ。
:*V*4 =  +  
:*V*4 =  + 

しかしながら、有限群 *G* = ∑*A**i* = ∑*B**j*、ただし各 *A**i* と各*B**j* は非自明で直既約、が与えられると、2つの和は順序の入れ替えと同型の違いを除いて同じ項をもつ、というのがレマク・クルル・シュミットの定理の内容である。

レマク・クルル・シュミットの定理は無限群に対しては成り立たない。なので無限 *G* = *H* + *K* = *L* + *M* のケースにおいて、すべての部分群が非自明で直既約であるときでさえ、*H* は *L* か *M* に同型であると仮定できない。

## 無限直和

 が部分群の（非可算の場合も許す）無限集合の直和の場合において群の直和と直積との関係を述べるには、より多くの注意が必要である。

 が部分群の無限集合 } の**内部直和** (internal direct sum) であるとは、 の各元  が適当な有限集合  と } を選んで、} と一意的に表せるときに言う。

 が群の無限直積 } の元であるとき、この直積における  の第 -成分を  と書くことにする。群の集合 } の**外部直和** (external direct sum)（あるいは制限直積） } は、直積 } の次のような部分集合である。
: 各元 } の成分 は有限個を除くすべてが単位元 e_{H_\lambda} に一致する（同じことだが、 のうち有限個だけが単位元でない）。
外部直和における群演算は通常の直積のように成分ごとの積とする。この部分集合は確かに群をなす。特に、群の有限集合に対して、それらの外部直和は直積に等しい。

 であるとき、 は } に同型である。したがって、このときの直和はある意味「内部」(internal) 外部直和である。

## 関連項目
*直和
*位相群の直和 (Direct sum of topological groups)

## 参考文献