I want to show that if $g,h\in G$ are group elements with finite coprime orders $m$ and $n$ and $gh=hg$ then the order of $gh$ is $mn$.

We have that

$$ (gh)^{mn}=g^{mn}h^{mn}=1 $$

using $gh=hg$, so $|gh|\leq mn$. On the other hand, $mn=\operatorname{gcd}(m,n)\operatorname{lcm}(m,n)=\operatorname{lcm}(m,n)$, since $m$ and $n$ are coprime. I am not sure how to proceed, I tried assuming that $|gh|<mn$ and arriving at a contradiction, but it did not take me anywhere.


Let $r$ be such that $(gh)^r = 1$. Then $1 = (gh)^{rm} = g^{rm}h^{rm} = h^{rm}$, and so $n\mid rm$ and thus $n\mid r$. Similarly you can show that $m\mid r$, and combining these results gives $mn\mid r$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.