1
$\begingroup$

$S_7$ does not contain a subgroup of order 15

This is an example of converse of Lagrange's Theorem not working.

I want to know how we can prove this.

Do you know which idea we should use?

1 Answers 1

4

A group of order $pq$ with $p=3$ not dividing $q-1 = 4$ is commutative and therefore cyclic of order 15. Using the cycle decomposition of permutations, this cannot be done with actions on 7 elements. In $S_8$ the product of a disjoint 3-cycle and 5-cycle is an element of order 15.