Prove a Group is Abelian if $(ab)^3=a^3b^3$ and No Elements of Order $3$

Abelian Group problems and solutions

Problem 402

Let $G$ be a group. Suppose that we have
\[(ab)^3=a^3b^3\] for any elements $a, b$ in $G$. Also suppose that $G$ has no elements of order $3$.

Then prove that $G$ is an abelian group.

 
LoadingAdd to solve later

Sponsored Links

Proof.

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.

(For a proof of this problem, see the post “Prove a group is abelian if $(ab)^2=a^2b^2$“.)

I wondered what happens if I change $2$ to $3$, and that’s how I made this problem.


LoadingAdd to solve later

Sponsored Links

More from my site

  • Prove a Group is Abelian if $(ab)^2=a^2b^2$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 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 […]
  • 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 […]
  • Commutator Subgroup and Abelian Quotient GroupCommutator 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 AbelianTwo 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 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 […]
  • Quotient Group of Abelian Group is AbelianQuotient 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 […]
  • Normal Subgroups Intersecting Trivially Commute in a GroupNormal Subgroups Intersecting Trivially Commute in a Group Let $A$ and $B$ be normal subgroups of a group $G$. Suppose $A\cap B=\{e\}$, where $e$ is the unit element of the group $G$. Show that for any $a \in A$ and $b \in B$ we have $ab=ba$. Hint. Consider the commutator of $a$ and $b$, that […]

You may also like...

1 Response

  1. 05/07/2017

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

Please Login to Comment.

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

More in Group Theory
Abelian Group problems and solutions
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...

Close