Сверхразрешимая Группа

Группа G,обладающая конечным инвариантным рядом подгрупп в к-ром каждая факторгруппа циклична. Всякая С. г. является полициклической группой. Подгруппы и факторгруппы С. г. также сверхразрешимы, коммутант С. г. нильпотентен. Конечная группа является С. г. тогда и только тогда, когда все ее максимальные подгруппы имеют простые индексы (т е о р е м а X у п п е р т а). Н. Н. Вилъямс.