Derived Series

The sequence of subgroups (or substructures) defined recursively by G^{(0)} = G and G^{(n+1)} = [G^{(n)}, G^{(n)}], where each term is the subgroup generated by all commutators of the previous term; it measures solvability by iteratively removing commutator content.