Order of Product of Two Elements in a Group

Group Theory Problems and Solutions in Mathematics

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.

 
LoadingAdd to solve later

Sponsored Links


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


LoadingAdd to solve later

Sponsored Links

More from my site

  • The Existence of an Element in an Abelian Group of Order the Least Common Multiple of Two ElementsThe 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 GroupOrder 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$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 GroupIf 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 SameThe 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 SubgroupNon-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 SubgroupElements 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 SubgroupsNon-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 […]

You may also like...

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“. […]

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

More in Group Theory
Group Theory Problems and Solutions in Mathematics
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