Теперь мы предположим, что решетка
является цепью. Пусть и - конечная группа. Предположим, что порядок группы делится по крайней мере на два простых числа и . ПустьИ пусть
- силовская -подгруппа в и - силовская -подгруппа в , соответственно. ТогдаЗначит,
и . Это показывает, что не является цепью, что противоречит нашему предположению. Следовательно, найдется такое простое число , что каждая конечная группа из является -группой.Мы теперь покажем, что каждая группа в
является абелевой. Предположим, что это не так и пусть - неабелева группа в . В этом случае некоторая ее подгруппа , порожденная элементами , является конечной неабелевой -группой. Так как по условию класс является наследственным, то . Пусть , где - класс всех абелевых групп. Поскольку , то , и поэтому . Следовательно, мы имеем . Теперь пусть где . И пусть - коммутант подгруппы , . Тогда и ясно, что . Значит, . Но поскольку , мы имеем . Таким образом, не является цепью. Полученное противоречие показывает, что каждая группа в является абелевой. Аналогично можно показать, что экспонента каждой группы из делит число .Теорема доказана.
Пересечение всех конечных многообразий, содержащих данную группу
, называется конечным многообразием, порожденным . Из теоремы 20.8 вытекаетТеорема 20.9. Пусть - конечная группа и - конечное многообразие, порожденное . Тогда в том и только в том случае является элементарной абелевой -группой, когда решетка является цепью.
Пусть
и - подгрупповые -функторы. Определим произведение при помощи следующего правилаПонятно, что подгрупповой
-функтор является замкнутым тогда и только тогда, когда . Мы используем символ для обозначения произведения , в котором имеется сомножителей.Пусть
- произвольное непустое множество простых чисел. Подгруппа группы называется -холловской, если ее индекс в не делится ни на одно число из , а среди простых делителей ее порядка нет ни одного не входящего в . Символом обозначают множество всех простых чисел, отличных от .