К теореме Шеметкова о дополняемости корадикала

Формация $\mathfrak F$ конечных групп называется $GWP$-формацией, если $\mathfrak F$-корадикал группы, порожденной двумя $\mathfrak F$-субнормальными подгруппами, порождается их $\mathfrak F$-корадикалами. Главная цель работы заключается в нахождении некоторых достаточных условий расщепляемости конечной группы над ее $\mathfrak F$-корадикалом.