Глава 5. Группа Галуа: конкретное соответствие и неразрешимость квинтики

Где стоит глава

Это центр Части XI. Главы 11.1–11.4 построили лес: поле как роль-расширение, степень как ярус, алгебраическое число как роль-предел с минимальным многочленом, конструктивность как ярус $2$, конечные мультипликативно устойчивые структуры. Теперь — сама симметрия корней: группа Галуа, организующая решения уравнения.

Глава предъявляет два результата ToS, и оба — настоящие, а не имитации:

1. Настоящее соответствие Галуа для $Q[\sqrt{2},\sqrt{3}]$. Четыре явных автоморфизма, их группа Клейна $V_4$ и вычисленные неподвижные подполя — явная таблица соответствия «подгруппа $\leftrightarrow$ промежуточное поле», а не просто совпадение счётчиков.
2. Настоящий движок неразрешимости квинтики. Абстрактное определение разрешимости через производный ряд и доказанная теорема: совершенная нетривиальная группа не разрешима — групповое ядро Абеля–Руффини, а не флаг.

Соответствие Галуа в ToS живёт на двух уровнях. Грубый — числовая тень: счётчик подгрупп$=$счётчик полей ($5=5$), а неразрешимость квинтики — флаг-определение (s5_is_solvable := false). Точный — конкретная таблица соответствия для $Q[\sqrt{2},\sqrt{3}]$ и групповой движок неразрешимости как теорема при явной посылке.¹ Честная рамка (подробно в 11.6): соответствие конкретно (для $Q[\sqrt{2},\sqrt{3}]$, не абстрактное соответствие $L/K\mapsto \text{Aut}(L/K)$ для произвольного $L/K$); движок неразрешимости полон, но простота $A_5$ входит как явная посылка, а не выводится; полной теоремы Абеля–Руффини в общем виде нет.

Центр Части XI: симметрия корней. Два конкретных результата — таблица соответствия Галуа для $Q[\sqrt{2},\sqrt{3}]$ и движок неразрешимости (совершенная$\Rightarrow$ не разрешима).

Настоящее соответствие Галуа для $Q[\sqrt{2},\sqrt{3}]${Q[v2,v3]}

Возьмём поле $E=Q[\sqrt{2},\sqrt{3}]$ из 11.1 — четвёрки координат $a+b\sqrt{2}+c\sqrt{3}+d\sqrt{6}$. Его автоморфизмы — отображения, сохраняющие $+,\cdot$ и неподвижные на $Q$. Предъявлены четыре стандартных автоморфизма, каждый задан явной формулой на координатах (в математическом чтении они исчерпывают $\text{Gal}(E/Q)$):²

$$\begin{array}{c}\mathrm{id};\sigma :\sqrt{2}\mapsto -\sqrt{2}(\sqrt{3}\text{неподвижен});\\ \tau :\sqrt{3}\mapsto -\sqrt{3}(\sqrt{2}\text{неподвижен});\sigma \tau :\text{оба знака}.\end{array}$$

Каждый — инволюция (${\sigma }^2=\mathrm{id}$), а $\sigma \tau =\tau \sigma$; значит четыре автоморфизма образуют группу Клейна $V_4$.³

Главное — неподвижные подполя здесь не постулированы, а вычислены. Элемент неподвижен относительно $\sigma$ ровно когда его координаты при $\sqrt{2}$ и $\sqrt{6}$ нулевые, то есть он лежит в $Q[\sqrt{3}]$; и так для каждого автоморфизма:⁴

$$\mathrm{Fix}(\sigma )=Q[\sqrt{3}],\mathrm{Fix}(\tau )=Q[\sqrt{2}],\mathrm{Fix}(\sigma \tau )=Q[\sqrt{6}],\mathrm{Fix}(V_4)=Q.$$

Отсюда явная таблица соответствия Галуа — обращающее порядок сопоставление пяти подгрупп пяти промежуточным полям:

$$\{\mathrm{id}\}\leftrightarrow E,⟨\sigma ⟩\leftrightarrow Q[\sqrt{3}],⟨\tau ⟩\leftrightarrow Q[\sqrt{2}],⟨\sigma \tau ⟩\leftrightarrow Q[\sqrt{6}],V_4\leftrightarrow Q.$$

Чем больше подгруппа, тем меньше неподвижное поле; обращение включения проверено на конкретном звене ($\mathrm{Fix}(V_4)=Q\subseteq \mathrm{Fix}(\sigma )=Q[\sqrt{3}]$).⁵ Это не «счётчиков поровну ($5=5$)», а сами отображения и сами подполя; $|\text{Gal}|=4=[E:Q]$ (11.1).

Для $Q[\sqrt{2},\sqrt{3}]$ построена явная таблица соответствия Галуа: четыре явных автоморфизма (группа $V_4$), вычисленные неподвижные подполя ($Q[\sqrt{3}],Q[\sqrt{2}],Q[\sqrt{6}],Q$) и обращающее порядок сопоставление подгруппа$\leftrightarrow$ подполе — сами отображения и подполя, а не числовая тень.

Группа симметрий корней: от $S_3${S3} к $S_5${S5}

В общем случае группа Галуа — это симметрии корней многочлена: перестановки корней, сохраняющие все алгебраические соотношения между ними. Для многочлена степени $n$ (в классическом сепарабельном случае) она — подгруппа симметрической группы $S_n$.

Группа $S_3$ предъявлена конкретно: перестановки как функции, транспозиции, и доказанная некоммутативность (${\sigma }_{12}{\sigma }_{23}\ne {\sigma }_{23}{\sigma }_{12}$ — они по-разному действуют уже на элемент 1).⁶ Некоммутативность — первый признак богатой симметрии: группа корней уже не абелева.

Для общей квинтики (уравнения 5-й степени) группа Галуа — это $S_5$ порядка $120$, содержащая знакопеременную $A_5$ порядка $60$; и $A_5$ — простая неабелева группа.⁷ Именно простота неабелевой $A_5$ ставит непреодолимый барьер: переход $S_4\to S_5$ есть порог Абеля–Руффини — $S_4$ ещё разрешима, $S_5$ уже нет.

Группа Галуа — роль-симметрия корней; для степени $n$ — подгруппа $S_n$. $S_3$ некоммутативна (конкретно), а для квинтики группа — $S_5$ ($120$), с простой неабелевой $A_5$ ($60$). Скачок $S_4\to S_5$ — порог Абеля–Руффини.

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

Почему простота $A_5$ запрещает решение в радикалах? Решение в радикалах — это башня расширений, на каждом этаже которой добавляется корень ($\sqrt[k]{\cdot }$); на языке групп это значит, что группа разрешима. ToS формализует разрешимость по-настоящему — через производный ряд:⁸

$$G⊵[G,G]⊵[[G,G],[G,G]]⊵\cdots$$

Группа разрешима, если этот ряд достигает тривиальной $\{e\}$. Совершенная группа — та, что равна своей производной, $G=[G,G]$: ряд на ней застывает и никогда не дойдёт до $\{e\}$.

Отсюда движок — доказанная теорема: совершенная нетривиальная группа не разрешима.⁹ Это и есть групповое ядро Абеля–Руффини. С позитивной стороны движок столь же реален: абелева группа разрешима (ряд сразу обрывается) — это в точности циклические шаги радикалов; для наглядности построен конкретный пример $Z/2$.¹⁰

Теперь квинтика — в классическом чтении поверх движка. Для $A_5$ классический факт: её коммутаторная подгруппа нетривиальна и нормальна, а по простоте равна всей $A_5$ — значит $A_5$ совершенна. Тогда движок даёт: $A_5$ (и содержащая её $S_5$) не разрешима, откуда общая квинтика не решается в радикалах.¹¹

Честная посылка. Где здесь граница? Сам движок (совершенная нетривиальная$\Rightarrow$ не разрешима) доказан полностью. Но простота $A_5$ — тяжёлая конечная комбинаторика на 60 элементах (перебор нормальных подгрупп) — в движок подаётся как явная посылка «$A_5$ совершенна», а не выводится внутри него. Это посылка, а не аксиома: файл остаётся 0 аксиом; просто тяжёлый конечный факт принят за вход. При данной посылке неразрешимость следует строго — содержательная теорема, а не флаг s5_is_solvable := false.

Разрешимость$=$производный ряд достигает $\{e\}$; совершенная (само-производная) группа — нет. Теорема (0 аксиом): совершенная неабелева/нетривиальная не разрешима. Применение к квинтике ($A_5$ совершенна $\Rightarrow S_5$ не разрешима) идёт поверх движка как классическое чтение с явными посылками (простота/совершенность $A_5$, $A_5$ — коммутант $S_5$); сам движок полон.

E/R/R-разбор и честные границы

Соберём структуру главы в порождающем порядке.

Слой	Содержание
Rules (L5)	соответствие Галуа как правило (подгруппа$\leftrightarrow$неподвижное подполе, обращение порядка); разрешимость как правило (производный ряд достигает $\{e\}$); композиция автоморфизмов / перестановок
Roles (L4)	группа Галуа$=$роль-симметрия корней ($V_4$ для $Q[\sqrt{2},\sqrt{3}]$; $S_n$ в общем); разрешимость$=$роль-предел (ряд коллапсирует к $\{e\}$); неразрешимость$=$совершенное ядро (само-производная группа)
Elements (L1$+$P4)	конечные данные: четыре автоморфизма как координатные формулы, неподвижные подполя, перестановки $S_3/S_5$, шаги производного ряда; абстрактное соответствие $L/K\mapsto \text{Aut}(L/K)$ для произвольного $L/K$ — не Элемент

Корректность. Соответствие корректно: каждый автоморфизм — гомоморфизм, неподвижный на $Q$; неподвижные подполя вычислены; включение обращается (на конкретном звене). Движок корректен: разрешимость определена через производный ряд, и совершенство даёт строгую неразрешимость.

Что даёт. Явную таблицу соответствия $V_4\leftrightarrow$ подполя для $Q[\sqrt{2},\sqrt{3}]$. Конкретную некоммутативную $S_3$ и числовой слой $S_5$ ($120$, $A_5$ — маркер простоты). Настоящий движок: совершенная неабелева$\Rightarrow$ не разрешима; абелева$\Rightarrow$ разрешима. Неразрешимость квинтики при явных посылках (классическое чтение).

Диагностика. Корневая ошибка — овеществление группы Галуа как завершённого объекта-функтора и «решение» уравнения через свойства этого объекта. ToS: симметрия кодируется конкретно (автоморфизмы, перестановки), а неразрешимость — структурное свойство (совершенное ядро), а не магия абстракции.

Честные границы (ключевое). (а) Соответствие построено для конкретного $Q[\sqrt{2},\sqrt{3}]$ (явная таблица, без отдельного объекта-биекции и без классификации всех автоморфизмов); абстрактное соответствие $L/K\mapsto \text{Aut}(L/K)$ для произвольного $L/K$ и Основная теорема в полной общности — не построены. (б) Движок неразрешимости полон (совершенная$\Rightarrow$ не разрешима, 0 аксиом), но простота $A_5$ принята посылкой (тяжёлая конечная комбинаторика — бэклог-труд, не аксиома). (в) Полной теоремы Абеля–Руффини (квинтика$\to S_5$ через неприводимость$+$эквивалентность «радикальная башня$\iff$разрешимая группа») нет. Важно: ни одного нового P4-запрета здесь нет — всё несделанное рода «труд / роль-предел» (подробно — 11.6).

Группа Галуа — роль-симметрия корней, кодированная конкретно (явное $V_4$-соответствие); неразрешимость — совершенное ядро (движок, 0 аксиом, при посылке о простоте $A_5$). Граница — труд и роль-пределы (абстрактный функтор, полный Абель–Руффини), не P4-запрет.

Итог и переход

Центральная глава дала два настоящих результата. Соответствие Галуа для $Q[\sqrt{2},\sqrt{3}]$ — не совпадение счётчиков, а сами четыре автоморфизма, группа $V_4$, вычисленные неподвижные подполя и обращающее порядок сопоставление подгруппа$\leftrightarrow$ подполе (полная биекция — математическое чтение этой явной таблицы). Неразрешимость квинтики — не флаг, а движок: разрешимость через производный ряд, теорема «совершенная неабелева/нетривиальная не разрешима» (0 аксиом); применение к $S_5$ идёт поверх движка при явных посылках о $A_5$. Конкретная таблица соответствия и содержательная теорема точнее числовой тени и флага-определения.

Дальше — глава 11.6, синтез и карта границ. Там соберётся вся Часть XI: Галуа-в-ToS — это ярусы степени$+$норменные формы$+$конкретное соответствие$+$движок неразрешимости; и честно очертится узкая граница. Особое место займёт переосмысление: алгебраическое замыкание $Q$ — не стена, а процесс (восходящая башня конечных расширений). Окажется, что в Части XI нет ни одного нового P4-запрета — только труд и роль-пределы, плюс две уже названные в Части X цены (выбор и континуум).

Явное $V_4$-соответствие и движок неразрешимости — центр Части XI: симметрия корней, кодированная конкретно, и неразрешимость как совершенное ядро. Это конкретные результаты, а не счётчики и флаг. Граница — труд, не запрет; синтез и карта — в 11.6.

---

---

Часть: Часть XI. Алгебра, поля, Галуа · Том: «Математика»

Навигация: ← Глава 4. Группы симметрии над Q; норменные формы; конечные поля · Глава 6. Синтез и карта границ →

Footnotes

1. Числовой слой — algebra/GaloisCorrespondence.v (v4_subgroup_count$=5=$biquadratic_field_count, s5_is_solvable$=$false). Конкретная таблица соответствия — algebra/GaloisQ23.v; движок — algebra/SolvableGroup.v (обе — 0 аксиом). ↩

2. GaloisQ23.v: a_id, a_sig, a_tau, a_st. Файл проверяет их действие, гомоморфность (sig_add/sig_mul и т. д.), неподвижность на $Q$ (base_fixed_by_all), композиции и неподвижные подполя; классификация «любой автоморфизм — один из этих четырёх» в файле не доказывается (математическое чтение). ↩

3. sig_invol, sig_tau_eq_st ($\sigma \circ \tau =\sigma \tau$), V4_abelian ($\sigma \tau =\tau \sigma$). ↩

4. fix_sig_iff: $\mathrm{fixe}{\mathrm{d}}_{\mathrm{b}}\mathrm{y}\sigma u\iff (c_1=0\wedge c_3=0)$, то есть $u\in Q[\sqrt{3}]$; аналогично fix_tau_iff ($Q[\sqrt{2}]$), fix_st_iff ($Q[\sqrt{6}]$), fix_V4_iff ($Q$). ↩

5. correspondence_inclusion_reversing (GaloisQ23.v) — одно конкретное включение; полная биекция всех пяти объектов — математическое чтение этой явной таблицы, не отдельный формальный объект. ↩

6. GaloisGroup.v: perm_compose, transpose, s3_non_commutative (со свидетелями s3_12_23_at_1$=2$ против s3_23_12_at_1$=3$); s3_order$=6$. ↩

7. GaloisCorrespondence.v: s5_order$=120$, a5_order$=60$, a5_is_simple — это числовой маркер (a5_normal_subgroup_count$=2$), а не машинный перебор всех нормальных подгрупп $A_5$. Это числовой/константный слой; настоящий движок неразрешимости — в §11.5.4. ↩

8. algebra/SolvableGroup.v (0 аксиом): абстрактная группа GroupStr — запись, в которой аксиомы группы (ассоциативность, нейтраль, обратный) входят как поля структуры, а не как глобальные аксиомы теории; далее коммутатор, IsDerived (производная подгруппа как минимальная, содержащая все коммутаторы), индуктивный предикат SolvableFrom. ↩

9. perfect_nontrivial_not_solvable (SolvableGroup.v): если $G$ совпадает со своей производной и содержит неединичный элемент, то $G$ не разрешима. Доказано конструктивно, 0 аксиом. ↩

10. abelian_solvable и boolGroup_solvable (SolvableGroup.v). ↩

11. Формальный quintic_galois_group_not_solvable (SolvableGroup.v) доказывает именно движок: совершенная неабелева группа не разрешима. Связки «$A_5$ совершенна», «$A_5$ — коммутант $S_5$», «общая квинтика имеет группу $S_5$» в файле не выводятся — они подаются как явные посылки / классическое чтение. ↩