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

群 G {\textstyle G} 、 H {\textstyle H} が与えられたとき、その集合としての直積 G × H {\textstyle G\times H} に、 ( g , h ) ( g ′ , h ′ ) = ( g g ′ , h h ′ ) for g , g ′ ∈ G , h , h ′ ∈ H {\displaystyle (g,h)(g',h')=(gg',hh')\qquad {\text{for}}\;\;g,g'\in G,\,h,h'\in H}

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

同様に、有限個の群 G 1 , G 2 , … , G n {\textstyle G_{1},G_{2},\dots ,G_{n}} が与えられたとき、その直積集合の元 ( g 1 , g 2 , … , g n ) , ( g 1 ′ , g 2 ′ , … , g n ′ ) ∈ ∏ i = 1 n G i {\displaystyle (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 , … , g n ) ( g 1 ′ , g 2 ′ , … , g n ′ ) = ( g 1 g 1 ′ , g 2 g 2 ′ , … , g n g n ′ ) {\displaystyle (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})}

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

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

実数全体の集合 R を加法に関する群とみなすと、その直積 R × R はベクトル (x, y) を要素に持ち、直積としての加法(x1, y1) + (x2, y2)  =  (x1 + x2, y1 + y2)は平面幾何ベクトルとしての加法になっている。

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} をもち、これらの直積と同型である。

性質.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

この節の加筆が望まれています。

直積因子

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

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

群の直積 G × H {\displaystyle G\times H} において群 G {\displaystyle G} の任意の元と群 H {\displaystyle H} との任意の元は可換である。
証明

g ∈ G ,   h ∈ H {\displaystyle g\in G,\ h\in H} とすると，次が成り立つ。 ( g , h ) = ( g , 1 H ) ( 1 G , h ) = ( 1 G , h ) ( g , 1 H ) {\displaystyle (g,h)=(g,1_{H})(1_{G},h)=(1_{G},h)(g,1_{H})} したがって，主張が従う[2]．
その他

群 G, H, K に対し、次の同型が成り立つ。 ( G × H ) × K ≅ G × ( H × K ) ≅ G × H × K {\displaystyle (G\times H)\times K\cong G\times (H\times K)\cong G\times H\times K}

（普遍性）群 Gi (i ∈ I) が与えられているとする。πj : Πi ∈ I Gi → Gj (j ∈ I) を自然な射影とする。このとき任意の群 H と任意の群準同型写像 fj : H → Gj (j ∈ I) に対して、一意的な準同型 φ : H → Πi ∈ I Gi が存在して、fj = πj?φ (j ∈ I) が成り立つ。つまり群の直積は群のなす圏の直積である。