First, we need to show that $G_p \oplus H_p$ is a $p$-group. Since $G_p$ and $H_p$ are both Sylow $p$-subgroups, they are both $p$-groups. The order of $G_p \oplus H_p$ is the product of the orders of $G_p$ and $H_p$, which are both powers of $p$. Therefore, $G_p
Show more…