Let $G$ be a finite group and $p<q$ such that $p^2$ doesn't divide $|G|$. Let $H_p$ and $H_q$ be Sylow subgroups of $G$ with $H_p \lhd G$. Show $H_pH_q \lhd G \space \implies H_q \lhd G$.
From the hypothesis of the statement it follows $|G|=pq^mr$ with $(r:pq^m)=1$ ($r$ not necessarily prime number).
If $H_p \lhd G$, then $n_p=1$ where $n_p$ denotes the number of $p-$Sylows. I don't know what else to do in order to show what I am being asked. I would appreciate any hints.
I know that a characteristic subgroup is normal, but I am not so sure if $H_q$ is characteristic.