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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$A_5$ has the maximal subgroup $S=<(123),(12)(45)>=\{e,(123),(132),(12)(45),(13)(45),(23)(45)\}$. $A_5$ has $6$ maximal subgroups of order $10$ and has $5$ maximal subgroups of order $12$. I checked with maple software that the intersection of $S$ with any subgroup of order $10$ is nontrivial($\neq 1$). Also, I checked that the intersection of $S$ with any subgroup of order $12$ is nontrivial($\neq 1$).

My question is the following:

Is it possible to prove that the intersection is nontrivial without need for calculation?

share|cite|improve this question
up vote 1 down vote accepted

To do the order 10 one (assuming that an order 10 group exists), note that a subgroup of order 10 contains a 5-cycle and an element $\tau$ of order 2 (which is a product of two transpositions). Conjugate $\tau$ by the powers of the 5-cycle to get five different products of two transpositions.

If any two conjugates contain the same transposition, their product is a 3-cycle, so all the transpositions have to be different.

The five elements of order 2 contain 10 transpositions between them. There are only 10 transpositions available, so one of them must be (4,5). The element which contains (4,5) is clearly in $S$.

For order 12, note that the stabiliser of a point in $A_5$ is a version of $A_4$, which has order 12, and there are five such subgroups, and that accounts for all of the maximal subgroups of order 12. Looking at the elements of $S$, the two 3-cycles fix points 4 and 5, while the elements of order 2 fix 3,2,1 respectively (as given in the question) - which gives a non-trivial element in each stabiliser.

Not sure how enlightening this is ...

share|cite|improve this answer
As an alternative argument for order 12, observe that $6 \times 12 = 72 > 60$ and, for subgroups $A$ and $B$ of $G$, we have $|AB| = |A||B|/|A \cap B|$. – Derek Holt Oct 2 '12 at 10:13
Thank you very much. – user28083 Oct 2 '12 at 17:24

Your Answer


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.