Пусть
--- группа простого порядка . Тогда имеет порядок , и можно подобрать так, что в ней найдется подгруппа порядка , где и --- различные простые числа. Рассмотрим группу . Подгруппа будет максимальной самонормализуемой подгруппой, а подгруппы и --- максимальными подгруппами Миллера-Морено. Пусть --- такая -замкнутая насыщенная -нильпотентная формация, что . Тогда группа --- группа типа .Пусть --- непустая -замкнутая насыщенная -нильпотентная формация, --- не -нильпотентная -группа, у которой множество всех -субнормальных подгрупп плотно. Тогда является группой одного из типов для некоторого .
Доказательство. Пусть
не -нильпотентна. Тогда, по лемме 4.1.1, разрешима.1. Допустим, что
обладает не -нильпотентной -абнормальной максимальной подгруппой . По лемме, --- бипримарная группа Миллера-Морено, а значит, . Заметим еще, что , где --- минимальная нормальная подгруппа в .1.1. Рассмотрим вначале случай
. Тогда есть степень либо простого , либо . Пусть . Пусть ---силовская -подгруппа из , содержащая . Если не максимальна в , то , где --- некоторая -субнормальная в подгруппа. Тогда -субнормальна в , а значит, и в (напомним, что из следует, что ). Но тогда, по теореме, , противоречие. Значит, и . Пусть --- максимальная подгруппа из , содержащая . Так как -абнормальна, то, по лемме, либо -нильпотентна, либо является группой Миллера-Морено. Но --- минимальная нормальная подгруппа в , поэтому ясно, что не может быть -замкнутой группой. Таким образом, -нильпотентна. Если , то из и из условия вытекает, что существует -субнормальная в подгруппа такая, что . Так как , то , что противоречит равенству . Итак, мы должны рассмотреть только случай . Подгруппа является циклической и максимальна в . Поэтому очевидно, что максимальная подгруппа из нормальна в . Пусть ---минимальная нормальная подгруппа в . Так как --- минимальная нормальная подгруппа в , то --- -группа, не входящая в , а значит, . Так как максимальна и не нормальна в , то . Ясно теперь, что , а значит, нормальна в . Таким образом, получается, что , что противоречит равенству . Итак, теперь надо рассмотреть случай , т.е. --- силовская -подгруппа в , а --- минимальная нормальная подгруппа в . Допустим, что силовская -подгруппа из не равна 1. Так как , то . Тогда -нильпотентна, а значит, силовская -подгруппа из содержится в . Но это противоречит равенству . Итак, . По теореме Бернсайда, -нильпотентна и, значит, --- силовская -подгруппа в . Максимальная подгруппа из не максимальна в , поэтому для некоторой -субнормальной в подгруппы . Так как --- абелева -группа, то . Значит, оказывается -субнормальной в . По теореме, . Мы получаем, что --- группа типа .