Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

$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?

share|improve this question

1 Answer 1

up vote 4 down vote accepted

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.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.