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

Exercise 3B.4 on page 84 of Isaacs's Finite Group Theory asks one to prove a precursor of the Sylow theorems for $π$-subgroups, and I only know how to do it using the Sylow theorems, so I have missed the point. I actually needed a similar (false) statement in my research, so I thought it would be wise to get the point.

Suppose $G$ is a finite group, and $N$ is a normal subgroup whose index and order are coprime. Let $U$ be a subgroup of $G$ whose order is coprime to the order of $N$. If either N or $U$ is solvable, then show that $U$ is contained in some subgroup $H$ whose order is the index of $N$ in $G$.

Available tools: We already have Schur–Zassenhaus, and so we know that $G$ has a subgroup whose order is the index of $N$.

In other words, if $G$ has a normal Hall $π$-subgroup, then every $π′$-subgroup is contained in some Hall $π′$-subgroup. However Hall subgroups are the next section, and containment and $π$-separability are even in the section after that, so appealing to Hall's generalization of Sylow's theorem will miss the point.

Attempt: Let $M$ be a maximal subgroup of $G$ containing $U$. If $N$ is not contained in $M$, then $M∩N$ is a normal subgroup of $M$ whose order is coprime to its index, and so we can find $H ≤ M$ with $U ≤ H$ and $|H| = [M:M∩N]=[G:N]$, and we are done.

If $N$ is contained in every maximal subgroup of $G$ containing $U$, then $\ldots$ . It'd be nice if $N$ was in the Frattini, but that's not true. Perhaps at this point it would be wise to use solvability?

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

Let $K$ be a complement to $N$ in $G$, which exists by Schur-Zassenhaus. Then $|K|=|G|/|N|$. Consider the subgroup $UN$. Since $K(UN)=G$, $|K\cap UN|=|K|\cdot |UN|/|G|=|K|\cdot|U|\cdot|N|/|G|=|U|$, since $K$ is a complement to $N$. Thus, $K\cap UN$ is a complement to $N$ in $UN$. Since either $U$ or $N$ is solvable, all complements to $N$ in $UN$ are conjugate, so $K\cap UN=U^g$. Thus, $K^{g^{-1}}$ contains $U$.


share|cite|improve this answer
Of course, solvability isn't strictly necessary here, by Feit-Thompson. Isaacs mentions this when he proves Schur-Zassenhaus, but then goes on to say that he will always explicitly assume solvability when necessary, rather than relying on the Odd Order Theorem. – user641 Aug 23 '10 at 3:26
Unfortunately this just uses the same properties as the Sylow theorems that I was trying to avoid: conjugacy implies containment. Ah well, maybe the conjugacy is the critical property. – Jack Schmidt Aug 23 '10 at 12:53
It does not rely on material later in the book though; it is proved as part of the S-Z theorem. – user641 Aug 23 '10 at 13:10
That's true. Not your fault the exercise wasn't meant to teach something new. – Jack Schmidt Aug 23 '10 at 13:12

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.