Пусть G – конечная π -разрешимая группа и F – локальное множество Фиттинга группы G такое, что множество всех простых делителей порядков подгрупп из F совпадает с π . Доказано, что в этом случае F -инъектор группы G – это подгруппа , где Σ – холловская система G, , , W – F -инъектор группы , и G определяется полной приведенной H-функцией F.
