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

Abelian Group problems and solutions

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.

 
LoadingAdd to solve later

Sponsored Links


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


LoadingAdd to solve later

Sponsored Links

More from my site

  • Order of Product of Two Elements in a GroupOrder 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 […]
  • 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 […]
  • 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 […]
  • Torsion Subgroup of an Abelian Group, Quotient is a Torsion-Free Abelian GroupTorsion 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 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 […]
  • 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 […]
  • Every Finite Group Having More than Two Elements Has a Nontrivial AutomorphismEvery 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 […]

You may also like...

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.

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

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
Michigan State University Abstract Algebra Exam Problems and Solutions
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