I was working on a problem in group theory, which asks about the automorphism group of a direct product of groups. Okay, so I know that if $G,H$ are two groups whose orders are relatively prime, then $\operatorname{Aut}(G\times H)\cong\operatorname{Aut}(G)\times \operatorname{Aut}(H)$. I also k...