 Derived series

ID: derived-series

Codex  0 Created 2026-09-29 Updated 2026-10-03

G^{(0)} = G, G^{(n + 1)} = [G^{(n)}, G^{(n)}] .

A group is solvable exactly when this series reaches the trivial group after finitely many steps.

 New to topics? Read the docs here!