What is the order of $ab$ in an abelian group?
1,880
This is not true. In the group $G = \{z \in \Bbb C \mid z^9=1\}$ of $9$th roots of unity, $a=\zeta_9=e^{2\pi i /9}\;$ has order $9$, $b=a^2$ has order $9$ but $ab=a^3=e^{2\pi i /3}$ has order $3$.
However, there exists an element in your group whose order is $\text{lcm}(m,n)$.
Moreover, if two elements $x,y$ in a group $G$ commute, and if their order $m$ and $n$ are coprime, then $xy$ has order $mn$. In general, if $xy=xy$, then the order of $xy$ divides $\text{lcm}(m,n)$.
Related videos on Youtube
Author by
idpd15
Updated on August 26, 2020Comments

idpd15 about 3 years
Let $a$ and $b\neq a^{1}$ be two elements in an abelian group with order $m$ and $n$ respectively. Is it true that the order of the element $ab$ will be $\text{lcm}(m,n)$?
If not, then please give a counter example.

MPW about 7 yearsGood. +1 for you. I was about to answer that the conjecture was true. Perhaps one can say instead that it is true provided $b \notin \langle a\rangle\setminus \{e\}$?

Watson about 7 years@MPW : But if I consider $x=(\zeta_9,\zeta_9^2) \in G^2$ and $y=(\zeta_9^2,\zeta_9) \in G^2$, both have order $9$, $y$ is not a power of $x$ (if $y=x^k$ then $k \equiv 2 \pmod 9, 2k \equiv 1 \pmod 9$), and $xy$ has order $3$. Am I missing something?

MPW about 7 yearsNope. You're completely correct. +1 again. I'm being lazy and musing without putting any effort into it.