群の直和

数学における群の直和（ちょくわ、）は、与えられた群のあつまりからより大きな群を作り出す構成法の一つであり、また与えられた群をその特定の性質を満たす部分群によって表す方法の一つである。抽象代数学において、この構成法はベクトル空間、加群、そして他の構造の直和に一般化することができる。より多くの情報は記事加群の直和を見よ。
有限個の群の直和（有限直和）は群の直積に本質的に同一の概念となる一方で、無限個の群の直和（無限直和）は直積とは必ずしも同型にならないため、直和と直積の区別は無限直和において本質的である。無限直和は制限直積とも呼ばれる。群の直和が圏論的直和（双対直積）ではないことに注意せよ（群の直積の圏論的双対は群の自由積である）。
しばしば、考える群が加法的に書かれたアーベル群であるときの群の直積という意味で「直和」と呼び、アーベル群 のその意味での直和を（ と書く代わりに） で表すことがある。
有限直和.
ふたつの群の直和.
群 "G" は次のようなとき 2 つの部分群 "H""1" と "H""2" の直和 (direct sum) と呼ばれる。
"G" が部分群 "H" と "K" の直和であるとき、"G" = "H" + "K" で表す。
複数の群の直和.
より一般に、"G" が部分群の有限集合 {"H""i"} の直和であるとは、
"G" が部分群の集合 {"H""i"} の直和であることを、しばしば "G" = ∑"H""i" と書く。
基本性質.
群の直和は可換である。つまり、ふたつの部分群の直和の場合には、
である。また次の意味で結合的でもある。"G" = "H" + "K", "K" = "L" + "M" であれば、
"G" = "H" + "K" であれば、次のことが証明できる：
上記の主張は "G" = ∑"H""i" の場合にも一般化できる、ただし {"H"i} は部分群の有限集合。
有限直和は有限直積であること.
直和と直積との類似性に注意しよう。直積では各 "g" は
として一意的に書ける。
すべての "i" ≠ "j" に対して "h""i" * "h""j" = "h""j" * "h""i" であるから、直和における元の積は直積において対応する元の積に同型であることが従う。したがって部分群の有限集合に対しては、∑"H""i" は直積 Π{"H""i"} に同型である。
直和分解.
直可約性と直既約性.
非自明な部分群の直和として書ける群は直可約 (decomposable) と呼ばれ、そうでないとき直既約 (indecomposable) と呼ばれる。
直和成分.
与えられた群 の部分群 が の直和成分 (direct summand) である（あるいは から分裂する (split)）とは、別の部分群 が存在して は部分群 と の直和に書けるときにいう。
アーベル群の場合には、 が の可除部分群ならば は の直和成分となる。
直和分解の等価性.
有限群の直既約部分加群の直和への分解において部分群の埋め込みは一意ではない。例えば、クライン群 "V"4 = "C"2 × "C"2 において、次が成り立つ。
しかしながら、有限群 "G" = ∑"A""i" = ∑"B""j"、ただし各 "A""i" と各"B""j" は非自明で直既約、が与えられると、2つの和は順序の入れ替えと同型の違いを除いて同じ項をもつ、というのがレマク・クルル・シュミットの定理の内容である。
レマク・クルル・シュミットの定理は無限群に対しては成り立たない。なので無限 "G" = "H" + "K" = "L" + "M" のケースにおいて、すべての部分群が非自明で直既約であるときでさえ、"H" は "L" か "M" に同型であると仮定できない。
無限直和.
 が部分群の（非可算の場合も許す）無限集合の直和の場合において群の直和と直積との関係を述べるには、より多くの注意が必要である。
 が部分群の無限集合 } の内部直和 (internal direct sum) であるとは、 の各元 が適当な有限集合 と } を選んで、} と一意的に表せるときに言う。
 が群の無限直積 } の元であるとき、この直積における の第 -成分を と書くことにする。群の集合 } の外部直和 (external direct sum)（あるいは制限直積） } は、直積 } の次のような部分集合である。
外部直和における群演算は通常の直積のように成分ごとの積とする。この部分集合は確かに群をなす。特に、群の有限集合に対して、それらの外部直和は直積に等しい。
 であるとき、 は } に同型である。したがって、このときの直和はある意味「内部」(internal) 外部直和である。