Given two groups $G_1$ and $G_2$ with operations $*_1$ and $*_2$, the direct product of sets $G_1\times G_2$ is a group under the operation \[ (a_1, a_2)*(b_1, b_2) = (a_1*_1 b_1, a_2 *_2 b_2). \] This has normal subgroups \[ H_1=\{(a,e_2) \mid a \in G_1\}\cong G_1\] and \[ H_2=\{(e_1,a) \mid a \in G_2\}\cong G_2\] such that $H_1\cap H_2 = \{(e_1,e_2)\}$ and $H_1H_2=G_1\times G_2$.

Conversely, if a group $G$ has normal subgroups $H$ and $K$ such that $H\cap K=\{e\}$ and $HK=G$, then $G\cong H\times K$.

**Authors:**

**Knowl status:**

- Review status: beta
- Last edited by John Jones on 2019-05-23 18:50:36

**Referred to by:**

Not referenced anywhere at the moment.

**History:**(expand/hide all)

**Differences**(show/hide)