Similar facts about proper subgroups being abelian and cyclic
- Classification of finite non-abelian groups in which every proper subgroup is abelian
- Finite non-abelian and every proper subgroup is abelian implies not simple
- Finite non-abelian and every proper subgroup is abelian implies metabelian
- Classification of cyclicity-forcing numbers
Related facts about weaker conditions than nilpotency
- Finite and every proper subgroup is p-nilpotent implies p-nilpotent or solvable
- Finite and every 2-submaximal subgroup is nilpotent implies solvable or A5 or SL(2,5)
- Nilpotent implies solvable
- Finite non-nilpotent and every proper subgroup is nilpotent implies not simple
- Nilpotency is quotient-closed
- Solvability is extension-closed
This proof uses the principle of mathematical induction in a nontrivial way (i.e., it would be hard to write the proof clearly without explicitly using induction).
We prove the statement using an induction on the order. In particular, we assume that the theorem has been proved for all groups of smaller orders.
Base case for induction: The base case can be considered to be order 1, which gives the trivial group that is solvable.
Inductive hypothesis: For any finite group of order such that every proper subgroup of is nilpotent, is solvable.
Inductive step: We need to show that for a finite group of order such that every proper subgroup of is nilpotent, is solvable.
If the group is nilpotent
In this case, the result follows from Fact (1).
If the group is not nilpotent
Given: A finite non-nilpotent group of order such that every proper subgroup of is nilpotent. The inductive hypothesis holds for all orders smaller than .
To prove: has a nilpotent maximal normal subgroup such that the quotient group is cyclic of prime order. In particular, it is metanilpotent and hence solvable.
|Step no.||Assertion/construction||Facts used||Given data used||Previous steps used||Explanation|
|1||is nontrivial and not simple.||Fact (2)||is finite non-nilpotent, every proper subgroup is nilpotent.||--||Fact-direct.|
|2||has a proper nontrivial maximal normal subgroup, say , that is nilpotent.||Every proper subgroup of is nilpotent||Step (1)||direct from Step (1).|
|3||is cyclic of prime order.||Facts (2), (3)||inductive hypothesis||Step (2)||[SHOW MORE]|
|4||is solvable.||Fact (4)||Steps (2), (3)||Step-fact combination direct.|