群の直積

数学、特に群論において、直積（ちょくせき、direct product）は与えられた群からそれらを部分群として含むような新しい群を作る構成法である。

定義

2つの群の直積

群 G, H が与えられたとき、その集合としての直積 G × H に、

$(g,h)(g',h')=(gg',hh')\qquad {\text{for}}\;\;g,g'\in G,\,h,h'\in H$

として演算を定義すると、 G × H は群になる。これを G と H の直積という。

有限個の群の直積

同様に、有限個の群 G₁, G₂, ..., G_n が与えられたとき、その直積集合の元

$(g_{1},g_{2},\dots ,g_{n}),\,(g'_{1},g'_{2},\dots ,g'_{n})\in \prod _{i=1}^{n}G_{i}$

に対して

$(g_{1},g_{2},\dots ,g_{n})(g'_{1},g'_{2},\dots ,g'_{n})=(g_{1}g'_{1},g_{2}g'_{2},\dots ,g_{n}g'_{n})$

と定義すると、ΠG_i は群になり、これを G₁, ..., G_n の直積と言う。

任意個の群の直積

一般に、群の族 {G_i}_{i ∈ I} が与えられると、その直積集合の元 (g_i), (g'_i) に対して、

(g_i) (g'_i) = (g_i g'_i)

によって演算を定義したものが群 {G_i} の直積である。

性質

• 群 G と H の直積 G × H は、{(g, 1) | g ∈ G} と {(1, h) | h ∈ H} を正規部分群として含む（ただし 1 はそれぞれの単位元）。これらはそれぞれ G, H と同型である。
• 群 G, H, K に対し、次の同型が成り立つ。$(G\times H)\times K\cong G\times (H\times K)\cong G\times H\times K$
• （普遍性）群 G_i (i ∈ I) が与えられているとする。π_j : Π_{i ∈ I} G_i → G_j (j ∈ I) を自然な射影とする。このとき任意の群 H と任意の群準同型写像 f_j : H → G_j (j ∈ I) に対して、一意的な準同型 φ : H → Π_{i ∈ I} G_i が存在して、f_j = π_j∘φ (j ∈ I) が成り立つ。つまり群の直積は群のなす圏の直積である。

参考文献

• 森田康夫『代数概論』、数学選書9（第12版）、裳華房、ISBN 978-4-7853-1311-1
• Serge Lang, Algebra, GTM 211 (Rev. 3rd ed.), Springer, ISBN 978-0-387-95385-4

関連項目

• 積 (圏論)
• 半直積