Derived series

Summary

The derived series of a group is the sequence of iterated commutator subgroups $G \supseteq G' \supseteq G'' \supseteq \cdots$. A group is solvable if and only if this series reaches the trivial subgroup.