Let $G$ be a finite abelian group and $d=o(ab), \ m=o(a), \ n=o(b)$.
Show that $d\mid \frac{mn}{\text{gcd}(m,n)}$ and $\frac{mn}{\text{gcd}(m,n)^2}\mid d$.
In particular, if $m$ and $n$ are coprime then order of product is multiplicative.
Proof: $(ab)^{\text{lcm}(m,n)}=a^{\text{lcm}(m,n)}b^{\text{lcm}(m,n)}=e$ then $d\mid \text{lcm}(m,n)$ or $d\mid \frac{mn}{\text{gcd}(m,n)}$. We have done with the first relation.
Since $e=(ab)^d=(ab)^{\text{gcd}(m,n)d}=a^{\text{gcd}(m,n)d}b^{\text{gcd}(m,n)d}$. If I'll show that $a^{\text{gcd}(m,n)d}=e$ and $b^{\text{gcd}(m,n)d}=e$ then $m\mid \text{gcd}(m,n)d$ and $n\mid \text{gcd}(m,n)d$ so we get what we need, i.e. $\frac{mn}{\text{gcd}(m,n)^2}\mid d$.
But as you see I have difficulties with showing that $a^{\text{gcd}(m,n)d}=e$.
Can anyone help with that, please?