Let $G$ be a finite group, $H$ and $K$ are two normal subgroups of $G$ with the property that $G=HK$ and $H\cap K=1$.
Prove that $$\left(\left|H\right|,\left|K\right|\right)=1\Leftrightarrow\forall A\leq G,A=\left(A\cap H\right)\left(A\cap K\right)$$
About Dummit & Foote, Abstract Algebra, page 171:
- Each elementof $HK$ can be written uniquely as a product of $hk$, for some $h\in H$ and $k\in K$.
- $HK\cong H\times K$.
Maybe it's usefull.