群の直和
数学における群の直和(ちょくわ、英: direct sum)は、与えられた群のあつまりからより大きな群を作り出す構成法の一つであり、また与えられた群をその特定の性質を満たす部分群によって表す方法の一つである。抽象代数学において、この構成法はベクトル空間、加群、そして他の構造の直和に一般化することができる。より多くの情報は記事加群の直和を見よ。
有限個の群の直和(有限直和)は群の直積に本質的に同一の概念となる一方で、無限個の群の直和(無限直和)は直積とは必ずしも同型にならないため、直和と直積の区別は無限直和において本質的である。無限直和は制限直積とも呼ばれる。群の直和が圏論的直和(双対直積)ではないことに注意せよ(群の直積の圏論的双対は群の自由積である)。
しばしば、考える群が加法的に書かれたアーベル群であるときの群の直積という意味で「直和」と呼び、アーベル群 A, B のその意味での直和を(A × B と書く代わりに) A ⊕ B で表すことがある。