I have a feeling you use Sylow's Theorems but I'm not sure where to start, any hints?
How many elements of order $10$ are there in the symmetric group $S_7$?
-
2Think about possible cycle strucures for an element of order 10. – 2012-06-05
-
0To comfort you about your idea: Using Sylow's Theorems would be the best bet if you were in a group other than a symmetric group, and looking for elements of prime power order. – 2012-06-05
2 Answers
If you write a permutation in disjoint cycle notation:
$(\alpha_1 \alpha_2 ... \alpha_{n_1})(\beta_1 ... \beta_{n_2})...$
then the order of the permutation is the lowest common multiple of the $n_i$.
So it is clear that elements of order $10$ in $S_7$ must have cycle type $(a b)(c d e f g)$.
How many of these are there? Well there are $7$ choices for $a$, then for each choice there are $6$ choices for $b$ etc.
We get $7!$ choices for $a,b,c,d,e,f,g$. Divide by $2$ to account for counting $(a b)$ and $(b a)$ as the same. Divide by $5$ to do the same for the $5$-cycle $(c d e f g)$.
Thus there are $7!/10 = 504$ elements of order $10$ in $S_7$.
-
0Ah ok, so for example if we're looking for the number of elements of order $12$ then these must have cycle type $3^14^1$ so we have $7! / 12 = 420$ elements? – 2012-06-05
-
0Yes, that's correct. The only problem is when the specific cycle types have more than one component of the same length, e.g. $(ab)(cd)$. In this case you have to divide by an extra $2$ to account for reordering of the cycles. – 2012-06-05
-
0Ah ok, and also (sorry one more example!) for the elements of order say $15$ this has cycle type $3^15^1$ of which there are none. So am I write in saying that there are no elements of order 15? – 2012-06-05
-
0Yes, clearly you couldn't have 7 numbers appearing in 8 slots without repetition. This shows the converse of Lagrange's theorem not working. The number $15$ does divide $7!$ however, there is no such element of order $15$. – 2012-06-05
-
0Also there is not always just one cycle type matching what you need. For elements of order $6$ you would have to consider both $6$-cycles and $3,2$-cycles. – 2012-06-05
-
0So would the number of elements of order $6$ be, $(7!/6) \times 2$ in that case? – 2012-06-05
-
0Yes but only because we were lucky in this case in that $3\times 2 = 6$. – 2012-06-05
-
0I don't understand, could you possibly give me an example of when we're unlucky? – 2012-06-05
-
0None of this is group theory anymore, it is basic combinatorics. The number of $6$-cycles is $7!/6$ and the number of $3,2$-cycles is $7!/(3\times 2)$. It just was a coincidence that these numbers are the same so that it was enough to just double $7!/6$. – 2012-06-05
HINT
There are no 10-cycles. Any subgroup with an element containing, say, a 6-cycle will have an order divisible by 6. But there are plenty of 2 cycles and 5 cycles.
-
0What do you mean by no 10 cycles? – 2012-06-05
-
0The cycle types of $S_7$ are: $1, 2, 2^2, 2^3, 3, 3^2, 2\, 3, 2^2\, 3, 4, 2\, 4, 3\, 4, 5, 2\, 5, 6, 7$ – 2012-06-05
-
0So do you mean there isn't any '10' cycle types in there? – 2012-06-05
-
0I refer to the cycle as in 'cycle notation.' – 2012-06-05
-
1Naturally there wouldn't be a 10 cycle: there are only seven symbols and it is physically impossible to produce a cycle of length ten. – 2012-06-05