# The Existence of an Element in an Abelian Group of Order the Least Common Multiple of Two Elements

## Problem 497

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.

## Hint.

First, consider the case when $m$ and $n$ are relatively prime.

## Proof.

### When $m$ and $n$ are relatively prime

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

So if $m, n$ are relatively prime, then we can take $c=ab\in G$ and $c$ has order $mn$, which is the least common multiple.

### The general Case

Now we consider the general case.

Let $p_i$ be the prime factors of either $m$ or $n$.
Then write prime factorizations of $m$ and $n$ as
$m=\prod_{i}p_i^{\alpha_i} \text{ and } n=\prod_{i} p_i^{\beta_i}.$ Here $\alpha_i$ and $\beta_i$ are nonzero integers (could be zero).
Define
$m’=\prod_{i: \alpha_i \geq \beta_i}p_i^{\alpha_i} \text{ and } n’=\prod_{i: \beta_i> \alpha_i} p_i^{\beta_i}.$

(For example, if $m=2^3\cdot 3^2\cdot 5$ and $n=3^2\cdot 7$ then $m’=2^3\cdot 3^2\cdot 5$ and $n’=7$.)

Note that $m’\mid m$ and $n’\mid n$, and also $m’$ and $n’$ are relatively prime. The least common multiple $l$ of $m$ and $n$ is given by
$l=m’n’$

Consider the element $a’:=a^{m/m’}$. We claim that the order of $a’$ is $m’$.

Let $k$ be the order of the element $a’$. Then we have
\begin{align*}
e=(a’)^k=(a^{\frac{m}{m’}})^k=a^{mk/m’},
\end{align*}
where $e$ is the identity element in the group $G$.
This yields that $m$ divides $mk/m’$ since $m$ is the order of $a$.
It follows that $m’$ divides $k$.

On the other hand, we have
\begin{align*}
(a^{m/m’})^{m’}=a^m=e,
\end{align*}
and hence $k$ divides $m’$ since $k$ is the order of the element $a^{m/m’}$.

As a result, we have $k=m’$.
So the order of $a’$ is $m’$.

Similarly, the order of $b’:=b^{n/n’}$ is $n’$.

The orders of elements $a’$ and $b$ are $m’$ and $n’$, and they are relatively prime.
Hence we can apply the first case and we conclude that the element $a’b’$ has order
$m’n’=l.$ Thus, we can take $c=a’b’$.

### The Case When $G$ is a Non-Abelian Group

Next, we show that if $G$ is a non-abelian group then the statement does not hold.

For example, consider the symmetric group $S_3$ with three letters.
Let
$a=(1\,2\,3) \text{ and } b=(1 \,2).$

Then the order of $a$ is $3$ and the order of $b$ is $2$.
The least common multiple of $2$ and $3$ is $6$.
However, the symmetric group $S_3$ have no elements of order $6$.

Hence the statement of the problem does not hold for non-abelian groups.

## Related Question.

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

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

### More from my site

• 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 […]
• Fundamental Theorem of Finitely Generated Abelian Groups and its application In this post, we study the Fundamental Theorem of Finitely Generated Abelian Groups, and as an application we solve the following problem. Problem. Let $G$ be a finite abelian group of order $n$. If $n$ is the product of distinct prime numbers, then prove that $G$ is isomorphic […]
• 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 […]
• 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 […]
• 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 […]
• 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 […]
• Every Finite Group Having More than Two Elements Has a Nontrivial Automorphism Prove that every finite group having more than two elements has a nontrivial automorphism. (Michigan State University, Abstract Algebra Qualifying Exam)   Proof. Let $G$ be a finite group and $|G|> 2$. Case When $G$ is a Non-Abelian Group Let us first […]

### 5 Responses

1. Soumya says:

“Since d=gcd(m,n), we know that m/d and n are relatively prime.” This is a WRONG claim!
Consider, m=125 and n=175.

• Yu says:

Dear Soumya,

You are absolutely right. I fixed the error and rewrite the proof.

Thank you for pointing out the mistake.

• Soumya says:

Yes, it is perfect now.

1. 06/30/2017

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

2. 06/30/2017

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

##### Every Finite Group Having More than Two Elements Has a Nontrivial Automorphism

Prove that every finite group having more than two elements has a nontrivial automorphism. (Michigan State University, Abstract Algebra Qualifying...

Close