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