Abstract Algebra – Proving a Group of Order pqr is Abelian

abstract-algebrafinite-groupsgroup-theory

I'm doing this exercise:

Let $G$ be a group, with $|G|=pqr$, $p,q,r$ different primes, $q<r$, $r \not\equiv 1$ (mod $q$), $qr<p$. Also suppose that $p \not\equiv 1$ (mod $r$), $p \not\equiv 1$ (mod $q$).

Let $C$ (the commutator of $G$) and $K$ be subgroups of $G$, with $C \leq K$, $K \trianglelefteq G$ and $|K|=q$. $K$ is the unique Sylow $q$-subgroup on $G$ (so $K \trianglelefteq G$). Let $G/K$ be an abelian group (in particular, $G/C$ is an abelian group).

Prove that $C=\langle[a,b]=aba^{-1}b^{-1} \mid a,b\in G \rangle=\{e\}$ and $G$ is abelian.

I really don't know how to prove this. By Lagrange I saw that the order of $C$ could be $1$ or $q$, but the option $|C|=q$ is still a valid option, so I don't know how to show that $C=\{e\}$. Thank you.

Best Answer

I found a document that solved this problem. It's a particular case, but it helps on understanding:

http://faculty.etsu.edu/gardnerr/4127/notes/VII-37.pdf (Pages 9 and 10, Example 37.15).