
#1
Dec2509, 10:59 AM

P: 57

My question:
I was asked to give a subgroup of order 6 of the permutation group S_{4}. That part is not so difficult, for example S_{3} has order 6 and is a subgroup of S_{4}. But now I have to show how many subgroups of order 6 are in S_{4}. Intuitively thinking, there are four of them, each of them leaving 1, 2, 3 or 4 fixed. But how can you prove this? 



#2
Dec2509, 11:50 AM

Sci Advisor
HW Helper
Thanks
P: 25,168

A subgroup of order 6 must contain an element of order 3 and an element of order 2. That means it contains a 3 cycle and a 2 cycle or a product of two disjoint 2 cycles. Can you show it's a 2 cycle? Let's pick the 3 cycle to be (1,2,3) (how many other choices are there that lead to different order 3 subgroups?). Now you need to add a 2 cycle. If you add a 2 cycle chosen from the elements 1, 2 and 3, like (1,2), you generate S3. If you add an element like (1,4) can you show you get all of S4? Do you see how this proves your conclusion about the 4 different S3's?




#3
Dec2509, 01:16 PM

P: 57

Hmm, why does the subgroup need to have an element of order 2 and an element of order 3? Why not only elements of order 2 or 3?




#4
Dec2609, 09:36 AM

Sci Advisor
HW Helper
Thanks
P: 25,168

Subgroups of S4 



#5
Dec2609, 09:52 AM

P: 57

Ah, I see! It cannot be a product of two disjoint 2cycles because then you again generate S_{4}. And there are four choices of 3cycles, which gives you 4 subgroups. Is this correct? Thanks a lot :)




#6
Dec2609, 11:31 AM

Sci Advisor
HW Helper
Thanks
P: 25,168





#7
Dec2609, 02:26 PM

P: 57

Is there an easier way to show that there are no products of disjoint 2cycles in the subgroup, other than writing all te products with all 3cycles? (and thus showing that you generate more than 6 elements)




#8
Dec2609, 03:48 PM

Sci Advisor
HW Helper
Thanks
P: 25,168

Sure, you don't have to do ALL of them. Your order 3 subgroups are all conjugate. You really just have to show that one of them is contained in a unique order 6 subgroup, say the one generated by (123). The only 'interesting' 2 cycle to multiply by is (14) (the others will just generate an S3). (123)(14)=(1423). That's not good. It has order 4. No subgroup of order 6 can contain a subgroup of order 4. Stop there. Stuff like that.



Register to reply 
Related Discussions  
Sylow 2subgroups of S4  Calculus & Beyond Homework  5  
Subgroups and normal subgroups  Calculus & Beyond Homework  2  
More subgroups  Calculus & Beyond Homework  2  
Subgroups  Calculus & Beyond Homework  2  
U(1) and SU(2) as subgroups of SU(3)  General Physics  3 