Generating Fixed-Point-Free Permutations in Sn

Click For Summary
SUMMARY

The subgroup generated by fixed-point-free permutations in the symmetric group Sn is determined by the cycle types that utilize all elements from the set {1,...,n}. It is established that for odd values of n, these permutations can generate all of Sn through transpositions. Specifically, the permutation (1,2) can be expressed as [(1,2)(3,4,...,n)]^(n-2). However, a similar proof for even n remains to be fully developed, indicating a need for further exploration of specific patterns in generating transpositions.

PREREQUISITES
  • Understanding of symmetric groups, specifically Sn
  • Knowledge of permutation cycle types
  • Familiarity with transpositions and their properties
  • Basic group theory concepts
NEXT STEPS
  • Research the properties of fixed-point-free permutations in symmetric groups
  • Explore the generation of transpositions in Sn for even values of n
  • Investigate specific examples of generating sets in S8 and S10
  • Study advanced group theory techniques for proving subgroup generation
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone studying group theory, particularly those focusing on symmetric groups and permutation properties.

banana112
Messages
1
Reaction score
0

Homework Statement



What subgroup is generated by the fixed-point-free permutations?

Homework Equations


The Attempt at a Solution



I know that the elements that have no fixed points are the ones whose cycle type adds up to n (i.e. all the numbers in {1,...,n} have to be used). I don't know what to do other than just start computing examples and multiplying out every single combination. EDIT I think they generate all of Sn. I know this is true up to 5, and whenever we have n odd. (We can generate the transpositions, which in turn generate all of Sn.) For odd n this works by: (1,2)=[(1,2)(3,4,...,n)]^(n-2). I haven't yet found something similar for the case when n is even.
 
Last edited:
Physics news on Phys.org
banana112 said:

Homework Statement



What subgroup is generated by the fixed-point-free permutations?

Homework Equations


The Attempt at a Solution



I know that the elements that have no fixed points are the ones whose cycle type adds up to n (i.e. all the numbers in {1,...,n} have to be used). I don't know what to do other than just start computing examples and multiplying out every single combination. EDIT I think they generate all of Sn. I know this is true up to 5, and whenever we have n odd. (We can generate the transpositions, which in turn generate all of Sn.) For odd n this works by: (1,2)=[(1,2)(3,4,...,n)]^(n-2). I haven't yet found something similar for the case when n is even.

Look for other patterns that will let you prove all transpostions are generated. Like for S8, (1,2)(3,4,5)(6,7,8) to the third power. What's a good one for S10? You might have to get a little more creative for S6 but you can certainly do it without multiplying out every single combination.
 
Last edited:

Similar threads

  • · Replies 12 ·
Replies
12
Views
2K
Replies
4
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 14 ·
Replies
14
Views
6K
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 16 ·
Replies
16
Views
5K
  • · Replies 5 ·
Replies
5
Views
4K