I need help with the following question.
The exercise says:
Let $G$ an abelian group with order $pq$, $(p,q) = 1$. Let $a,b \in G$ with orders $p$ and $q$ respectively. Prove that $G$ is cyclic.
(This exercise was asked in the forum, but my doubt is oriented elsewhere)
If I take $a$ and $b$ and I consider the cyclic group $\langle ab\rangle$, it is clear that $(ab)^{pq} = e$
Now, not necessarily $pq$ is the order of $ab$, then suppose that $\alpha$ is the order of $ab$.
Then $(ab)^{\alpha} = e $ $\rightarrow$ $a^{\alpha}b^{\alpha} = e$ $\rightarrow$ $a^{\alpha} = b^{-\alpha}$.
I would like to prove that isn't possible.
So, with the given hypothesis, hoe do I prove that $ \langle a\rangle \cap \langle b\rangle= \langle e\rangle$?
For example: Suppose that exist $g \in \langle a\rangle \cap \langle b\rangle$, $g \neq e$.
Then, $g = a^i$ and $g = b^j$ with and $i < p$ or $i = p\lambda + r$ and $j<q$ or $j = p\lambda' + r'$
Doing this I don't see a clear answer.
I was able to solve the exercise in another way, but I am interested to see how to demonstrate this.
I would like to receive ideas on how I could do it.
Best Answer
Note that $\langle a\rangle\cap\langle b\rangle$ is a subgroup of $\langle a\rangle$, so by Lagrange's Theorem $|\langle a\rangle\cap\langle b\rangle|\mid p=|\langle a\rangle|$. Also, $\langle a\rangle\cap\langle b\rangle$ is a subgroup of $\langle b\rangle$, so by Lagrange's Theorem we know that $|\langle a\rangle\cap\langle b\rangle|\;\mid \;q=|\langle b\rangle|$. Because $(p,q)=1$ we will conclude that $|\langle a\rangle\cap\langle b\rangle|=1$, which implies that $\langle a\rangle\cap\langle b\rangle=\{e\}$.