Internal direct product

Summary

A group $G$ is the internal direct product of two normal subgroups $H$ and $K$ when $H \cap K = \{e\}$ and $HK = G$. Then $G$ is isomorphic to the direct product $H \times K$.