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

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

しばしば、考える群が加法的に書かれたアーベル群であるときの群の直積という意味で「直和」と呼び、アーベル群 のその意味での直和を（ と書く代わりに） で表すことがある。
Q395
数学
Concept
Q83478
群
Concept
Q159943
抽象代数学
Concept
Q125977
ベクトル空間
Concept
Q18848
加群
Concept
Q1142861
加群の直和
UNK
Q2725924
群の直積
Concept
Q217413
圏論
Concept
Q692689
直和（双対直積）
Concept
Q1454165
群の自由積
Concept
Q4681347
加法的
Concept
Q4166523
群の直和
UNK
Q4166523
群の直和
UNK
Q4166523
群の直和
UNK
Q4166523
群の直和
UNK
studies
part of
studies
subclass of
studies
studies
subclass of