For a solvable group, its derived length is the least nonnegative integer at which the derived series reaches the trivial group, with and the commutator subgroup of . A nontrivial abelian group has derived length one; a nonabelian group with nontrivial abelian commutator subgroup has derived length two.
New to topics? Read the docs here!