Центральный ряд группы и класс нильпотентности

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

Нижний центральный ряд $\gamma_i(G)$

Нижний центральный ряд группы $G$ определяется индуктивно:

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

Здесь $[G, H]$ - подгруппа, порождённая всеми коммутаторами $[g, h] = g^{-1} h^{-1} g h$, где $g \in G$, $h \in H$. На каждом шаге мы «прижимаем» предыдущий член коммутаторами со всей группой. Получается убывающая цепочка нормальных подгрупп:

$$G = \gamma_1(G) \supseteq \gamma_2(G) \supseteq \gamma_3(G) \supseteq \dots$$

Второй член $\gamma_2(G) = [G, G]$ - это знакомый коммутант, ядро всех гомоморфизмов в абелевы группы. Третий член - коммутант коммутанта со всей $G$; он содержит выражения вида $[g, [h, k]]$. Чем выше индекс, тем «глубже» вложенные коммутаторы.

Верхний центральный ряд $Z_i(G)$

Верхний центральный ряд строится наоборот - от тривиальной подгруппы вверх:

$$Z_0(G) = \{e\}, \qquad Z_{i+1}(G)/Z_i(G) = Z\bigl(G/Z_i(G)\bigr).$$

Иными словами, $Z_{i+1}$ - это полный прообраз центра факторгруппы $G/Z_i$ при канонической проекции. Получается возрастающая цепочка:

$$\{e\} = Z_0(G) \subseteq Z_1(G) \subseteq Z_2(G) \subseteq \dots$$

Первый член $Z_1(G) = Z(G)$ - обычный центр группы. Следующий $Z_2$ называют гиперцентром второго порядка: элементы, чьи коммутаторы с любым $g \in G$ лежат в центре. В дальнейшем стрелочка идёт по факторам, и каждый новый уровень накапливает элементы, «коммутирующие с группой по модулю всего, что уже центрально».

Нильпотентность как стабилизация ряда

Группа $G$ называется нильпотентной, если нижний центральный ряд за конечное число шагов доходит до единицы:

$$\gamma_{c+1}(G) = \{e\} \quad \text{для некоторого } c \geq 0.$$

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

Альтернативные характеристики, полезные на практике:

• Каждая собственная подгруппа имеет нетривиальный нормализатор: $N_G(H) \neq H$ при $H \neq G$ (так называемое нормализаторное условие).
• Все силовские подгруппы нормальны, и $G$ - прямое произведение своих силовских (это удобно проверять через теоремы Силова).
• Все максимальные подгруппы нормальны.

Эти формулировки часто проще проверить, чем явно строить ряды; они особенно удобны для конечных групп.

Класс нильпотентности

Класс нильпотентности - минимальное $c$, при котором ряд обрывается. Обозначают $\mathrm{nil}(G) = c$. Простейшие случаи:

• $c = 0$ возможен только для тривиальной группы $G = \{e\}$.
• $c = 1$ означает $\gamma_2(G) = [G, G] = \{e\}$ - то есть группа абелева.
• $c = 2$ - это «почти абелева» ситуация: коммутаторы лежат в центре, но сам коммутант нетривиален. Пример - группа Гейзенберга $H_3(\mathbb{F}_p)$ верхних унитреугольных матриц $3 \times 3$.
• $c = n - 1$ для верхних унитреугольных $UT_n(\mathbb{F}_p)$ - классический эталон нильпотентных $p$-групп.

Чем больше $c$, тем «дальше» группа от абелевой, но всё ещё в пределах структурно богатого семейства.

Связь с разрешимостью

Каждая нильпотентная группа разрешима. Разрешимость определяется производным рядом $G^{(0)} = G$, $G^{(i+1)} = [G^{(i)}, G^{(i)}]$; группа разрешима, если ряд обрывается на единице. Поскольку $G^{(i)} \subseteq \gamma_{2^i}(G)$, нильпотентность с классом $c$ влечёт разрешимость со ступенью $\lceil \log_2(c+1) \rceil$.

Обратное неверно. Пример - симметрическая группа $S_3$: её коммутант $A_3$ абелев, поэтому $S_3$ разрешима со ступенью 2, но центр $Z(S_3) = \{e\}$, а значит верхний ряд застрял на нуле, и нильпотентность не достигается. Аналогично $S_4$ разрешима, но не нильпотентна: $Z(S_4) = \{e\}$. Уже $S_5$ не разрешима - её коммутант $A_5$ совпадает сам с собой.

Пример: $UT_n(\mathbb{F}_p)$ - верхние унитреугольные матрицы

Возьмём $G = UT_n(\mathbb{F}_p)$ - матрицы $n \times n$ над полем из $p$ элементов с единицами на диагонали и нулями ниже. Нижний центральный ряд имеет прозрачное матричное описание:

$$\gamma_i(G) = \{ A \in UT_n(\mathbb{F}_p) : a_{kj} = 0 \text{ при } j - k < i \}.$$

То есть $\gamma_i$ состоит из матриц, у которых первые $i - 1$ супердиагоналей нулевые. Ряд обрывается на $\gamma_n(G) = \{E\}$, поэтому

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

При $n = 3$ получаем группу Гейзенберга - каноничный пример нильпотентной группы класса 2: коммутатор любых двух элементов лежит в центре, состоящем из матриц с одним ненулевым элементом в правом верхнем углу.

Пример: $D_4$ и $Q_8$ против $S_3$

Диэдральная группа $D_4$ (симметрии квадрата, 8 элементов) - нильпотентна класса 2: её центр содержит поворот на $\pi$, а фактор $D_4/Z(D_4) \cong \mathbb{Z}_2 \times \mathbb{Z}_2$ абелев. Аналогично кватернионы $Q_8 = \{\pm 1, \pm i, \pm j, \pm k\}$ - нильпотентны класса 2 с центром $\{\pm 1\}$.

А вот $S_3$ - нет: коммутант $A_3$ нормален и абелев, но центр тривиален, поэтому $Z_1 = \{e\}$ - ряд застрял. Здесь хорошо видно, чем нильпотентность отличается от простого условия «коммутант невелик»: нужен ещё нетривиальный центр на каждом уровне.

Типовые задачи на центральные ряды

В курсовых и письменных работах по теории групп встречаются такие типы:

1. Построить $\gamma_i$ и $Z_i$ для конкретной группы - обычно $D_n$, $Q_8$, $H_3(\mathbb{F}_p)$, полупрямого произведения $\mathbb{Z}_p \rtimes \mathbb{Z}_q$ при $q \mid p - 1$.
2. Доказать нильпотентность $p$-групп - классическая теорема: всякая конечная $p$-группа нильпотентна. Доказательство опирается на то, что центр $p$-группы нетривиален (через уравнение классов).
3. Найти класс нильпотентности заданной матричной группы - обычно сводится к разбору структуры супердиагоналей.
4. Различать нильпотентность и разрешимость - построить разрешимую, но не нильпотентную группу (классический ответ: $S_3$, $S_4$, $A_4$).

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

• Путают $[G, H]$ как множество коммутаторов и как порождённую ими подгруппу. По определению $\gamma_{i+1}$ - это именно подгруппа, иначе свойства теряются.
• Считают, что разрешимая группа автоматически нильпотентна. Не путать ступень разрешимости с классом нильпотентности.
• В верхнем ряду берут не полный прообраз центра, а сам центр $Z(G/Z_i)$ - это объект в факторгруппе, а не в $G$.
• Останавливают нижний ряд, как только увидели нетривиальную абелеву подгруппу. Нужно дойти именно до $\{e\}$ или до фиксированной точки.
• Принимают $\gamma_2(G) = \{e\}$ за достаточное условие абелевости и забывают, что это и есть определение абелевости с точностью до тождества.

FAQ

Чем отличается нижний центральный ряд от верхнего? Нижний начинается со всей группы и спускается через коммутаторы; верхний начинается с тривиальной подгруппы и поднимается через центры факторов. У нильпотентной группы они обрываются одновременно на $\{e\}$ и $G$ соответственно. У ненильпотентной хотя бы один из рядов застревает на промежуточной подгруппе - например, для $S_3$ верхний ряд не выходит из нуля.

Всякая ли конечная $p$-группа нильпотентна? Да. Из уравнения классов следует, что центр конечной $p$-группы нетривиален. Применяя это к факторам $G/Z_i$, получаем, что верхний центральный ряд строго растёт, пока не дойдёт до всей группы. Класс нильпотентности при этом не ограничен сверху универсальной константой - он растёт с $n$ для $UT_n(\mathbb{F}_p)$.

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

Коротко

Центральный ряд - две дуальные цепочки подгрупп: нижняя $\gamma_i(G)$ строится через коммутаторы со всей группой, верхняя $Z_i(G)$ - через прообразы центров факторов. Группа нильпотентна, если хотя бы один из рядов обрывается на единице (тогда и второй обрывается за столько же шагов на всей группе), и класс нильпотентности - это минимальная длина обрыва. Все конечные $p$-группы и прямые произведения силовских - нильпотентны; типичный «не-пример» - $S_3$. Нильпотентность сильнее абелевости и слабее разрешимости, и именно центральный ряд даёт точный язык для этой иерархии.