A group isomorphic to an internal direct product
Suppose
View code
Suppose $G$ is a group that contains normal subgroups $H,K\unlhd G$ with $H\cap K=\{e\}$ and $HK=G$. Prove that $G\cong H\times K$.
Suppose
Suppose $G$ is a group that contains normal subgroups $H,K\unlhd G$ with $H\cap K=\{e\}$ and $HK=G$. Prove that $G\cong H\times K$.