A group is **supersolvable** if there are nested normal subgroups $N_i\lhd G$

$${1}=N_0 < N_1 < N_2 < \ldots < N_k = G$$ with all successive quotients $N_{i+1}/N_i$ cyclic. It is stronger than requiring $N_{i+1}/N_i$ to be abelian (because $N_i \lhd G$), so not all solvable groups are supersolvable. The smallest solvable groups that are not supersolvable are $A_4$, $S_4$, SL$_2(\mathbb{F}_3)$ and $C_2\times A_4$. All supersolvable groups are monomial, and all abelian, nilpotent, metacyclic groups, Z-groups and groups of square-free order are supersolvable. Supersolvable groups are closed under subgroups and quotients (but not extensions), and a group is supersolvable if and only if each of its maximal subgroups has prime index.

While every nilpotent group is supersolvable, the converse does not hold as shown by these examples. Similarly, these examples show that not every supersolvable group is metacyclic.

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by Jennifer Paulhus on 2022-07-18 18:54:24

**Referred to by:**

**History:**(expand/hide all)

- 2022-07-18 18:54:24 by Jennifer Paulhus (Reviewed)
- 2022-07-18 18:53:18 by Jennifer Paulhus (Reviewed)
- 2021-10-08 14:24:56 by David Roe
- 2019-05-23 20:07:56 by Tim Dokchitser
- 2019-05-22 20:07:21 by Tim Dokchitser
- 2019-05-22 19:43:47 by Tim Dokchitser

**Differences**(show/hide)