The derived series of a finite group $G$ is the chain of subgroups \[ G =G^{(0)}\rhd G^{(1)} \rhd G^{(2)} \rhd \cdots \rhd G^{(k)} \] where $G^{(i+1)}$ is the commutator subgroup of $G^{(i)}$ for all $i$, each inclusion is proper, and $G^{(k+1)}=G^{(k)}$.
A group is solvable if and only if $G^{(k)}=\langle e\rangle$. In this case, $k$ is the solvable length of $G$.
Authors:
Knowl status:
- Review status: reviewed
- Last edited by John Jones on 2019-05-24 00:00:02
Referred to by:
History:
(expand/hide all)
Differences
(show/hide)
- group.abstract.432.734.bottom
- group.isoclinism
- group.type
- lmfdb/groups/abstract/main.py (line 1018)
- lmfdb/groups/abstract/main.py (line 1877)
- lmfdb/groups/abstract/stats.py (line 187)
- lmfdb/groups/abstract/templates/abstract-show-group.html (line 39)
- lmfdb/groups/abstract/templates/abstract-show-subgroup.html (line 38)
- lmfdb/groups/abstract/templates/abstract-show-subgroup.html (line 81)
- lmfdb/groups/abstract/templates/abstract-show-subgroup.html (line 129)
- lmfdb/groups/abstract/web_groups.py (line 2763)