Пусть

, где

---

-замкнутая насыщенная

-нильпотентная формация. Будем считать, что

. Пусть

--- неабелева группа порядка

. Тогда

, где

,

,

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

, где

. Ясно, что

,

. Таким образом,

--- группа типа

.
Пусть

, где

---

-замкнутая насыщенная

-нильпотентная формация. Пусть

--- циклическая группа порядка

,

--- такая подгруппа из

, что

--- простое число, делящее

и входящее в

. Пусть

. Так как

циклическая, то из теоремы вытекает, что

и

. Отсюда следует, что

---

-нормальная нильпотентная максимальная подгруппа, а любая подгруппа порядка

является группой Миллера-Морено. Значит,

--- группа типа

.
Пусть

--- нециклическая группа порядка

,

--- неабелева неприводимая группа автоморфизмов порядка

группы

, где

и

--- простые числа из

,

---

-замкнутая насыщенная

-нильпотентная формация. Тогда

, где

--- группа типа

.
Пусть

--- группа порядка

такая, что

имеет силовскую

-подгруппу

порядка

. Пусть

, где

---

-замкнутая насыщенная

-нильпотентная формация. Тогда

--- группа типа

.
Пусть

и

--- нечетные простые числа,

--- группа простого порядка

,

--- группа порядка

. В

существует элемент

порядка

, который действует нетривиально на

и

. Циклическую группу

порядка

превратим в группу операторов группы

с помощью гомоморфизма

с ядром порядка

. Пусть

. Очевидно, что

и

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

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

--- такая

-замкнутая насыщенная

-нильпотентная формация, что

. Тогда группа

--- группа типа

.
Пусть

,

,

--- различные простые числа и порядок

по модулю

равен

. Пусть

--- такая

-замкнутая насыщенная

-нильпотентная формация, что

. Пусть

--- группа из примера . Допустим, что существует неабелева группа автоморфизмов

порядка

группы

. Тогда

--- группа Миллера-Морено. Ясно, что группа

--- группа типа

. Эта ситуация реализуется, например, в случае

,

,

.