The number of nontrivial successive derived subgroups (or commutator subalgebras) in the derived series required to reach the trivial subgroup (or zero subalgebra); it quantifies how many commutator-steps are needed and thus measures solvability.

Principle

Iterate the commutator (derived) operation to produce a descending chain; the derived length is the index at which this chain first stabilizes at the trivial object. Finite derived length is equivalent to solvability.

Demonstration

For the symmetric group S3 the derived subgroup is A3 (cyclic of order 3) and the derived subgroup of A3 is trivial, so S3 has derived length 2. In contrast an abelian group has derived length 1.

Misapplication

Using derived length to describe non-solvable groups as having a finite length (instead of declaring it infinite or undefined) or confusing derived length with composition length or nilpotency class leads to incorrect structural conclusions.

Consequence

A finite derived length implies the group or Lie algebra is solvable and constrains the possible composition factors; many induction and reduction arguments use known derived length to bound complexity.

Reversal

Reversing focus gives the lower central series and nilpotency class: nilpotency measures successive commutators with the whole group, whereas derived length measures successive commutators of the previous commutator subgroup.

Boundary

Defined for groups or Lie algebras where successive derived subobjects are meaningful; for non-solvable objects the derived series may never reach triviality (often described as infinite). It is distinct from invariants of composition series and from lower central series invariants.

Semantic Tension

Derived length competes with nilpotency class and composition length: all are measures of non-simplicity but capture different iteration schemes and different structural constraints.

Synthesis

Derived length is the minimal number of iterated commutator steps required to annihilate a group or Lie algebra; it isolates solvability by counting derived-series stages and should be used alongside nilpotency and composition invariants for a full structural picture.