Сплетение групп: конструкция и силовские подгруппы

Сплетение групп $A \wr B$ - это конструкция, которая собирает «слой» $A$ над каждой точкой носителя $B$ и склеивает слои действием $B$ перестановкой координат. На выходе получается группа, формализующая симметрии иерархических структур: колоды карт, разбитой на стопки; группы автоморфизмов корневого дерева; силовских подгрупп симметрических групп $S_{p^n}$. Ниже - регулярное и перестановочное определения, формула для порядка, центр, и три рабочих примера, на которых сплетение обычно и встречается в курсе.

Регулярное сплетение $A \wr B$

Пусть $A$ и $B$ - две группы. Регулярное сплетение определяется как полупрямое произведение

$$A \wr B \;=\; A^B \rtimes B,$$

где $A^B = \prod_{b \in B} A$ - прямое произведение копий $A$, индексированных элементами $B$ (так называемое базовое подгруппа), а $B$ действует на $A^B$ перестановкой координат: для $f \in A^B$ и $b \in B$ полагают

$$(b \cdot f)(x) \;=\; f(b^{-1} x), \qquad x \in B.$$

Элемент сплетения - это пара $(f, b)$, где $f \colon B \to A$ - «функция-вектор», а $b \in B$. Умножение задаётся по правилу полупрямого произведения:

$$(f_1, b_1)(f_2, b_2) \;=\; \bigl(f_1 \cdot (b_1 \cdot f_2),\; b_1 b_2\bigr).$$

Когда $B$ конечна, $A^B$ - это $|B|$-кратное прямое произведение, и сплетение тоже конечно. Когда $B$ бесконечна, чаще берут ограниченное сплетение: $A^B$ заменяют на прямую сумму $\bigoplus_{b \in B} A$ - функций с конечным носителем.

Перестановочное сплетение $A \wr_X B$

Если $B$ не действует на себе регулярно, а уже задано как группа перестановок на множестве $X$ - пишут $A \wr_X B = A^X \rtimes B$, где базовая подгруппа индексирована точками $X$, и $B$ переставляет координаты так же, как точки $X$. Регулярное сплетение - частный случай при $X = B$ с регулярным действием.

Это важное уточнение: для одной и той же абстрактной пары $(A, B)$ разные действия дают разные группы. В источниках под $A \wr B$ почти всегда подразумевается регулярное; перестановочное - когда явно указано действие.

Порядок сплетения

Из определения сразу следует формула для порядка:

$$|A \wr B| \;=\; |A|^{|B|} \cdot |B|.$$

Например, $\mathbb{Z}_2 \wr \mathbb{Z}_2$ имеет порядок $2^2 \cdot 2 = 8$ - это диэдральная группа $D_4$. А $\mathbb{Z}_2 \wr S_3$ - порядок $2^6 \cdot 6 = 384$; это так называемая гипероктаэдральная группа $B_3$, симметрии трёхмерного куба.

Для перестановочного сплетения подставляется $|X|$ вместо $|B|$:

$$|A \wr_X B| \;=\; |A|^{|X|} \cdot |B|.$$

Пример: $S_n \wr S_m$ как стабилизатор блочного разбиения

Возьмём множество $\{1, 2, \dots, nm\}$, разбитое на $m$ блоков по $n$ элементов. Группа всех перестановок $S_{nm}$, сохраняющих это разбиение как множество блоков (можно переставлять элементы внутри блока и можно менять блоки местами), изоморфна

$$S_n \wr S_m \;\hookrightarrow\; S_{nm}, \qquad |S_n \wr S_m| = (n!)^m \cdot m!.$$

При $n = 2$, $m = 4$ получается стабилизатор разбиения 8 элементов на 4 пары - это группа гиперокт $B_4$ через её представление в $S_8$. Действие сплетения на $X = \{1, \dots, nm\}$ - это перестановочное сплетение $S_n \wr_X S_m$ с естественным действием $S_m$ на множестве блоков.

Силовские $p$-подгруппы $S_{p^n}$

Самый красивый результат про сплетения - описание силовской $p$-подгруппы симметрической группы $S_{p^n}$. Она равна итерированному сплетению

$$P_n \;=\; \underbrace{\mathbb{Z}_p \wr \mathbb{Z}_p \wr \dots \wr \mathbb{Z}_p}_{n \text{ раз}},$$

где скобки расставлены слева-направо: $P_1 = \mathbb{Z}_p$, $P_{n+1} = P_n \wr \mathbb{Z}_p$. Порядок такой:

$$|P_n| \;=\; p^{1 + p + p^2 + \dots + p^{n-1}} \;=\; p^{(p^n - 1)/(p - 1)}.$$

Это и есть $p$-часть в разложении $|S_{p^n}| = (p^n)!$, что проверяется формулой Лежандра. Для произвольного $n$ силовская $p$-подгруппа $S_n$ собирается как прямое произведение блоков $P_{k_i}$, соответствующих $p$-ичному разложению $n = \sum k_i p^{i}$.

Конкретно при $p = 2$, $n = 3$: $|S_8| = 8! = 40320 = 2^7 \cdot 315$, и силовская 2-подгруппа имеет порядок $2^7 = 128$. По формуле $|P_3| = 2^{(2^3-1)/(2-1)} = 2^7$ - сходится.

$\mathbb{Z}_n \wr \mathbb{Z}_m$ как метациклическая группа

Сплетение двух циклических групп даёт пример метациклической группы - расширения циклической группы посредством циклической. Порядок $|\mathbb{Z}_n \wr \mathbb{Z}_m| = n^m \cdot m$. Базовая подгруппа $\mathbb{Z}_n^m$ нормальна и абелева, фактор $\mathbb{Z}_m$ - циклический.

Малый случай $\mathbb{Z}_2 \wr \mathbb{Z}_2$ совпадает с $D_4$: ровно 8 элементов, базовая подгруппа $\mathbb{Z}_2 \times \mathbb{Z}_2$ - клейновская четверная, и образующая внешнего $\mathbb{Z}_2$ переставляет два множителя. Менее тривиальный пример: $\mathbb{Z}_3 \wr \mathbb{Z}_2$ - порядок 18, базовая $\mathbb{Z}_3 \times \mathbb{Z}_3$, внешний элемент порядка 2 переставляет координаты. Это совершенно конкретная группа симметрий, которая постоянно всплывает при разборе нормальных подгрупп индекса 2 в группах порядка $\leq 24$.

Центр $Z(A \wr B)$

Для регулярного сплетения с конечной $B$ центр считается явно. Элемент $(f, b)$ лежит в центре тогда и только тогда, когда $b = e$ и $f$ постоянна со значением в $Z(A)$. То есть

$$Z(A \wr B) \;\cong\; Z(A) \qquad \text{(при } |B| \geq 2 \text{ и регулярном действии)}.$$

Геометрический смысл: переставлять координаты - это нетривиальное действие, значит ничего, что меняет $b$, в центр не попадёт; а константная функция со значением в центре $A$ коммутирует со всем и переставляется в саму себя. Если $A$ абелева, то $Z(A \wr B) \cong A$; если $A$ с тривиальным центром (например, $S_n$ при $n \geq 3$), центр сплетения тоже тривиален.

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

Сплетение почти всегда нетривиально по коммутанту. Базовая подгруппа $A^B$ нормальна; коммутатор элемента из $A^B$ с элементом $(0, b)$ даёт «разностные функции» вида $f - b\cdot f$, которые порождают существенную часть $A^B$. Точно сказать: при нетривиальном действии $B$ на $A^B$ нильпотентность $A \wr B$ выполняется только в исключительных случаях (например, $\mathbb{Z}_p \wr \mathbb{Z}_p$ - это конечная $p$-группа, значит нильпотентна по общему результату). Для $\mathbb{Z}_n \wr \mathbb{Z}_m$ с $\gcd(n, m) = 1$ нильпотентность не выполняется - сплетение даже не является прямым произведением своих силовских.

Типовые задачи на сплетение

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

1. Построить $A \wr B$ для конкретных $A, B$, выписать таблицу умножения для малых порядков, проверить ассоциативность.
2. Посчитать порядок по формуле $|A|^{|B|} \cdot |B|$ - обычно для $\mathbb{Z}_2 \wr S_n$, $S_2 \wr S_n$, $\mathbb{Z}_p \wr \mathbb{Z}_q$.
3. Найти центр $Z(A \wr B)$ - типовая задача в коллоквиуме; ответ почти всегда $Z(A)$ при регулярном действии.
4. Доказать, что $S_n \wr S_m \hookrightarrow S_{nm}$ через стабилизатор блочного разбиения.
5. Описать силовскую $p$-подгруппу $S_{p^n}$ как итерированное сплетение $\mathbb{Z}_p \wr \dots \wr \mathbb{Z}_p$.

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

• Путают регулярное и перестановочное сплетение: записывают $A \wr B$, но имеют в виду действие $B$ не на себе, а на каком-то $X$. Это даёт разные порядки и разные группы.
• Считают порядок как $|A| \cdot |B|$ или $|A|^{|B|}$ без множителя $|B|$. Правильно - $|A|^{|B|} \cdot |B|$: базовая подгруппа плюс фактор.
• Берут прямое произведение $A^B$ вместо полупрямого. Без действия $B$ это была бы тривиальная конструкция, в ней нет ни смысла, ни силовских.
• В итерированных сплетениях расставляют скобки наугад. Стандартное соглашение - слева-направо: $((A_1 \wr A_2) \wr A_3) \wr A_4$.
• Объявляют сплетение абелевым на основании абелевости $A$ и $B$. На самом деле сплетение неабелево уже для $A = B = \mathbb{Z}_2$ - это $D_4$.

FAQ

Чем сплетение отличается от полупрямого произведения? Сплетение - это конкретный случай полупрямого произведения, где нормальная подгруппа - это степень $A^B$ или $A^X$, а внешняя $B$ действует на ней перестановкой координат. Не всякое полупрямое произведение является сплетением: для сплетения нужна именно регулярная или перестановочная структура действия.

Почему сплетения важны для силовских подгрупп? Теорема Калужнина–Краснера говорит, что силовская $p$-подгруппа $S_{p^n}$ изоморфна итерированному сплетению $n$ копий $\mathbb{Z}_p$. Это даёт явное описание силовской через рекурсию и сразу же - формулу для её порядка. Для произвольного $n$ силовская $p$-подгруппа $S_n$ - прямое произведение таких сплетений по $p$-ичному разложению $n$.

Когда $A \wr B$ нильпотентно? Достаточное условие: $A$ и $B$ - конечные $p$-группы при одном и том же $p$. Тогда $A \wr B$ - тоже конечная $p$-группа, а они все нильпотентны. Если $|A|$ и $|B|$ имеют разные простые делители, сплетение почти никогда не нильпотентно: оно даже не разлагается в прямое произведение своих силовских.

Коротко

Сплетение $A \wr B$ - полупрямое произведение $A^B \rtimes B$ с действием $B$ перестановкой координат базовой подгруппы. Порядок - $|A|^{|B|} \cdot |B|$, центр для регулярного сплетения - $Z(A)$. Конструкция даёт стабилизатор блочного разбиения $S_n \wr S_m \hookrightarrow S_{nm}$, силовские $p$-подгруппы $S_{p^n}$ как итерированное сплетение $\mathbb{Z}_p \wr \dots \wr \mathbb{Z}_p$, а также короткий способ описать симметрии иерархических объектов вроде корневых деревьев. На экзамене по теории групп задача про сплетение почти всегда сводится к одному из четырёх типов: построить, посчитать порядок, найти центр, разобрать силовскую.