Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

This is problem 3B.12. from the afore mentioned book. It asks to show that, if $G$ is a solvable Frattini-free group (that is, $Φ(G)=1$) and $H$ is a subgroup of some maximal subgroup $M$ of $G$, then $G$ contains a subgroup of index $|M:H|$.
It is easy to see that, if $N \unlhd G$ and $M\cap N=1$, then $G=MN$, $M\cong G/N $ and $H\cong K/N $ for some $ K \leqslant G $, where $K$ contains $N$. Then $|G:K|=|G/N:K/N|=|M:H| $ and we are done. However, the hypothesis will not necessarily hold. But, if $N$ is minimal among normal subgroups of $G$ (in the sense of containment), then $N$ is elementary abelian, hence nilpotent, which implies that $M \cap N \lneq N_G( M \cap N ) \cap N $. Thus, $M \lneq N_G( M \cap N )$ and by the maximality of $M$ we deduce that $M \cap N \unlhd G$. So, for this particular $M$, if it is not true that there exists some normal subgroup of $G$ with which it intersects trivially, then $M \cap N = N$ by the minimality of $N$. Hence $M$ contains every minimal subgroup of $G$.

How should I proceed from here?

share|cite|improve this question

This exercise is false. Here is a counterexample where M does in fact contain every minimal normal subgroup.

Let G be the alternating group of degree 4 (and order 12), let M be the normal Sylow 2-subgroup of order 4 and let H ≤ M be a subgroup of order 2. Then [M:H] = 2, but G contains no subgroup of index 2.

One has better luck if one assumes M is core-free rather than Φ(G)=1, that is assume ∩{ Mg : g in G } = 1 versus ∩{ K : K maximal, even non-conjugate to M } = 1.

share|cite|improve this answer

Your Answer


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