Generate All Permutations of Sn from An and 1 Odd Permutation

  • Context: Graduate 
  • Thread starter Thread starter gravenewworld
  • Start date Start date
  • Tags Tags
    Group Permutation
Click For Summary
SUMMARY

The discussion confirms that given the alternating group An and one odd permutation, it is possible to generate the entire symmetric group Sn for any n ≥ 2. The user tested this with S3, successfully generating all permutations by multiplying even permutations in A3 with an odd permutation. The principle of group multiplication being a bijection is highlighted, specifically using the equation ax=b, which leads to the conclusion that this property holds for all n. The case for n=1 is noted as a special scenario where A1 equals S1.

PREREQUISITES
  • Understanding of permutation groups, specifically Sn and An.
  • Familiarity with group theory concepts, including bijections and group multiplication.
  • Knowledge of odd and even permutations within symmetric groups.
  • Basic algebraic manipulation involving equations of the form ax=b.
NEXT STEPS
  • Study the properties of symmetric groups, focusing on Sn and An.
  • Explore the concept of odd and even permutations in detail.
  • Learn about group theory bijections and their implications in group operations.
  • Investigate the implications of generating sets in algebraic structures.
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in group theory and permutation groups will benefit from this discussion.

gravenewworld
Messages
1,129
Reaction score
27
say you have the alternating group An for some permutation group Sn. If you are given An and then 1 odd permutation, must you be able to generate all of Sn? I tried it for S3 and I multiplied all the even perms in S3 by only 1 element that wasn't in A3 and was able to generate all of S3. Does this hold for any n?
 
Last edited:
Physics news on Phys.org
Yes, that is generally true.
Note that in any group multiplication on the left by an element in the group is a bijection.
[tex]ax=b \iff x=a^{-1}b[/tex]
Use this to prove it for the general case [itex]S_n ,n\geq 2[/itex]
The case n=1 is special, since the A1=S1.
 
Alright thanks a lot galileo. I just wanted to be sure of that fact before I brought it up in my presentation that I have to give.
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
2
Views
6K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 15 ·
Replies
15
Views
5K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K