Can x^2 Equal y in a Non-Abelian Group?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 2K views
gottfried
Messages
118
Reaction score
0

Homework Statement


Let (G,.) be an non-abelian group. Choose distinct x and y such that xy≠yx.

Show that if x2≠1 then x2[itex]\notin[/itex]{e,x,y,xy,yx}

The Attempt at a Solution



If x2=x would imply x.x.x-1=x.x-1 and x=e which cannot be.
If x2= xy or x2=yx would imply x=y which also cannot be.

How does one show that x2≠y?
 
Physics news on Phys.org
gottfried said:

Homework Statement


Let (G,.) be an non-abelian group. Choose distinct x and y such that xy≠yx.

Show that if x2≠1 then x2[itex]\notin[/itex]{e,x,y,xy,yx}

The Attempt at a Solution



If x2=x would imply x.x.x-1=x.x-1 and x=e which cannot be.
If x2= xy or x2=yx would imply x=y which also cannot be.

How does one show that x2≠y?

x doesn't commute with y. Does x commute with x^2?
 
Yes I believe it does so x2.x=x.x2 which would imply y.x=x.y if x2=y which is a contradiction.

Thanks for the help. You gave me just enough help to move forward with the problem but left some of the satisfaction of figuring it out to me which is cool, thanks.
 
x^2=y→x^3=xy and x^3=yx