Clarification of Permuatation Question

  • Context: Graduate 
  • Thread starter Thread starter Redhead711
  • Start date Start date
Click For Summary
SUMMARY

A permutation with odd order must be an even permutation, as established through the properties of cycle lengths and their least common multiple (LCM). The proof begins with the assertion that if a permutation B raised to an odd integer power results in the identity permutation e, then B raised to an even integer power is equivalent to its inverse, indicating that it is an even permutation. The discussion emphasizes the importance of the sign of permutations, specifically that an element of odd order cannot contain cycles of odd sign when expressed in disjoint cycle form.

PREREQUISITES
  • Understanding of permutation groups and their properties
  • Knowledge of disjoint cycle notation in permutations
  • Familiarity with the concept of order in group theory
  • Basic understanding of the sign of permutations and its multiplicative property
NEXT STEPS
  • Study the properties of permutation groups in detail
  • Learn about the structure and significance of disjoint cycles in permutations
  • Explore the concept of the least common multiple (LCM) in group theory
  • Investigate the implications of the sign of permutations in various mathematical contexts
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in the properties of permutations and group theory will benefit from this discussion.

Redhead711
Messages
10
Reaction score
0
NEED HELP! with permutation proof

Sorry for any confusion the question I have is:

Show that a permutation with odd order must be an even permutation.

The order of a permutation of a finite set written in disjoint cycle form
is the least common multiple of the lengths of the cycles.

This is what I have worked out so far:

Let e = epsilon
Let B = a permutation
Let k = any integer

Now say B^(2k+1) = e. Where B^(2k+1) is an odd permutation.
Then B^(2k)= B^(-1).
But B^(2k) = B^(k)^2 is even.

I would really appreciate some help in putting this
proof together in a more coherent fashion.
I am very confused. Thanks
 
Last edited:
Physics news on Phys.org
More important than that surely is the definition of the sign (even or odd) at no point do you use its properties so surely something must be telling you you need some more details.

sign is multiplicative: sign(xy)=sign(x)sign(y)

so it suffices to show that an element of odd order cannot possesses any cycles of odd sign (when written as of disjoint cycles), which is where you're order being the lcm comes in
 
Thanks to Matt for all your help. I understand the problem better know and have been able to solve it. I'm very grateful
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 15 ·
Replies
15
Views
5K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
8
Views
5K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
5K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 49 ·
2
Replies
49
Views
6K
Replies
7
Views
4K