群の直積

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

定義

2つの群の直積

群 ${\textstyle G}$、${\textstyle H}$が与えられたとき、その集合としての直積 ${\textstyle G\times H}$ に、

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

として演算を定義すると、 ${\textstyle G\times H}$ は群になる。これを ${\textstyle G}$ と ${\textstyle H}$ の直積という。

有限個の群の直積

同様に、有限個の群 ${\textstyle G_{1},G_{2},\dots ,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})$

と定義すると、${\textstyle \Pi _{i}G_{i}}$ は群になり、これを ${\textstyle G_{1},G_{2},\dots ,G_{n}}$の直積と言う。

任意個の群の直積

一般に、群の族 ${\textstyle \{G_{i}\}_{i\in I}}$ が与えられると、その直積集合の元 ${\textstyle (g_{i})}$，${\textstyle (g_{i}^{\prime })}$ に対して、$$(g_{i})(g_{i}^{\prime })=(g_{i}g_{i}^{\prime })$$によって演算を定義したものが群 $\{G_{i}\}$ の直積である。

例

• 実数全体の集合 R を加法に関する群とみなすと、その直積 R × R はベクトル (x, y) を要素に持ち、直積としての加法

  (x₁, y₁) + (x₂, y₂)  =  (x₁ + x₂, y₁ + y₂)

  は平面幾何ベクトルとしての加法になっている。
• G と H を位数2の巡回群とし、それぞれの乗算表が

  G ∙ 1 a 1 1 a a a 1

  H ∙ 1 b 1 1 b b b 1

  であるならば、直積 G × H は以下の乗算表を持ち、クラインの四元群に同型である。

  G × H

  ∙	(1, 1)	(a, 1)	(1, b)	(a, b)
  (1, 1)	(1, 1)	(a, 1)	(1, b)	(a, b)
  (a, 1)	(a, 1)	(1, 1)	(a, b)	(1, b)
  (1, b)	(1, b)	(a, b)	(1, 1)	(a, 1)
  (a, b)	(a, b)	(1, b)	(a, 1)	(1, 1)

• 非零の実数全体が乗法についてなす単元群 R^× は正の実数全体からなる指数 2 の部分群 R×
  >0 と位数 2 の部分群 {±1} をもち、これらの直積と同型である。

性質

直積因子

群 $G$ と $H$ の直積 $G\times H$ は、$\{(g,1_{H})\mid g\in G\}$ と $\{(1_{G},h)\mid h\in H\}$ を正規部分群として含む（ただし $1_{G},\ 1_{H}$ はそれぞれの単位元）。これらはそれぞれ G, H と同型である。

証明

$g\in G,\ (g^{\prime },h^{\prime })\in G\times H$ とすると，次の等式が成り立つ。$$(g^{\prime },h^{\prime })(g,1_{H})(g^{\prime },h^{\prime })^{-1}=(g^{\prime }g{g^{\prime }}^{-1},1_{H})$$$h\in H$ についても同様である。よって，主張が従う．

可換性

群の直積 $G\times H$ において群 $G$ の任意の元と群 $H$ との任意の元は可換である。

証明

$g\in G,\ h\in H$ とすると，次が成り立つ。$$(g,h)=(g,1_{H})(1_{G},h)=(1_{G},h)(g,1_{H})$$したがって，主張が従う．

その他

• 群 G, H, K に対し、次の同型が成り立つ。$$(G\times H)\times K\cong G\times (H\times K)\cong G\times H\times K$$
• 群　G,Hに対してGは $G\times H$ の正規部分群
• （普遍性）群 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) が成り立つ。つまり群の直積は群のなす圏の直積である。

参考文献

• 雪江明彦『代数学』 1巻、日本評論社、2010年。ISBN 978-4-535-78659-2。OCLC 836343697。 
• 森田康夫『代数概論』、数学選書9（第12版）、裳華房、ISBN 978-4-7853-1311-1
• Serge Lang, Algebra, GTM 211 (Rev. 3rd ed.), Springer, ISBN 978-0-387-95385-4

関連項目

• 有限生成アーベル群の基本定理
• 半直積
• 群の直和
• 積 (圏論)