О пересечениях максимальныхподгрупп конечных групп, содержащих формационные радикалы факторгруппа
Ф ,
F()Ф ()Ф()
G G GG GGG
F F FFN
разрешима, то
Ф ,
Ф() Ф ()
F ().
G G GG GGGG
F F Разрешимость теории T_f=\Th(\omega, 0, 1, <, +, f(x), F(x)), что теория T_
f=\Th(\omega, 0, 1,<,$ $+,
f(x),
F(x)) является разрешимой, демонстрируя, что каждая
Пересечения максимальных θ-подгрупп, содержащих формационные радикалы пересечения θ,
Ф()
G G
F
всех максимальных θ-подгрупп конечной группы , Gсодержащих .
G