Пусть
- группа типа (7). Тогда , где - подгруппа группы простого порядка , - подгруппа группы простого порядка и - циклическая -подгруппа группы , которая не является нормальной подгруппой в группе , но максимальная подгруппа группы нормальна в . Покажем, что в группе любая -максимальная подгруппа группы перестановочна со всеми -максимальными подгруппами группы . Предположим, что данное утверждение не верно, и пусть - контрпример минимального порядка.Предположим, что
. Пусть - -максимальная подгруппа группы . Понятно, что - нормальная подгруппа группы . Следовательно, перестановочна с любой -максимальной подгруппой группы . Полученное противоречие с выбором группы показывает, что .Пусть
- подгруппа группы с индексом . Так как , то - неединичная подгруппа группы . Ясно, что - нормальная подгруппа группы . Факторгруппа имеет вид , где - силовская подгруппа порядка , - силовская подгруппа порядка , - циклическая силовская -подгруппа, которая не является нормальной подгруппой в , но максимальная подгруппа группы нормальна в группе . Поскольку , то и поэтому по выбору группы мы заключаем, что любая -максимальная подгруппа группы перестановочна со всеми -максимальными подгруппами группы . Пусть - произвольная -максимальная подгруппа группы и - -максимальная подгруппа группы . Понятно, что и . Отсюда следует, что - -максимальная подгруппа группы и - -максимальная подгруппа группы , и поэтомуСледовательно, подгруппы
и перестановочны. Полученное противоречие с выбором группы заканчивает доказательство теоремы.Если в группе любая ее -максимальная подгруппа перестановочна со всеми -максимальными подгруппами группы и , то - нильпотентная группа.
Классы групп типов (1) -(7), очевидно, попарно не пересекаются. Покажем, что все это классы не пусты. Но фактически мы должны установить это лишь для классов (2), (3), (5) - (7).
Хорошо известно, что в группе автоморфизмов
группы кватернионов имеется элемент порядка . Пусть . Тогда принадлежит типу (2). Действительно, пусть - единственная подгруппа порядка 2 группы . Тогда и поэтому . Понятно, что - главный фактор группы и кроме того, . Таким образом, - максимальная подгруппа группы и все максимальные в подгруппы, индекс которых делится на 2, сопряжены с . Следовательно, - группа Шмидта.