2.1.

,

. Так как

--- минимальная нормальная подгруппа в

, то

. По теореме Машке,

, где

. Так как

, то

-главные факторы

и

центральны. Но тогда

и

содержатся в

. Если

, то из

вытекает, что

, а это противоречит тому, что

---

-эксцентральный главный фактор в

. Значит,

. Рассмотрим подгруппу

. Подгруппа

не максимальна в

, поэтому

, где

--- некоторая

-субнормальная подгруппа из

. Так как

, то

не может быть

-субнормальной в

. Поэтому

. Из максимальности

в

выводим, что

совпадает либо с

, либо с

. В обоих случаях

. Отсюда и из

-субнормальности подгруппы

следует, что

-субнормальна в

, и мы приходим к противоречию.
2.2.

,

. Так как

, то главные факторы

и

изоморфны, откуда выводим, что

содержится в

. Но тогда

--- неединичная подгруппа из

, что невозможно, так как

-эксцентральна. Получили противоречие.
2.3.

. Так как

, то из

следует, что

, а это противоречит минимальности

в

. Поэтому остается принять, что

. Это означает, что

-нильпотентна. Но

была выбрана ранее так, что

не

-нильпотентна. Снова получили противоречие.
Таким образом, в

нет максимальных подгрупп

таких, что

не

-нильпотентна. Получается, что

--- минимальная не

-нильпотентная группа с минимальной нормальной подгруппой

, т.е.

--- группа Миллера-Морено.