# All groups of order 175 are abelian?

Question. All groups of order 175 are abelian?

I can show that there exists only one Sylow 5-subgroup of order 25, call it $H$, and one Sylow 7-subgroup of order 7, denote $K$.

I know that $K$ is cyclic, and thus abelian. I know that $|H| = p^2$, where $p=5$ is prime, and so $H$ is abelian too. I also know the $|G| = |H| \cdot |K|$.

Further I know that G happens to be the direct product of these two groups as they intersect trivially, and this completes the proof.

1. Why the group is the direct product, is this always so if the groups intersect trivially, and the product of the orders of subgroups matches the group order?

2. Why the direct product is abelian. Is this always the case if the subgroups $H$ and $K$ intersect trivialy, or is it because they are both abelian too?

3. Anything else I should know?

Thanks

-
Ad 2) The direct product of abelian groups is abelian. As the product is direct by (1), $G \cong H \times K$ is abelian. –  martini May 21 '12 at 11:07
Only because they intersect trivially? –  rk101 May 21 '12 at 11:10
For (1) , you need normality too. As in, you need $H$ and $K$ to be both normal (i.e. there is precisely one Sylow $p$-group and one Sylow $q$ groups where $|G|=p^aq^b$). This works, as for $G$ to be a direct product you need to find two normal subgroups $H$ and $K$ which intersect trivially (which you have) and such that $G=HK$ (which you also have, but proving this is slightly more subtle - but I am sure this is not outwith your abilities. For (3), there are many things you should know. See, for example, bbc.co.uk/news and tearfund.org) –  user1729 May 21 '12 at 11:12
(Also, for (1), let $G$ be a group where $G=HK$ and $H\cap K=1$. If both of $H$ and $K$ are normal $G$ is called a direct product of $H$ and $K$, $G=H\times K$, if one one is normal ($H$ say) then $G$ is called a semidirect direct product of $H$ and $K$, $H\rtimes K$, while if neither is normal then $G$ is called a Zappa-Szep product of $H$ and $K$, $G=H\bowtie K$ (see my answer here math.stackexchange.com/questions/107781/…) –  user1729 May 21 '12 at 11:16
@rk101, see also math.stackexchange.com/questions/67407/… –  Nicky Hekster May 21 '12 at 22:28