# Order of Product of Two Elements in a Group

## Problem 354

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 counterexample, consider $G=S_3$, the symmetric group of three letters.
Let $a=(1\, 2), b=(1 \,3)$ be transposition elements in $S_3$.
The orders of $a$ and $b$ are both $2$.

Consider the product
$ab=(1\, 2)(1 \,3)=(1 \, 3 \, 2).$ Then it is straightforward to check that the order of $ab$ is $3$, which does not divide $4$ (the product of orders of $a$ and $b$).

Therefore, the group $G=S_3$ and elements $a=(1\, 2), b=(1 \,3)\in G$ serve as a counterexample.

## Remark. (Abelian group case)

If we further assume that $G$ is an abelian group, then the statement is true.
Here is the proof if $G$ is abelian.

Let $e$ be the identity element of $G$.
\begin{align*}
(ab)^{mn} &=a^{mn}b^{mn} && \text{ since $G$ is abelian}\\
&=(a^m)^n(b^n)^m\\
&=e^n e^m && \text{since the order of $a, b$ are $m, n$ respectively}\\
&=e.
\end{align*}
Thus the order of $ab$ divides $mn$.

## Related Question.

If the group is abelian, then the statement is true.

Problem. 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$.

See the post “Order of the Product of Two Elements in an Abelian Group” for a proof of this problem.

More generally, we can prove the following.

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$.

Also determine whether the statement is true if $G$ is a non-abelian group.

A proof of this problem is given in the post “The Existence of an Element in an Abelian Group of Order the Least Common Multiple of Two Elements“.

### More from my site

• The Existence of an Element in an Abelian Group of Order the Least Common Multiple of Two Elements 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$. Also determine whether the statement is true if $G$ is a […]
• Order of the Product of Two Elements in an Abelian Group 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$.   Proof. Let $r$ be the order of the element […]
• 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 […]
• 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 […]
• 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, […] • Non-Abelian Simple Group is Equal to its Commutator Subgroup Let G be a non-abelian simple group. Let D(G)=[G,G] be the commutator subgroup of G. Show that G=D(G). Definitions/Hint. We first recall relevant definitions. A group is called simple if its normal subgroups are either the trivial subgroup or the group […] • 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 […]
• Non-Abelian Group of Order $pq$ and its Sylow Subgroups Let $G$ be a non-abelian group of order $pq$, where $p, q$ are prime numbers satisfying $q \equiv 1 \pmod p$. Prove that a $q$-Sylow subgroup of $G$ is normal and the number of $p$-Sylow subgroups are $q$.   Hint. Use Sylow's theorem. To review Sylow's theorem, check […]

### 2 Responses

1. 06/30/2017

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

2. 10/25/2017

[…] For a solution of this problem, see the post “Order of Product of Two Elements in a Group“. […]

##### Group Homomorphisms From Group of Order 21 to Group of Order 49

Let $G$ be a finite group of order $21$ and let $K$ be a finite group of order $49$. Suppose...

Close