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.

Let $G$ be a finite group such that all subgroups of it (except $G$) are nilpotent. Then prove that $G$ is solvable.

share|improve this question
2  
What have you tried? –  hmmmm Jan 22 '13 at 17:34
2  
This is Schmidt-Iwasawa theorem. Observe that it is enough to prove that such a group is not simple. Once you have this then you can argue by induction on the order of G. groupprops.subwiki.org/wiki/… –  Diego Jan 22 '13 at 17:50

1 Answer 1

up vote 3 down vote accepted

Here is an outline for a proof. To prove this, we can apply the following

Lemma: Suppose $G$ is a finite nonabelian group where intersections of distinct maximal subgroups are trivial. Then $G$ is not simple.

I will not prove the lemma here. Let $G$ be a non-nilpotent finite group such that every proper subgroup of $G$ is nilpotent. A group $G$ with this property is often called a minimal non-nilpotent group.

To prove that $G$ is solvable, it suffices to show that $G$ is not simple (prove this). Hoping to find a contradiction, we assume that $G$ is simple. We can see that there are at least two maximal subgroups of $G$, let $D = K \cap L$ be an intersection of two maximal subgroups $K \neq L$ such that $D$ has largest possible order.

Next you should show that $D$ is normal in $G$. Since $G$ is simple, this implies that $D$ is trivial. But this is in contradiction with the lemma, so $G$ cannot be simple.

To prove that $D$ is normal, show $K$ is the only maximal subgroup containing $N_K(D)$ and $L$ is the only maximal subgroup containing $N_L(D)$. Hence $N_G(D)$ is not contained in a maximal subgroup and $N_G(D) = G$ since $G$ is finite.

This proof is the one given in Derek Robinson's group theory book, which contains a detailed proof (the lemma is also proven) and a couple of more facts about "minimal non-nilpotent groups". For example, with a little more work you can show that the order of $G$ has exactly two prime divisors and that exactly one Sylow subgroup of $G$ is normal. These results were first proven by O. J. Schmidt in 1929.

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.