Mathematics Asked by user778657 on December 21, 2020
I asked this question here Understanding the hint of a question to show that $G$ is Abelian. but I did not receive answers to all my questions. So I am attaching a trial to the solution of the question which I found online and could not fully understand it.
First
Here is the main question: Let $G$ be a finite group such that 3 does not divide $|G|$ and such that the identity $(xy)^3 = x^3 y^3$ holds for all $x,y in G.$ Show that $G$ is abelian.
And here is the hint I got for the question:
First show that the map $G rightarrow G$ given by $x mapsto x^3$ is bijective. Then show that $x^2 in Z(G)$ for all $x in G.$
And here is a trial for the solution:
My questions are:
1-should we show that the map $G rightarrow G$ given by $x mapsto x^3$ is bijective because of the following step in the solution above:
$$(y^2x^2)^3 = (x^2y^2)^3 implies (y^2x^2) = (x^2y^2)$$ because there is no element in $G$ with order $3.$?
2- Also, how the given solution showed that $x^2 in Z(G)$ for all $x in G$? And can this statement be restated as $x^2 in Z(G)$ for all $y in G$?
3- Is the given trial of the solution correct? if not, how can we correct it?
Could anyone help me in answering those questions, please?
Given condition says $x mapsto x^3$ is a group homomorphism, it is injective because its kernel consists of elements of order $3$. It is then bijective by comparing size.
$xy^3x^{-1} = (xyx^{-1})^3 = x^3y^3x^{-3}$, hence $x^2$ commutes with $y^3$, and $y^3$ can be any element in $G$, so $x^2$ is in center for any $x in G$.
Then $x^3y^3 = (xy)^3 = x(xy)^2y$, i.e. $xy=yx$, $G$ is Abelian.
the given trial seems correct btw.
Correct answer by yisishoujo on December 21, 2020
0 Asked on February 4, 2021
3 Asked on February 4, 2021
0 Asked on February 4, 2021
2 Asked on February 4, 2021
1 Asked on February 4, 2021 by andrew-yuan
1 Asked on February 3, 2021 by se-hyuck-yang
1 Asked on February 3, 2021 by parsa-noori
1 Asked on February 3, 2021 by user3190686
1 Asked on February 3, 2021
0 Asked on February 3, 2021 by jack-polono
abstract algebra commutative algebra homological algebra modules
1 Asked on February 3, 2021
1 Asked on February 3, 2021 by dbruwel
2 Asked on February 3, 2021 by harshit-raj
0 Asked on February 2, 2021 by 1_student
1 Asked on February 2, 2021 by lkpppppppp
1 Asked on February 2, 2021
Get help from others!
Recent Answers
© 2022 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP