Все рассматриваемые группы предполагаются конечными. Подгруппа M группы G называется
модулярной подгруппой в G , если выполняются следующие условия:
(1) 〈 ∩ 〉 〈 〉∩ XM Z XM Z , =, для всех X GZ G ≤ ≤ , , таких, что X Z ≤ , и
(2) 〈 ∩ 〉 〈 〉∩ MY Z MY Z , =, для всех Y GZ G ≤ ≤ , , таких, что M Z ≤ .
Рассматриваются группы с модулярными подгруппами порядка 4 силовских подгрупп.