Finding Subgroups of certain orders

  • Thread starter Thread starter RVP91
  • Start date Start date
AI Thread Summary
To find subgroups of order 4 in the symmetric group S_4, one can start by examining 4-cycles, such as (1 2 3 4), which generates a subgroup containing the identity, the 4-cycle, and two double transpositions. The subgroup generated by (1 2 3 4) is {id, (1234), (13)(24), (1432)}, confirming it meets the order requirement. When considering elements of order 2, it is essential to remember that their combinations must also yield elements that divide 4, but not all combinations will form valid subgroups. The challenge arises when trying to find subgroups generated by elements like (12)(34), which do not produce new elements when multiplied by themselves. A systematic approach is necessary to check combinations of elements to ensure they form valid subgroups of the desired order.
RVP91
Messages
50
Reaction score
0
I'm not sure how for example I would go about finding the subgroups of S_4 of order 4?

I don't quite understand how I would I find or construct subgroups for a permutation group?

Any advice?

Thanks
 
Mathematics news on Phys.org
RVP91 said:
I'm not sure how for example I would go about finding the subgroups of S_4 of order 4?

I don't quite understand how I would I find or construct subgroups for a permutation group?

Any advice?

Thanks

1 ->2 ->3 ->4 ->1
1 ->3 ->2 ->4 ->1 for example
 
Suppose \sigma \in S_n is a 4-cycle. What can you say about \langle \sigma \rangle?
 
After using both your advice I think I have made some progress.

I used (1 2 3 4) and generated a subgroup of order 4, this subgroup was, {id, (1234), (13)(24), (1432)}, is this correct? And this is of order 4 so meets the condition.
I also did the same with (1324).

After reading a theorem I concluded if I want the subgroups to be of order 4 then the elements of the subgroups must divide 4. So since I've done the two for 4 would I know need to do the same for elements of order 2? Is there a shortcut or do I have to compute them all to check they form subgroups of order 4?

After attempting this with for example (12)(34) I found the usual method of multiplying by itself to try and find a group quickly failed since (12)(34)(12)(34) is simply id.

How do I find the subgroups using elements of order 2?

Thanks for the previous advice and an advance thanks for anymore
 
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Back
Top