Subset Product of Normal Subgroups with Trivial Intersection

Theorem
Let $\left({G, \circ}\right)$ be a group whose identity is $e$.

Let $H, K$ be normal subgroups of $G$.

Let $H \cap K = e$.

Then $H K$ is isomorphic to $H \times K$ where:
 * $H K$ denotes the subset product of $H$ and $K$
 * $H \times K$ denotes the direct product of $H$ and $K$.

Proof
Let $G' = H K$.

From Subset Product of Normal Subgroups is Normal, $G'$ is a normal subgroup of $G$.

That is $G'$ is itself a group.

So by the Internal Direct Product Theorem, $G'$ is the internal group direct product of $H$ and $K$.

The result follows by definition of the internal group direct product.