How many elements of order 2 are contained in S_4?

[Samuelb88]

Homework Statement

How many elements of order 2 does the symmetric group S_4 contain?

Homework Equations

The Attempt at a Solution

I know that transpositions have order two. Moreover, any k-cycle has order k. Thus there are six elements with order two contained in S_4?

Is this all? Seems too simple.

 

[ehild]

How many elements are there in S4 and what are they?

ehild

 

[Samuelb88]

ehild,

There are 4! = 24 elements in S_4. The elements are all such permutations of {1,2,3,4}.

Here is how I see the problem:

Let \sigma \in S_4. Then either:
1. \sigma = (a_1 a_2) and (a_1 a_2)^2 = e \Rightarrow order 2.
2. \sigma = (a_1 a_2 a_3 and (a_1 a_2 a_3)^3 =e \Rightarrow order 3.
3. \sigma = (a_1 a_2 a_3 a_4) and (a_1 a_2 a_3 a_4)^4 = e \Rightarrow order 4.

Thus there are 6 permutations of order 2 in S_4. Is this not correct?

 

[ehild]

Oh, you mean the permutation group? I thought it was the point group called S4 - sorry.

ehild

 

[I like Serena]

Thus there are 6 permutations of order 2 in S_4. Is this not correct?

No, this is not correct.
Did you find how many of order 3 and 4 there are?
Do they add up to 24?

 

[ehild]

I found a useful page http://groupprops.subwiki.org/wiki/Element_structure_of_symmetric_group:S4

ehild

 

[AdrianZ]

well, I got an idea but am not sure if I'm right because I haven't had abstract algebra yet. well, what you're claiming is that in a cyclic group G an element in G is a transposition if and only if It is of order 2. well, It's obvious that any transposition element in G is of order 2 but can we say that any element of order 2 is a transposition?
if yes, then your question would become that in how many ways we can permute two letters from n letters keeping the others the same position they are. That would be an easy problem in combinatorics and discrete math.

 

[micromass]

Hi Samuelb88!

You are certainly correct that there are 6 transpositions in S₄, i.e. there are 6 elements of the form (a b). These are

(1~2),(1~3),(1~4),(2~3),(2~4),(3~4)

However, these are not the only elements of order 2! For example

(1~2)(3~4)

is also of order 2, so you got to count this one too!

 

[Samuelb88]

Oh right! So that means there are six transpositions and three disjoint transpositions in S_4[\itex].

 

[micromass]

Yes, that sounds right!

 

[Samuelb88]

Thanks guys!