TransWikia.com

Showing that for some group it is abelian iff $x • (y • x ^{−1} ) = y$

Mathematics Asked by cheese12345 on December 10, 2021

I have to show that for some group it is abelian iff $x • (y • x^{−1}) = y$.
This is what I did:
Starting with the given statement $x • (y • x^{−1}) = y$ which implies $x • (y • x^{−1}) • x= y • x$. Since it is a group associativity can be used giving $(x • y) • (x^{−1} • x) = y • x$ implying $x • y = y • x$. So since the group commutes it can be implied to be abelian.
Is this sufficient? Thank you

2 Answers

This trivially follows from the following:

$$begin{align} x bullet (y bullet x^{-1}) = y &iff (x bullet y) bullet x^{-1}= y \ &iff ((x bullet y) bullet x^{-1})bullet x =y bullet x\ &iff (x bullet y) bullet (x^{-1} bullet x) = y bullet x\ &iff (x bullet y) bullet 1 = y bullet x\ &iff x bullet y = y bullet x. end{align}$$

Here I denoted the neutral element of the group with $1$. Try to understand why each equivalence holds (good exercise!).

Answered by QuantumSpace on December 10, 2021

No, it is not. All you did was to prove that if that condition holds, then the group is Abelian. But you also have to prove it in the other direction. That is not difficult, though: if the group is Abelian, then$$xbullet(ybullet x^{-1})=xbullet(x^{-1}bullet y)=(xbullet x^{-1})bullet y=y.$$

Answered by José Carlos Santos on December 10, 2021

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP