Normal subgroups of coprime order commute

If finite normal subgroups $H,K$ of a group have coprime orders, their intersection is trivial by Lagrange's theorem. For $h\in H$ and $k\in K$, the commutator $hk{h}^{-1}{k}^{-1}$ belongs to both subgroups: write it as $h(k{h}^{-1}{k}^{-1})$ to use normality of $H$, and as $(hk{h}^{-1})k^{-1}$ to use normality of $K$. Hence it is the identity and $hk=kh$. The product subgroup is therefore isomorphic to the direct product of groups $H\times K$.