For finite groups, an equivalent definition is that a solvable group is a group with a composition series all of whose factors are cyclic groups of prime order.
* Разрешимость конечной группы эквивалентна существованию субнормального ряда, в котором все промежуточные факторы циклические конечного порядка.