Нильпотентная группа: определение, класс, примеры

Нильпотентная группа - это группа, у которой нижний центральный ряд за конечное число шагов спускается до единицы, или, эквивалентно, верхний центральный ряд за то же число шагов поднимается до всей группы. Конструкция занимает промежуточное место между абелевыми группами и разрешимыми: всякая нильпотентная группа разрешима, но обратное неверно. Ниже - определения, эквивалентные формулировки через силовские подгруппы, классические примеры и разбор того, чем нильпотентность отличается от близких свойств.

Определение через нижний центральный ряд

Пусть $G$ - произвольная группа, $[g, h] = g^{-1} h^{-1} g h$ - коммутатор, а $[A, B]$ - подгруппа, порождённая коммутаторами элементов из $A$ и $B$. Нижний центральный ряд определяется индуктивно:

$$\gamma_1(G) = G, \qquad \gamma_{i+1}(G) = [G, \gamma_i(G)].$$

Группа $G$ называется нильпотентной, если существует $c \geq 0$, при котором $\gamma_{c+1}(G) = \{e\}$. Минимальное такое $c$ - это класс нильпотентности $\mathrm{nil}(G)$. Подробный разбор самой конструкции рядов вынесен в отдельный материал про центральный ряд группы; здесь мы сосредоточимся на самом свойстве нильпотентности и его следствиях.

Класс $c = 0$ возможен только для тривиальной группы. Класс $c = 1$ - это абелева группа: $\gamma_2 = [G, G] = \{e\}$ означает, что коммутаторы тривиальны. Поэтому абелевы группы - это в точности нильпотентные группы класса не выше 1.

Эквивалентное определение через верхний ряд

Верхний центральный ряд строится с другого конца: $Z_0(G) = \{e\}$, а $Z_{i+1}(G)$ - полный прообраз центра факторгруппы $G / Z_i(G)$ при канонической проекции. Получается возрастающая цепочка $\{e\} \subseteq Z_1(G) \subseteq Z_2(G) \subseteq \dots$ Первый член $Z_1(G) = Z(G)$ - обычный центр.

Группа нильпотентна тогда и только тогда, когда $Z_c(G) = G$ для некоторого $c$. Важно: класс при этом совпадает с тем, что определён через нижний ряд. Связка фиксируется неравенством $\gamma_{i+1}(G) \subseteq Z_{c - i}(G)$, и если оба ряда обрываются, то длина обрыва общая.

Эквивалентные определения

Для конечных групп набор эквивалентных формулировок особенно удобен на практике:

• Нижний центральный ряд $\gamma_i(G)$ обрывается на $\{e\}$.
• Верхний центральный ряд $Z_i(G)$ доходит до $G$.
• Каждая собственная подгруппа имеет нетривиальный нормализатор: $N_G(H) \supsetneq H$ при $H \neq G$ (нормализаторное условие).
• Все максимальные подгруппы нормальны.
• Все силовские подгруппы нормальны.
• $G$ изоморфна прямому произведению своих силовских $p$-подгрупп.

Последний пункт - самый практичный критерий для конечных групп: проверка нильпотентности сводится к проверке того, что силовские подгруппы единственны.

Теорема: конечная группа нильпотентна ⇔ прямое произведение силовских

Это центральный структурный результат. Пусть $G$ - конечная группа, $|G| = p_1^{a_1} \dots p_k^{a_k}$, и $P_i$ - силовская $p_i$-подгруппа. Тогда эквивалентны:

1. $G$ нильпотентна.
2. Все $P_i$ нормальны в $G$.
3. $G \cong P_1 \times P_2 \times \dots \times P_k$.

Из этой теоремы сразу видно, как устроены конечные нильпотентные группы: достаточно понять структуру $p$-группы для каждого простого, а дальше работает прямое произведение. Подробности про силовские разложения и подсчёт числа $n_p$ - в материале про теоремы Силова.

Все конечные $p$-группы нильпотентны

Конечная $p$-группа $G$ (то есть $|G| = p^n$) всегда нильпотентна. Доказательство опирается на ключевое свойство $p$-групп: их центр нетривиален. Из уравнения классов

$$|G| = |Z(G)| + \sum_{i} [G : C_G(x_i)],$$

где сумма идёт по представителям нецентральных классов сопряжённости, видно, что $|Z(G)|$ делится на $p$, а значит $Z(G) \neq \{e\}$. Применяя это к факторам $G / Z_i(G)$, получаем строго возрастающий верхний центральный ряд, который рано или поздно упирается в $G$.

Класс нильпотентности конечной $p$-группы порядка $p^n$ ограничен $n - 1$ и оценка достигается на $UT_n(\mathbb{F}_p)$.

Теорема Бирнсайда о $p^a q^b$ группах

Знаменитый результат Бирнсайда утверждает, что всякая конечная группа порядка $p^a q^b$ (с двумя простыми делителями) разрешима. Возникает естественный вопрос: а нильпотентна ли она? Ответ отрицательный - таких контрпримеров много, простейший $S_3$ имеет порядок $2 \cdot 3$. Теорема Бирнсайда говорит именно про разрешимость, а нильпотентность требует более жёсткого условия: единственности всех силовских подгрупп. Уже в группе $S_3$ существует три силовских $2$-подгруппы, поэтому критерий «прямое произведение силовских» не выполняется.

Тем не менее, если в группе порядка $p^a q^b$ обе силовские подгруппы нормальны (то есть $n_p = 1$ для обоих простых), то группа автоматически нильпотентна.

Классические примеры

Абелевы группы. Любая абелева группа - нильпотентна класса 1 (или 0 для тривиальной). Циклическая $\mathbb{Z}_n$, конечно порождённая абелева $\mathbb{Z}^k \oplus \mathbb{Z}/n_1 \oplus \dots$ - всё это нильпотентные группы.

Кватернионы $Q_8$. Группа $Q_8 = \{\pm 1, \pm i, \pm j, \pm k\}$ имеет центр $Z(Q_8) = \{\pm 1\}$, а фактор $Q_8/Z \cong \mathbb{Z}_2 \times \mathbb{Z}_2$ абелев. Значит $Z_2(Q_8) = Q_8$, класс нильпотентности равен 2.

Диэдральная $D_4$. Симметрии квадрата (8 элементов) тоже нильпотентны класса 2: центр содержит поворот на $\pi$, фактор по нему - четверная группа Клейна. А вот $D_n$ для нечётного $n \geq 3$ - не нильпотентна: центр тривиален.

Унитреугольные матрицы $UT_n(\mathbb{F}_p)$. Это эталон нильпотентной $p$-группы. Нижний центральный ряд имеет прозрачное матричное описание: $\gamma_i$ состоит из матриц с нулями на первых $i - 1$ супердиагоналях. Ряд обрывается на $\gamma_n = \{E\}$, поэтому

$$\mathrm{nil}\bigl(UT_n(\mathbb{F}_p)\bigr) = n - 1.$$

При $n = 3$ получаем группу Гейзенберга - каноничный пример нильпотентной группы класса 2.

Нильпотентность сильнее разрешимости

Каждая нильпотентная группа разрешима - это следует из вложения производного ряда в нижний центральный: $G^{(i)} \subseteq \gamma_{2^i}(G)$. Поэтому если $\gamma_{c+1} = \{e\}$, то и $G^{(\lceil \log_2(c+1) \rceil)} = \{e\}$. Класс нильпотентности контролирует ступень разрешимости сверху.

Обратное неверно. Самый известный контрпример - симметрическая группа $S_3$: её коммутант $A_3 \cong \mathbb{Z}_3$ абелев, поэтому $S_3$ разрешима со ступенью 2, но $Z(S_3) = \{e\}$, и верхний ряд застрял на нуле. Подобная картина для разрешимых, но не нильпотентных групп повторяется в $S_4$ и $A_4$: всё ещё разрешимы, всё ещё с тривиальным центром, а потому не нильпотентны.

В терминах силовских: $S_3$ содержит три силовские $2$-подгруппы (отражения по разным осям).

Приложения

Нильпотентные группы - не редкий зверь, а центральный объект сразу в нескольких областях.

В классификации конечных простых групп нильпотентные подгруппы возникают как ключевые блоки локальной структуры. В теории Ли соответствие Мальцева и Лазара устанавливает биекцию между нильпотентными группами без кручения и нильпотентными алгебрами Ли над $\mathbb{Q}$. В гомологической алгебре нильпотентные группы дают регулярное поведение групп когомологий $H^*(G; \mathbb{Z})$. В учебных курсах нильпотентность всплывает в разделах про теоремы Силова и классификацию групп малого порядка ($|G| \leq 16$).

Типовые задачи

1. Проверить нильпотентность группы заданного порядка через разложение в произведение силовских подгрупп. Например, $|G| = 15 = 3 \cdot 5$: $n_3 = 1$, $n_5 = 1$ принудительно (по теореме Силова), значит $G \cong \mathbb{Z}_3 \times \mathbb{Z}_5 \cong \mathbb{Z}_{15}$ - нильпотентна класса 1.
2. Найти класс нильпотентности матричной группы $UT_n(\mathbb{F}_p)$ - обычно через явное описание $\gamma_i$ супердиагоналями.
3. Привести пример разрешимой, но не нильпотентной группы - стандартные ответы: $S_3$, $S_4$, $A_4$, $D_n$ при нечётном $n$.
4. Доказать, что фактор и подгруппа нильпотентной группы нильпотентны - индукция по классу с использованием того, что коммутаторы переходят в коммутаторы под гомоморфизмами.

Частые ошибки

• Путают нильпотентность с разрешимостью. Нильпотентность - строго сильнее: $S_3$ разрешима, но не нильпотентна.
• Считают, что коммутативность фактора $G/Z(G)$ гарантирует нильпотентность класса 2. Это верно, но обратное условие - «$G$ нильпотентна класса 2» - означает $[G, G] \subseteq Z(G)$, не путать с $G/Z(G)$ абелев (это эквивалентные формулировки именно класса 2).
• Применяют теорему о прямом произведении силовских к бесконечным группам. Утверждение работает только для конечных.
• Забывают про условие нормальности всех силовских. Существование хотя бы одной нормальной силовской подгруппы не делает группу нильпотентной - нужно, чтобы все были нормальны.
• Ставят знак равенства между «$p$-группа» и «нильпотентная». Конечная $p$-группа всегда нильпотентна, но не всякая нильпотентная группа - $p$-группа: $\mathbb{Z}_6$ нильпотентна, но не является $p$-группой.

FAQ

Чем нильпотентная группа отличается от абелевой? Абелева группа - это нильпотентная класса не выше 1: коммутатор $[G, G] = \{e\}$. Нильпотентная класса 2 уже допускает нетривиальный коммутант, но коммутаторы лежат в центре. Чем больше класс, тем «дальше» группа от абелевой, но всё ещё сохраняет нетривиальный центр и сильную структурную регулярность.

Как быстрее всего проверить нильпотентность конечной группы? Через силовские подгруппы. Найди $|G|$, разложи на простые множители, посчитай $n_p$ для каждого простого по теореме Силова. Если все $n_p = 1$, то все силовские нормальны и $G$ - прямое произведение, то есть нильпотентна. Если хотя бы для одного простого $n_p > 1$, нильпотентность исключена. Класс при этом равен максимуму по классам силовских $p$-подгрупп.

Почему $S_3$ разрешима, но не нильпотентна? Коммутант $S_3$ равен $A_3 \cong \mathbb{Z}_3$, он абелев, поэтому производный ряд обрывается за два шага и $S_3$ разрешима. Но центр $Z(S_3)$ тривиален: в $S_3$ нет элементов, коммутирующих со всеми. Значит $Z_1(S_3) = \{e\}$, верхний центральный ряд не растёт, и нильпотентности нет. На уровне силовских: в $S_3$ три различные силовские $2$-подгруппы, поэтому критерий «прямое произведение силовских» не выполняется.

Коротко

Нильпотентная группа - это группа, у которой нижний центральный ряд обрывается на $\{e\}$ за конечное число шагов; класс нильпотентности - длина этого обрыва. Эквивалентно: верхний центральный ряд доходит до всей группы, или (для конечных) все силовские подгруппы нормальны и $G$ - их прямое произведение. Любая конечная $p$-группа нильпотентна; верхние унитреугольные матрицы $UT_n(\mathbb{F}_p)$ дают класс $n - 1$. Нильпотентность строго сильнее разрешимости и строго слабее абелевости: $S_3$ разрешима, но не нильпотентна; абелева - нильпотентна класса 1.