2. Используемые результаты

Лемма 2.1 [9]. Пусть - монолитическая группа, - неабелева группа. Тогда имеет единственную максимальную -подформацию , где - совокупность всех собственных -подгрупп группы . В частности, .

Лемма 2.2 [2, c. 33]. Пусть , где - непустой класс групп. Тогда если - минимальный -значный экран формации , то справедливы следующие утверждения:

1) ;

2)

при всех простых числах ;

3) если - произвольный -значный экран формации , то при любом имеет место

Следующая лемма является частным случаем теоремы 2.5.5 [2, c. 94].

Лемма 2.3. Пусть , - -замкнутые тотально насыщенные формации, , - канонический экран формации . Тогда является -критической формацией в том и только в том случае, когда , где - такая монолитическая -минимальная не -группа с монолитом , что для всех формация -критична.