Разрешимая группа: производный ряд и теория Галуа

Разрешимая группа - центральное понятие, через которое теория групп выходит на классический вопрос о решении алгебраических уравнений в радикалах. Формально это группа, у которой производный ряд за конечное число шагов спускается до тривиальной подгруппы, то есть итерированное взятие коммутанта рано или поздно «обнуляет» структуру. Ниже - точные определения, эквивалентные характеризации через композиционные ряды, классические примеры $S_n$ и $A_n$, связь с теоремой Абеля-Руффини, теоремы Бернсайда и Фейта-Томпсона, и аккуратное различие с нильпотентностью.

Производный ряд и коммутант

Для группы $G$ её коммутант (производная подгруппа) - это подгруппа, порождённая всеми коммутаторами:

$$G^{(1)} = [G, G] = \langle\, g^{-1} h^{-1} g h \mid g, h \in G \,\rangle.$$

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

$$G^{(0)} = G, \qquad G^{(i+1)} = \bigl[\, G^{(i)},\, G^{(i)} \,\bigr].$$

Получается убывающая цепочка нормальных подгрупп

$$G = G^{(0)} \supseteq G^{(1)} \supseteq G^{(2)} \supseteq \ldots,$$

в которой каждый фактор $G^{(i)} / G^{(i+1)}$ абелев по построению. Вопрос - обрывается ли эта цепочка на тривиальной подгруппе.

Разрешимость как стабилизация ряда

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

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

Минимальное такое $n$ называют ступенью разрешимости (или производной длиной). При $n = 0$ группа тривиальна, при $n = 1$ - абелева ($G^{(1)} = [G, G] = \{e\}$), при $n = 2$ коммутант абелев, но сама группа уже нет - это «метабелевы» группы. Чем больше ступень, тем «глубже» нужно итерировать коммутант, чтобы дойти до тривиального уровня.

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

Разрешимость допускает удобную переформулировку, к которой часто сводят доказательства. Группа $G$ разрешима тогда и только тогда, когда существует субнормальный ряд с абелевыми факторами:

$$\{e\} = G_0 \triangleleft G_1 \triangleleft G_2 \triangleleft \ldots \triangleleft G_k = G, \quad G_{i+1}/G_i \text{ абелев}.$$

Здесь $\triangleleft$ - отношение нормальности (каждый $G_i$ нормален в следующем). Если такой ряд есть, можно показать, что производный ряд тоже стабилизируется. Обратно - сам производный ряд является примером такого субнормального ряда.

Для конечных групп эту формулировку часто уточняют до композиционного ряда: ряд с простыми факторами. Тогда условие разрешимости звучит так - все композиционные факторы циклические простого порядка $\mathbb{Z}_p$. Это позволяет проверять разрешимость через теорему Жордана-Гёльдера и список конечных простых групп.

Классические примеры: $S_3$, $S_4$ и катастрофа $S_5$

Возьмём симметрические группы. Для $S_3$ производный ряд короткий:

$$S_3 \supset A_3 \cong \mathbb{Z}_3 \supset \{e\}.$$

Коммутант $S_3$ - это знакопеременная подгруппа $A_3$ порядка 3, она циклическая (значит абелева), а её коммутант уже тривиален. Ступень разрешимости $S_3$ равна 2.

Для $S_4$ ряд чуть длиннее: $S_4^{(1)} = A_4$, $S_4^{(2)} = V_4$ (четверная группа Клейна), $S_4^{(3)} = \{e\}$. Ступень - 3. Здесь $V_4 = \{e, (12)(34), (13)(24), (14)(23)\}$ - нормальная подгруппа порядка 4, изоморфная $\mathbb{Z}_2 \times \mathbb{Z}_2$.

А вот при $n \geq 5$ всё ломается. Знакопеременная группа $A_n$ при $n \geq 5$ - простая и неабелева, поэтому её коммутант совпадает с ней самой: $[A_n, A_n] = A_n$. Производный ряд $S_n$ стабилизируется не на тривиальной подгруппе, а на $A_n$:

$$S_n \supset A_n = A_n^{(1)} = A_n^{(2)} = \ldots$$

Значит при $n \geq 5$ группы $S_n$ и $A_n$ не разрешимы. Эта простая алгебраическая стена - ровно то, что делает невозможной общую формулу для корней уравнения 5-й степени.

Связь с теоремой Абеля-Руффини

Теория Галуа сопоставляет каждому многочлену группу - группу симметрий его корней. Ключевой результат:

Уравнение $p(x) = 0$ разрешимо в радикалах (то есть выражается через арифметические операции и извлечение корней) тогда и только тогда, когда группа Галуа этого уравнения разрешима.

Для уравнения 2-й, 3-й и 4-й степени группы Галуа - подгруппы $S_2, S_3, S_4$, все разрешимые. Отсюда - известные формулы Кардано (степень 3) и Феррари (степень 4).

Общее уравнение 5-й степени имеет группой Галуа всю $S_5$, которая по предыдущему пункту не разрешима. Это и есть теорема Абеля-Руффини: общей формулы для корней уравнения 5-й степени через радикалы не существует. Историческое замечание: Руффини дал неполное доказательство в 1799, Абель закрыл пробелы в 1824, а Галуа в 1832 (за несколько дней до своей дуэли) построил аппарат, в котором это утверждение становится прозрачным следствием алгебраической структуры. Само слово «разрешимая» (solvable) пришло из этого контекста - буквально «такая, что уравнение разрешимо в радикалах».

Теорема Бернсайда $p^a q^b$

Один из ранних результатов о разрешимости конечных групп - теорема Бернсайда (1904):

Любая группа порядка $p^a q^b$, где $p, q$ - простые и $a, b \geq 0$, разрешима.

Доказательство Бернсайда использует характеры (теория представлений). Чисто теоретико-групповое доказательство, без характеров, было найдено только в 1970-х. Из теоремы немедленно следует, что неразрешимые конечные группы имеют порядок, делящийся хотя бы на три различных простых - это первая нетривиальная оценка снизу. Наименьшая неразрешимая конечная группа - $A_5$ порядка $60 = 2^2 \cdot 3 \cdot 5$, что согласуется с границей Бернсайда.

Теорема Фейта-Томпсона

Следующая высота в классификации - теорема Фейта-Томпсона (1963), известная как Odd Order Theorem:

Любая конечная группа нечётного порядка разрешима.

Эквивалентная формулировка: всякая конечная простая неабелева группа имеет чётный порядок. Доказательство занимает около 250 страниц и было опубликовано в Pacific Journal of Mathematics одним выпуском в 1963 году. Это первый ключевой шаг в программе классификации конечных простых групп, которая завершилась только в 2004. Уолтер Фейт и Джон Томпсон получили за этот результат премию Коула (1965), Томпсон позднее - Филдсовскую медаль (1970) и Абелевскую премию (2008).

Отличие от нильпотентности

Нильпотентные группы (для центрального ряда и точного определения см. отдельный разбор Центральный ряд группы) образуют строго более узкий класс:

$$\text{абелевы} \subset \text{нильпотентные} \subset \text{разрешимые}.$$

Каждая нильпотентная группа разрешима - это видно из того, что производный ряд вкладывается в нижний центральный: $G^{(i)} \subseteq \gamma_{2^i}(G)$. Обратное неверно. Канонический контрпример - уже знакомая $S_3$: она разрешима (ступень 2), но её центр $Z(S_3) = \{e\}$ тривиален, поэтому верхний центральный ряд застрял на нуле и нильпотентности нет. То же касается $S_4$ и $A_4$.

Интуитивно: нильпотентность требует не только «постепенного абелянивания», но и нетривиального центра на каждом уровне. Разрешимость - слабее, ей достаточно, чтобы рано или поздно коммутант обнулился.

Типовые задачи на разрешимость

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

1. Построить производный ряд для конкретной группы - обычно $S_n$ при $n \leq 4$, $D_n$, полупрямого произведения $\mathbb{Z}_p \rtimes \mathbb{Z}_q$.
2. Найти ступень разрешимости - формальный счёт длины ряда.
3. Доказать неразрешимость $S_5, A_5, SL(2, \mathbb{F}_5), \mathrm{PSL}(2, 7)$ - через простоту и совпадение коммутанта с группой.
4. Применить Бернсайда для групп порядка $p^a q^b$ - особенно полезно, когда нужно быстро заключить разрешимость без явного построения ряда.
5. Связать с теорией Галуа - для конкретного многочлена найти группу Галуа и проверить её разрешимость, тем самым решая вопрос о выразимости корней в радикалах.

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

• Путают ступень разрешимости и класс нильпотентности - это разные характеристики, разрешимая группа может вообще не быть нильпотентной.
• Останавливают производный ряд, как только видят абелеву подгруппу. Нужно дойти именно до $\{e\}$ или до фиксированной точки, где $G^{(k)} = G^{(k+1)}$.
• Считают коммутант множеством коммутаторов, а не порождённой ими подгруппой. Произведение двух коммутаторов само коммутатором быть не обязано.
• Применяют теорему Бернсайда $p^a q^b$ к трём и более простым делителям - она работает только для двух.
• Из «$G$ простая» делают вывод «$G$ не разрешима». Простая абелева группа $\mathbb{Z}_p$ разрешима (ступень 1). Неразрешимость даёт только простая неабелева группа.

FAQ

Чем разрешимая группа отличается от нильпотентной? Разрешимость - это стабилизация производного ряда $G^{(i)}$ на $\{e\}$. Нильпотентность - стабилизация нижнего центрального ряда $\gamma_i(G)$ на $\{e\}$ (эквивалентно - верхнего на $G$). Каждая нильпотентная разрешима, обратное - нет: $S_3$ разрешима, но её центр тривиален, поэтому центральный ряд не сходится к $G$.

Почему уравнение пятой степени не решается в радикалах? Потому что его группа Галуа в общем случае - это $S_5$, и $S_5$ не разрешима: её производный ряд $S_5 \supset A_5 \supset A_5 \supset \ldots$ застревает на $A_5$ (простая неабелева группа, $[A_5, A_5] = A_5$). По теореме Галуа выразимость корней в радикалах эквивалентна разрешимости группы Галуа - а её здесь нет.

Все ли конечные группы малого порядка разрешимы? Да, до порядка 59 включительно. Первая неразрешимая конечная группа - это $A_5$ порядка 60. Теорема Бернсайда $p^a q^b$ закрывает все порядки с не более чем двумя простыми делителями. Теорема Фейта-Томпсона добавляет, что любые порядки нечётны → разрешимы. Поэтому неразрешимые группы возникают только при порядке, делящемся минимум на $2$ и ещё два разных простых.

Коротко

Разрешимая группа - это группа, у которой производный ряд $G \supset G^{(1)} \supset G^{(2)} \supset \ldots$ за конечное число шагов спускается до тривиальной подгруппы $\{e\}$. Эквивалентно - существует субнормальный ряд с абелевыми факторами. Абелевы и нильпотентные группы разрешимы; $S_n, A_n$ при $n \geq 5$ - нет, что и доказывает теорему Абеля-Руффини о неразрешимости общего уравнения 5-й степени в радикалах. Теорема Бернсайда даёт разрешимость для порядка $p^a q^b$, теорема Фейта-Томпсона - для любого нечётного порядка. Нильпотентность - строго более сильное свойство, чем разрешимость: пример $S_3$ показывает, что разрешимая группа может иметь тривиальный центр.