• Support PF! Buy your school textbooks, materials and every day products Here!

Group Theory: Ord(x) = Ord(g^-1xg)

  • Thread starter basil32
  • Start date
  • #1
11
0

Homework Statement


If x and g are elements of the group G, prove that |x|=|g-1xg|. Deduce that |ab| =|ba| for all a,b [itex]\in[/itex] G


Homework Equations





The Attempt at a Solution


I've written a proof but does not seem quite right:
if (g-1xg)n= xm then n must be equal m
g-nxngn = xm then
xngn =gnxm
xn =gnxmg-n
xm =g-nxngn
xn = gn(g-nxmgn)g-n
xn = xm
n = m
 

Answers and Replies

  • #2
Dick
Science Advisor
Homework Helper
26,258
618
There's more than one thing wrong with that. The problems start with (g^(-1)xg)^n=g^(-n)x^ng^n. That's only true if the group is commutative. I'll give you a big hint. (g^(-1)xg)^2=(g^(-1)xg)(g^(-1)xg). What's that?
 
  • #3
11
0
There's more than one thing wrong with that. The problems start with (g^(-1)xg)^n=g^(-n)x^ng^n. That's only true if the group is commutative. I'll give you a big hint. (g^(-1)xg)^2=(g^(-1)xg)(g^(-1)xg). What's that?
(g-1xg)2 = (g-1xg)(g-1xg) => g-1x2g
so by induction (g-1xg)n = g-1xng
and?
 
  • #4
Dick
Science Advisor
Homework Helper
26,258
618
(g-1xg)2 = (g-1xg)(g-1xg) => g-1x2g
so by induction (g-1xg)n = g-1xng
and?
Now it's your turn. Think about what order of x and order of g^(-1)xg mean. Show they are the same number.
 
  • #5
11
0
Now it's your turn. Think about what order of x and order of g^(-1)xg mean. Show they are the same number.
g-1xng = e
xng=ge
xn = g.g-1
xn = e

Thanks.
 
  • #6
Deveno
Science Advisor
906
6
g-1xng = e
xng=ge
xn = g.g-1
xn = e

Thanks.
just because g-1xng = e, and xn = e, does NOT mean that |g-1xg| = |x|.

at best, it only shows that |g-1xg| divides |x| (assuming by n, you mean |x|).

you need to show that no smaller positive integer will work (this isn't that hard, try proof by contradiction).

then there's still part 2...
 
  • #7
HallsofIvy
Science Advisor
Homework Helper
41,809
933
It is also, by the way, not true in a general group that is [itex]x^m= x^n[/itex], m= n.
 
  • #8
Deveno
Science Advisor
906
6
right. an obvious example is in the multiplicative group of non-zero real numbers.

(-1)2 = 12 = 1, but -1 ≠ 1.
 
  • #9
11
0
A bit of a blow. I thought I finished but apparently it requires much more careful thinking.

you need to show that no smaller positive integer will work (this isn't that hard, try proof by contradiction).
The choice of n is the smallest positive integer that xn=e. So any m < n would contradict this. What's to prove?
 
  • #10
50
0
The choice of n is the smallest positive integer that xn=e. So any m < n would contradict this. What's to prove?
Prove that [itex](g^{-1} x g)^m = e[/itex] cannot happen for a positive integer [itex]m < n[/itex]. Use the fact mentioned earlier that [itex](g^{-1} x g)^m = g^{-1} x^m g[/itex] for any integer [itex]m[/itex] to derive a contradiction based on the assumption that [itex]1 \leq m < n[/itex] and [itex](g^{-1} x g)^m = e[/itex] both hold.
 
  • #11
Deveno
Science Advisor
906
6
A bit of a blow. I thought I finished but apparently it requires much more careful thinking.


The choice of n is the smallest positive integer that xn=e. So any m < n would contradict this. What's to prove?
that n is, in fact, the order of g-1xg. we know no smaller m works for x, but g-1xg, isn't x, it's some other element of G, so you need to prove no smaller m will work for g-1xg.

suppose (as an imaginary example) that g-1xg = x2, and |x| = 4.

then g-1xg would have order 2, and so would still be e if raised to the 4th power since e2 = e.

do not confuse the statements xn = e, and |x| = n. this can get you into trouble. the second implies the first, but NOT the other way around.

you have to get used to this sort of thing, because often you will consider functions (homomorphisms) from one group to another f:G→H. if f is not 1-1 (and you will encounter such functions), than f will map several elements to the identity of H.

due to the nature of homomorphisms, it will be the case that if |x| = n, (f(x))n will be eH. but this does not mean |f(x)| = n.

so the map G→G given by x→g-1xg is special, it doesn't display this kind of behavior.
 

Related Threads on Group Theory: Ord(x) = Ord(g^-1xg)

  • Last Post
Replies
3
Views
4K
Replies
6
Views
1K
Replies
8
Views
8K
Replies
5
Views
1K
  • Last Post
Replies
2
Views
546
Replies
3
Views
346
Replies
17
Views
6K
Replies
5
Views
3K
Top