Let $a, b$ be arbitrary elements of the group $G$. We want to show that $ab=ba$.

By the given relation $(ab)^3=a^3b^3$, we have
\begin{align*}
ababab=a^3b^3.
\end{align*}
Multiplying by $a^{-1}$ on the left and $b^{-1}$ on the right, we obtain
\[baba=a^2b^2,\]
or equivalently we have
\[(ba)^2=a^2b^2 \tag{*}\]
for any $a, b\in G$.

Now we consider $aba^{-1}b^{-1}$ (such an expression is called the commutator of $a, b$).
We have
\begin{align*}
(aba^{-1}b^{-1})^2&=(a^{-1}b^{-1})^2(ab)^2 && \text{by (*)}\\
&=b^{-2}a^{-2}b^2a^2 && \text{by (*)}\\
&=b^{-2}(ba^{-1})^2a^2 && \text{by (*)}\\
&=b^{-2}ba^{-1}ba^{-1}a^2\\
&=b^{-1}a^{-1}ba.
\end{align*}
Hence we have obtained
\[(aba^{-1}b^{-1})^2=b^{-1}a^{-1}ba \tag{**}\]
for any $a, b\in G$.
Taking the square of (**), we obtain
\begin{align*}
(aba^{-1}b^{-1})^4&=(b^{-1}a^{-1}ba)^2\\
&=aba^{-1}b^{-1}. && \text{by (**)}
\end{align*}
It follows that we have
\[(aba^{-1}b^{-1})^3=e,\]
where $e$ is the identity element of $G$.
Since the group $G$ does not have an element of order $3$, this yields that
\[aba^{-1}b^{-1}=e.\]
(Otherwise, the order of the element $aba^{-1}b^{-1}$ would be $3$.)

This is equivalent to
\[ab=ba.\]
Thus, we have obtained $ab=ba$ for any elements $a, b$ in $G$.
Therefore, the group $G$ is abelian.

Related Question.

I came up with this problem when I solved the previous problem:

Problem. Prove that if a group $G$ satisfies $(ab)^2=a^2b^2$ for $a, b \in G$, then $G$ is an abelian group.

Prove a Group is Abelian if $(ab)^2=a^2b^2$
Let $G$ be a group. Suppose that
\[(ab)^2=a^2b^2\]
for any elements $a, b$ in $G$. Prove that $G$ is an abelian group.
Proof.
To prove that $G$ is an abelian group, we need
\[ab=ba\]
for any elements $a, b$ in $G$.
By the given […]

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

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

Commutator Subgroup and Abelian Quotient Group
Let $G$ be a group and let $D(G)=[G,G]$ be the commutator subgroup of $G$.
Let $N$ be a subgroup of $G$.
Prove that the subgroup $N$ is normal in $G$ and $G/N$ is an abelian group if and only if $N \supset D(G)$.
Definitions.
Recall that for any $a, b \in G$, the […]

Two Quotients Groups are Abelian then Intersection Quotient is Abelian
Let $K, N$ be normal subgroups of a group $G$. Suppose that the quotient groups $G/K$ and $G/N$ are both abelian groups.
Then show that the group
\[G/(K \cap N)\]
is also an abelian group.
Hint.
We use the following fact to prove the problem.
Lemma: For a […]

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

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

Quotient Group of Abelian Group is Abelian
Let $G$ be an abelian group and let $N$ be a normal subgroup of $G$.
Then prove that the quotient group $G/N$ is also an abelian group.
Proof.
Each element of $G/N$ is a coset $aN$ for some $a\in G$.
Let $aN, bN$ be arbitrary elements of $G/N$, where $a, b\in […]

## 1 Response

[…] For a proof of this problem, see the post “Prove a group is abelian if $(ab)^3=a^3b^3$ and no elements of order $3$“. […]