A group $G$ is nilpotent if and only if there is a $c\gt 0$ such that the $(c+1)$st term of the lower central series is trivial. A group $G$ is solvable if and only if there is a $c\gt 0$ such that the $c$th term of the derived series is trivial.


Is there some similar criterion for supersolvability, or at least one which is purely commutator-theoretic?



Is there a commutator-theoretic criterion for supersolvability of a group?
Nilpotent groups of a given class and solvable groups of a given class form varieties, each of these varieties is defined by commutator identities. Supersolvable groups of any class do not form a variety of groups. Moreover it is not a union of varieties because there exists a supersolvable group which generates a variety where not all groups are supersolvable. So there is no definition in terms of identities - commutator or not. 


