Definition:Group Direct Product

Definition
Let $\left({G, \circ_1}\right)$ and $\left({H, \circ_2}\right)$ be groups.

The (external) direct product of $\left({G, \circ_1}\right)$ and $\left({H, \circ_2}\right)$ is the set of ordered pairs:


 * $\left({G \times H, \circ}\right) = \left\{{\left({g, h}\right): g \in G, h \in H}\right\}$

where the operation $\circ$ is defined as:


 * $\left({g_1, h_1}\right) \circ \left({g_2, h_2}\right) = \left({g_1 \circ_1 g_2, h_1 \circ_2 h_2}\right)$

This is usually referred to as the group direct product of $G$ and $H$.

Warning
Note that $G$ and $H$ etc. are not subsets of $G \times H$ and therefore are not subgroups of it either.

There exist subgroups in $G \times H$ which are isomorphic with $G$ and $H$ though, namely:
 * $G \times \left\{e_H\right\}$ and $\left\{e_G\right\} \times H$

where $e_G$ and $e_H$ are identity elements of $G$ and $H$ respectively.

Also see

 * External Direct Product on general algebraic structures, of which this is a specific example.


 * Internal Group Direct Product