Proof on Order of Elements in a Group

  • Context: Graduate 
  • Thread starter Thread starter jeffreydk
  • Start date Start date
  • Tags Tags
    Elements Group Proof
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
12 replies · 7K views
jeffreydk
Messages
133
Reaction score
0
I'm trying to figure out how to prove the following...

If [tex]a, b \in G[/tex] where G is a group, then the order of [tex]bab^{-1}[/tex] equals the order of [tex]a[/tex].

I'm rather stumped because the group is not necessarily abelian and it seems like it would have to be in order to directly show that you can rearrange b and b's inverse to get rid of them. I'm confused party because I'm not sure if those properties still hold when you're working with the order of the elements. Any help is greatly appreciated, thanks.
 
Physics news on Phys.org
What is (bab-1)n? And given b, and k in a group G when is it true that bkb-1 is equal to the identity?
 
As a hint, note that [tex](bab^{-1})^2 = (bab^{-1})(bab) = ba(b^{-1}b)ab^{-1} = baeab^{-1} = baab^{-1} = ba^2b^{-1}[/tex], where [tex]e[/tex] is the identity in [tex]G[/tex].
 
Oh ok, it just hit me it makes perfect sense. I wasn't thinking hard enough about the actual definition of order. Thank you both for your help.
 
But in order to demonstrate that b . b^-1 is an automorphism, you would be basically doing the very proof shown above though?
 
I can show
[tex](bab^{-1})^n = ba^nb^{-1}[/tex]

But how does this show the orders are equal?

Any help would be great please!
 
matt grime said:
If n is the order of a, what is [itex]ba^nb^{-1}[/itex] ?

are you asking what the order of [itex]ba^nb^{-1}[/itex] is?

would I be right in saying that it's n, because no matter what n is the b and b^-1 stay the same?
 
Is there some sort of theorem for the order of a composition of more than one element?
 
Firepanda said:
are you asking what the order of [itex]ba^nb^{-1}[/itex] is?


No, I'm asking you what it is. Let me try to make it even more clear: if n is the order of a, what is a^n? Now, what is ba^nb^-1?
 
matt grime said:
No, I'm asking you what it is. Let me try to make it even more clear: if n is the order of a, what is a^n? Now, what is ba^nb^-1?

Ah i gotcha! Kk it all made sense now.

Would you be able to help me here also? :

https://www.physicsforums.com/showthread.php?t=181745

is saying [tex](ab)^{x} = 1.[/tex] the same as saying [tex](ab)^{x} = e[/tex]?

:)