Let $G$ be an abelian group with the identity element $1$. Let $a, b$ be elements of $G$ with order $m$ and $n$, respectively.
If $m$ and $n$ are relatively prime, then show that the order of the element $ab$ is $mn$.

Let $r$ be the order of the element $ab$.
Since we have
\begin{align*}
(ab)^{mn}&=a^{mn}b^{mn} \quad \text{ (since } G \text{ is an abelian group)}\\
&=(a^m)^n(b^n)^m\\
&=1
\end{align*}

since $a^m=1$ and $b^n=1$.
This implies that the order $r$ of $ab$ divides $mn$, that is, we have
\[ r |mn. \tag{*}\]

Now, since $r$ is the order of $ab$ we have
\[1=(ab)^r=a^rb^r.\]
Then we have
\begin{align*}
1=1^n=a^{rn}b^{rn}=a^{rn}
\end{align*}

since $b^n=1$. This yields that the order $m$ of the element $a$ divides $rn$.

Since $m$ and $n$ are relatively prime, this implies that we have
\[m|r.\]

Similarly (switch the role of $n$ and $m$), we obtain
\[n|r.\]
Thus we have
\[mn|r \tag{**}\]
since $m$ and $n$ are relatively prime.

From (*) and (**), we have $r=mn$, and hence the order of the element $ab$ is $mn$.

Related Question.

As a generalization of this problem, try the following problem.

Problem.Let $G$ be an abelian group.
Let $a$ and $b$ be elements in $G$ of order $m$ and $n$, respectively.
Prove that there exists an element $c$ in $G$ such that the order of $c$ is the least common multiple of $m$ and $n$.

If Every Nonidentity Element of a Group has Order 2, then it’s an Abelian Group
Let $G$ be a group. Suppose that the order of nonidentity element of $G$ is $2$.
Then show that $G$ is an abelian group.
Proof.
Let $x$ and $y$ be elements of $G$. Then we have
\[1=(xy)^2=(xy)(xy).\]
Multiplying the equality by $yx$ from the right, we […]

Order of Product of Two Elements in a Group
Let $G$ be a group. Let $a$ and $b$ be elements of $G$.
If the order of $a, b$ are $m, n$ respectively, then is it true that the order of the product $ab$ divides $mn$? If so give a proof. If not, give a counterexample.
Proof.
We claim that it is not true. As a […]

Elements of Finite Order of an Abelian Group form a Subgroup
Let $G$ be an abelian group and let $H$ be the subset of $G$ consisting of all elements of $G$ of finite order. That is,
\[H=\{ a\in G \mid \text{the order of $a$ is finite}\}.\]
Prove that $H$ is a subgroup of $G$.
Proof.
Note that the identity element $e$ of […]

Torsion Subgroup of an Abelian Group, Quotient is a Torsion-Free Abelian Group
Let $A$ be an abelian group and let $T(A)$ denote the set of elements of $A$ that have finite order.
(a) Prove that $T(A)$ is a subgroup of $A$.
(The subgroup $T(A)$ is called the torsion subgroup of the abelian group $A$ and elements of $T(A)$ are called torsion […]

If the Order of a Group is Even, then the Number of Elements of Order 2 is Odd
Prove that if $G$ is a finite group of even order, then the number of elements of $G$ of order $2$ is odd.
Proof.
First observe that for $g\in G$,
\[g^2=e \iff g=g^{-1},\]
where $e$ is the identity element of $G$.
Thus, the identity element $e$ and the […]

The Index of the Center of a Non-Abelian $p$-Group is Divisible by $p^2$
Let $p$ be a prime number.
Let $G$ be a non-abelian $p$-group.
Show that the index of the center of $G$ is divisible by $p^2$.
Proof.
Suppose the order of the group $G$ is $p^a$, for some $a \in \Z$.
Let $Z(G)$ be the center of $G$. Since $Z(G)$ is a subgroup of $G$, the order […]

The Order of $ab$ and $ba$ in a Group are the Same
Let $G$ be a finite group. Let $a, b$ be elements of $G$.
Prove that the order of $ab$ is equal to the order of $ba$.
(Of course do not assume that $G$ is an abelian group.)
Proof.
Let $n$ and $m$ be the order of $ab$ and $ba$, respectively. That is,
\[(ab)^n=e, […]

[…] Recall that if the orders $m, n$ of elements $a, b$ of an abelian group are relatively prime, then the order of the product $ab$ is $mn$. (For a proof, see the post “Order of the Product of Two Elements in an Abelian Group“.) […]

## 2 Responses

[…] the post “Order of the product of two elements in an abelian group” for a similar problem about the order of elements in abelian […]

[…] Recall that if the orders $m, n$ of elements $a, b$ of an abelian group are relatively prime, then the order of the product $ab$ is $mn$. (For a proof, see the post “Order of the Product of Two Elements in an Abelian Group“.) […]