- #1
Barre
- 34
- 0
I would like to ask if somebody can verify the solution I wrote up to an exercise in my book. It's kind of long, but I have no one else to check it for me :)
If [itex]H[/itex] is a maximal proper subgroup of a finite solvable group [itex]G[/itex], then [itex][G][/itex] is a prime power.
Lemma 7.13 that I refer to is basicly this:
http://crazyproject.wordpress.com/2...-finite-solvable-group-is-elementary-abelian/
Assume there exists minimal normal subgroup [itex]N[/itex] such that [itex]N \not\subseteq H[/itex]. Since [itex]NH[/itex] is a subgroup of [itex]G[/itex] properly containing [itex]H[/itex], [itex]NH = G[/itex]. By Second Isomorphism Theorem, [itex]G/N = HN/N \cong H/(N \cap H)[/itex] and as all cardinalities are finite, [itex]\frac{|G|}{|N|} = \frac{|H|}{|N \cap H|}[/itex] which implies [itex]\frac{|G|}{|H|} = [G] = \frac{|N|}{|N \cap H|}[/itex], where the last one is a prime power.
Assume all minimal normal subgroups of [itex]G[/itex] are contained in [itex]H[/itex] and let [itex]N[/itex] be one such. We work by induction. If [itex]|G| = 2[/itex], then it is of prime order and the maximal proper subgroup [itex]\langle e \rangle[/itex] has index 2, certainly a prime power. In the quotient [itex]G/N[/itex], [itex]H/N[/itex] is maximal since if [itex]H/N[/itex] is properly contained in some subgroup [itex]T/N[/itex] then it follows that [itex]H \subseteq T[/itex], so [itex]T = G[/itex]. Since order [itex]|G/N|[/itex] is strictly less than [itex]|G|[/itex], [itex][G/N/N] = \frac{[G/N]}{[H/N]} = \frac{[G:N]}{[H:N]} = p^n[/itex] by induction. Also the identity [itex][G][H:N] = [G:N][/itex] implies [itex][G] = \frac{[G:N]}{[H:N]}[/itex] so [itex][G] = p^n[/itex].
Homework Statement
If [itex]H[/itex] is a maximal proper subgroup of a finite solvable group [itex]G[/itex], then [itex][G][/itex] is a prime power.
Homework Equations
Lemma 7.13 that I refer to is basicly this:
http://crazyproject.wordpress.com/2...-finite-solvable-group-is-elementary-abelian/
The Attempt at a Solution
Statement is true for abelian groups, so only nonabelian solvable groups are considered in the proof. All finite nonabelian solvable groups have at least one normal group (the commutator) and therefore contain a minimal normal subgroup. By Lemma 7.13 (iii), these subgroups have prime power order.Assume there exists minimal normal subgroup [itex]N[/itex] such that [itex]N \not\subseteq H[/itex]. Since [itex]NH[/itex] is a subgroup of [itex]G[/itex] properly containing [itex]H[/itex], [itex]NH = G[/itex]. By Second Isomorphism Theorem, [itex]G/N = HN/N \cong H/(N \cap H)[/itex] and as all cardinalities are finite, [itex]\frac{|G|}{|N|} = \frac{|H|}{|N \cap H|}[/itex] which implies [itex]\frac{|G|}{|H|} = [G] = \frac{|N|}{|N \cap H|}[/itex], where the last one is a prime power.
Assume all minimal normal subgroups of [itex]G[/itex] are contained in [itex]H[/itex] and let [itex]N[/itex] be one such. We work by induction. If [itex]|G| = 2[/itex], then it is of prime order and the maximal proper subgroup [itex]\langle e \rangle[/itex] has index 2, certainly a prime power. In the quotient [itex]G/N[/itex], [itex]H/N[/itex] is maximal since if [itex]H/N[/itex] is properly contained in some subgroup [itex]T/N[/itex] then it follows that [itex]H \subseteq T[/itex], so [itex]T = G[/itex]. Since order [itex]|G/N|[/itex] is strictly less than [itex]|G|[/itex], [itex][G/N/N] = \frac{[G/N]}{[H/N]} = \frac{[G:N]}{[H:N]} = p^n[/itex] by induction. Also the identity [itex][G][H:N] = [G:N][/itex] implies [itex][G] = \frac{[G:N]}{[H:N]}[/itex] so [itex][G] = p^n[/itex].