Абстрактная алгебра
Разрешимые группы
Нильс Абель в 1824 году доказал, что формулы для решения уравнений 5-й степени не существует. Галуа объяснил ПОЧЕМУ: группа симметрий такого уравнения неразрешима. Это соединение теории групп с алгеброй - один из величайших conceptual прорывов в истории математики.
- Алгоритмы нахождения корней многочленов (численные методы - метод Ньютона, бисекция) необходимы именно потому, что аналитических формул не существует для степеней ≥ 5
- В теории Галуа над полями p-адических чисел: разрешимость групп Галуа связана с разрешимостью диофантовых уравнений - активная область исследований
Предварительные знания
Коммутант и производный ряд
**Коммутант** (производная подгруппа) G' = [G,G] - подгруппа, порождённая всеми коммутаторами [g,h] = ghg⁻¹h⁻¹. Коммутатор измеряет, насколько g и h «не коммутируют»: [g,h] = e тогда и только тогда, когда gh = hg. G/G' - наибольшая абелева факторгруппа G (т.е. G' - наименьшая нормальная подгруппа с абелевым фактором). **Производный ряд:** G = G⁽⁰⁾ ⊇ G⁽¹⁾ = G' ⊇ G⁽²⁾ = (G')' ⊇ ..., где G⁽ⁿ⁺¹⁾ = [G⁽ⁿ⁾, G⁽ⁿ⁾].
**G/G' - максимальная абелева факторгруппа.** Любой гомоморфизм G → A (A абелева) факторизуется через G/G'. Это делает G' «мерилой неабелевости» группы. Если G абелева, то G' = {e} и G/G' = G. Чем «сложнее» G, тем «больше» G' и «меньше» G/G'.
**Нижний центральный ряд** (другой инструмент): G = G₀ ⊇ G₁ = [G,G₀] ⊇ G₂ = [G,G₁] ⊇ ..., где Gₙ₊₁ = [G, Gₙ]. Группы, где этот ряд обрывается в {e}, называются **нильпотентными** (более сильное условие, чем разрешимость). p-группы нильпотентны → нильпотентны → разрешимы.
Чему равен коммутант [S₃, S₃] группы S₃?
Разрешимые группы: определение
**Определение:** Группа G называется **разрешимой**, если её производный ряд обрывается в единице: G = G⁽⁰⁾ ⊇ G⁽¹⁾ ⊇ G⁽²⁾ ⊇ ... ⊇ G⁽ⁿ⁾ = {e}. Эквивалентно: G имеет **subnormal ряд** G = G₀ ⊇ G₁ ⊇ ... ⊇ Gₖ = {e}, где каждый Gᵢ₊₁ ◁ Gᵢ и Gᵢ/Gᵢ₊₁ - абелева. Интуиция: разрешимая группа «строится» из абелевых «кирпичиков» через расширения.
**Теорема Фейта-Томпсона (1963):** Каждая конечная группа нечётного порядка разрешима. Доказательство - 255 страниц! Это означает: единственные конечные простые неабелевы группы имеют чётный порядок. Следствие: в любую конечную простую неабелеву группу «вложена» некоторая версия Z₂.
**Ряд Иордана-Гёльдера.** Если G = G₀ ⊇ G₁ ⊇ ... ⊇ Gₖ = {e} - subnormal ряд с простыми факторами Gᵢ/Gᵢ₊₁, то такой ряд называется **рядом композиции**. Теорема Жордана-Гёльдера: все ряды композиции имеют одинаковую длину и одинаковые факторы (с точностью до перестановки). Это «разложение на простые» для групп.
Является ли группа D₅ (диэдральная группа порядка 10, симметрии правильного пятиугольника) разрешимой?
Теорема Абеля-Руффини и формула Галуа
**Центральная теорема теории Галуа:** Уравнение f(x) = 0 (с коэффициентами в F) **решается в радикалах** тогда и только тогда, когда группа Галуа Gal(f) разрешима. **Теорема Абеля-Руффини:** «Общее» уравнение степени n ≥ 5 не имеет формулы в радикалах. Доказательство: группа Галуа общего многочлена степени n - это Sₙ. При n ≥ 5: S₅ ⊇ A₅ ⊇ A₅ ⊇ ... - производный ряд не обрывается. Sₙ неразрешима → нет формулы.
**Почему радикалы ↔ разрешимые группы?** Присоединение корня n-й степени √[n]{a} к полю F соответствует **циклическому расширению** (расширению Галуа с группой Zₙ). Формула в радикалах - это башня таких расширений. Башня циклических расширений → разрешимая группа (расширения разрешимой разрешимой разрешимы, а циклические абелевы → разрешимы). Обратно: Galois доказал, что разрешимость группы гарантирует существование такой башни.
**Уравнения, решаемые в радикалах, несмотря на степень ≥ 5.** Уравнение x⁵ − 5x + 12 = 0 имеет группу Галуа D₅ (порядок 10, разрешима) и решается в радикалах. Пример: x = ∛(-6+√(32)) + ... (сложная, но конечная формула). Решаемость зависит от конкретного многочлена, а не только от степени.
Уравнения 5-й степени никогда не решаются в радикалах
Теорема Абеля-Руффини говорит об отсутствии ОБЩЕЙ ФОРМУЛЫ для всех уравнений 5-й степени. Конкретные уравнения могут решаться, если их группа Галуа разрешима.
Пример: x⁵ − 1 = 0 (корни из 1) решается через x = e^{2πik/5} = cos(2πk/5) + i·sin(2πk/5) - это радикалы. Группа Галуа этого уравнения - Z₄, разрешимая.
Уравнение f(x) = 0 имеет группу Галуа A₄ (порядок 12). Решается ли оно в радикалах?
Ключевые идеи
- Коммутант G' = [G,G]: подгруппа из всех коммутаторов; G/G' - максимальная абелева факторгруппа
- Производный ряд: G⁽⁰⁾ ⊇ G⁽¹⁾ ⊇ G⁽²⁾ ⊇ ..., где G⁽ⁿ⁺¹⁾ = [G⁽ⁿ⁾,G⁽ⁿ⁾]
- G разрешима ⟺ производный ряд обрывается в {e} ⟺ существует subnormal ряд с абелевыми факторами
- Все p-группы, S₂, S₃, S₄ разрешимы; A₅, S₅, Sₙ (n≥5) неразрешимы
- Теорема Галуа: f решается в радикалах ⟺ Gal(f) разрешима
- Теорема Абеля-Руффини: общее уравнение степени n≥5 не имеет формулы в радикалах (Gal = Sₙ неразрешима)
Дальнейшие пути
Разрешимые группы - это «безопасный мир» алгебры: их структура полностью понятна. За их пределами - конечные простые группы, Monster, теорема классификации на 10 000 страниц.
- Теория Галуа: введение — Разрешимость группы Галуа ↔ решаемость уравнения - центральная теорема, связывающая оба урока
- Действия групп — Доказательство теоремы Абеля-Руффини использует действие группы Галуа на корнях через теорему о фиксированных полях
Вопросы для размышления
- Докажите, что A₄ разрешима, найдя явный subnormal ряд с абелевыми факторами. Покажите, что A₄ не нильпотентна.
- Почему теорема Фейта-Томпсона (все группы нечётного порядка разрешимы) имеет огромное значение для классификации конечных простых групп?
- Найдите конкретное уравнение 5-й степени, которое решается в радикалах, и объясните, почему его группа Галуа разрешима.