Глава 6. Синтез и карта границ

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

Это финал Части XI. Пять глав прошли путь: поле как роль-расширение (11.1); алгебраическое число как роль-предел, прирученный минимальным многочленом (11.2); конструктивность как достижимость ярусом $2$ и греческие невозможности как теоремы о ярусе (11.3); конечные мультипликативно устойчивые структуры (11.4); и, в центре, конкретное соответствие Галуа с движком неразрешимости квинтики (11.5).

Эта глава делает три вещи. Во-первых, собирает единую картину Галуа-в-ToS. Во-вторых, предъявляет переосмысление, к которому привела сама работа: алгебраическое замыкание $Q$ — не стена, а процесс. В-третьих, даёт честную карту границ — и её главный итог неожидан: в Части XI нет ни одного нового P4-запрета. Граница здесь устроена иначе, чем в Части X.

Финал Части XI: единая картина (ярус правит всем), переосмысление (замыкание $Q$ — процесс) и карта границ без новых P4-запретов.

Галуа-в-ToS{ToS}: единая картина

Сквозной герой всей части — алгебраический ярус (степень). Он правит всем, что встретилось:

• поле — роль-расширение, заданное ярусом сурдов (11.1);
• число — роль-предел процесса, прирученный минимальным многочленом, степень которого есть ярус (11.2);
• конструктивность — достижимость ярусом $2$; греческие невозможности — требование яруса $3$, структурно вне квадратичной башни (11.3);
• конечные структуры — конечный мультипликативный порядок: корни из единицы, норменные формы $1,2,4,8$, поля ${\text{FF}}_p$ (11.4);
• группа Галуа — роль-симметрия корней (конкретная $V_4$-таблица для $Q[\sqrt{2},\sqrt{3}]$: автоморфизмы, неподвижные подполя, обращение включения); неразрешимость — совершенное ядро (11.5).

Один и тот же ярус определяет, что достижимо (квадратичная башня), что запрещено (кубический ярус для циркуля, пятая ось для решётки), что симметрично (группа Галуа корней) и что устойчиво (конечные нормы). Отсюда единая формула части. В рамках P4-онтологии ToS теория Галуа реализована не как общий абстрактный функториальный каркас $L/K\mapsto \text{Aut}(L/K)$, а как конкретная степенно-ярусная, норменно-формная и соответственная тень над $Q$ — с настоящим соответствием (для $Q[\sqrt{2},\sqrt{3}]$) и настоящим движком неразрешимости. И всё это — на конечных координатах; по Print Assumptions ключевые файлы не вводят новых логических аксиом (часть утверждений предыдущих глав — математическое чтение поверх этого формального ядра).

Алгебраический ярус — сквозной герой Части XI: он правит достижимым, запрещённым, симметричным и устойчивым. Галуа-в-ToS — конкретная ярусно-норменно-соответственная тень над $Q$, конечно-актуальная и не требующая аксиом.

Алгебраическое замыкание $Q${Q} как процесс

Самое неожиданное переосмысление части касается алгебраического замыкания $\overline{Q}$. Классика берёт его за завершённый объект — единое поле, содержащее корни всех многочленов (для произвольного поля — через лемму Цорна). Соблазнительно занести его в «стену»: вот, мол, завершённая бесконечная тотальность, которую P4 не пускает. Но это ошибка: $\overline{Q}$ — не стена, а процесс.

Разберём по слоям ToS. Каждый индивидуальный алгебраический элемент, будучи задан минимальным многочленом и селектором корня (изолирующим интервалом или индексом), имеет конечное описание — он терминирует в конечных данных, и потому в этом смысле более P4-актуален, чем общий вещественный, которому нужен незавершающийся процесс Коши. Тотальность же — не завершённый Элемент, а $N$-индексированная восходящая башня конечных расширений

$$Q\subset Q[\sqrt{2}]\subset Q[\sqrt{2},\sqrt{3}]\subset Q[\sqrt{2},\sqrt{3},\sqrt{5}]\subset \cdots ,$$

у которой нет максимальной ступени и в которой каждый элемент локализован на какой-то конечной ступени.¹ Это в точности тип объекта, которым была вся книга: процесс над конечными стадиями, как RealProcess.

Мораль повторяет приём Части X. Классический спрос «построить замыкание как готовую вещь» смешивает два утверждения: Правило — «корни любого рационального многочлена лежат в каком-то конечном расширении» (истинно, конструктивно, и именно этим математика реально пользуется) — и завершённый Элемент — «существует единый объект со всеми корнями всех многочленов сразу» (платонистский излишек). ToS оставляет правило (процесс) и отбрасывает излишек. Формальный файл доказывает именно башенную онтологию процесса (нет максимальной ступени, каждый элемент конечно-локализован), а не полный алгоритм факторизации и присоединения всех корней; то, что для самого $Q$ замыкание конструктивно (без выбора, факторизация над $Q$ алгоритмична), — классическое / математическое чтение поверх этой модели.

Алгебраическое замыкание $Q$ — не завершённый объект, а процесс: восходящая башня конечных расширений без максимальной ступени, каждый элемент конечно-локализован. Классическое «замыкание-вещь» — излишек над конструктивным правилом; ToS держит правило, как и в Части X.

Карта границ Части XI

Соберём всё в честную карту. Она трёхслойна.

Слой	Содержание	Цена
Построено (0 аксиом)	весь кластер: расширения $Q$ и степень-ярус, греческие невозможности, кристаллографическое ограничение, норменные формы, ${\text{FF}}_p$, $S_3$ и числовой слой $S_5$; конкретная $V_4$-таблица Галуа для $Q[\sqrt{2},\sqrt{3}]$ (автоморфизмы, неподвижные подполя), общая лемма Гаусса, движок разрешимости (совершенная неабелева$\Rightarrow$ не разрешима); конкретное поле разложения; замыкание $Q$ как процесс	нет
Труд-бэклог (не запрет)	абстрактное соответствие $L/K\mapsto \text{Aut}(L/K)$ для произвольного $L/K$; простота $A_5$ внутри движка (конечная комбинаторика на 60 элементах); полная теорема Абеля–Руффини; Основная теорема теории Галуа в общем; общий закон башни	роль-предел / труд
Цены Части X	аксиома выбора — для замыкания произвольного поля (но не $Q$!); континуум — для вложения в аналитический $R$/$C$	AC / континуум

Главный итог карты — и всей части. В формализованном алгебраическом слое Части XI нет ни одного нового P4-запрета. (Завершённое $\overline{Q}$ как единый объект по-прежнему получило бы P4-диагностику завершённой тотальности — но именно поэтому глава читает его как процесс, а не как Элемент.) В Части X граница содержала запреты: аксиома выбора в завершённо-объектной форме P4-несовместима. Здесь же всё несделанное — рода «труд или роль-предел»: большие, но в принципе конечно-конструктивные задачи (простота $A_5$ — конечная проверка; замыкание $Q$ — конструктивная башня; общий Абель–Руффини — конечный для каждого многочлена). А единственные настоящие неустранимые цены поблизости — аксиома выбора (для произвольных полей) и континуум (для вложения в $R$/$C$) — уже названы и оценены в Части X, и сам $Q$ их не платит. Алгебра над $Q$ оказывается онтологически почти бесплатной.

Карта границ трёхслойна: построено (0 аксиом, включая замыкание-процесс); труд-бэклог (абстрактный функтор, $A_5$-простота, полный Абель–Руффини); цены Части X (выбор, континуум, которых $Q$ не платит). Нового P4-запрета нет — в отличие от Части X.

E/R/R-разбор Части XI

Соберём всю часть в порождающем порядке.

Слой	Содержание
Rules (L5)	минимальный многочлен (правило алгебраичности); общая лемма Гаусса / рациональный корневой тест (закроется ли процесс в $Q$); критерий конструктивности (ярус $2^k$) и целочисленность следа; мультипликативность нормы ($1,2,4,8$); соответствие Галуа (подгруппа$\leftrightarrow$подполе); разрешимость (производный ряд достигает $\{e\}$)
Roles (L4)	поле$=$роль-расширение; степень$=$ярус; число$=$роль-предел; конструктивность$=$роль достижимости ярусом $2$; конечные структуры$=$роли конечного порядка; группа Галуа$=$роль-симметрия корней; замыкание$=$роль-процесс (башня)
Elements (L1$+$P4)	всюду конечные данные над $Q$: координаты расширений, списки коэффициентов, приближения, перестановки, элементы ${\text{FF}}_p$, автоморфизмы как формулы, ступени башни; завершённые тотальности (функтор $\text{Aut}$, $\overline{Q}$-как-объект) — не Элементы

Корректность. Каждая роль конституируется своим правилом, и на каждой стадии актуальны лишь конечные Элементы; завершённые объекты не инстанцируются, а заменяются процессами или конкретными кодировками. Ни один компонент не требует завершённой бесконечности как Элемента.

Что даёт. Целостную алгебру над $Q$ на конечных координатах (ключевые файлы — 0 новых аксиом по Print Assumptions): ярусы, невозможности, нормы, конечные поля, конкретную $V_4$-таблицу Галуа, движок неразрешимости (совершенная неабелева$\Rightarrow$ не разрешима), и замыкание как процесс.

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

Честные границы. Перечислены в карте (§11.6.4): абстрактный функтор для произвольного $L/K$, $A_5$-простота в движке, полный Абель–Руффини — труд/роль-пределы; выбор и континуум — цены Части X. Новых P4-запретов нет.

Вся Часть XI: правила (ярус, нормы, соответствие, разрешимость) $\to$ роли (поле, степень, число, симметрия, замыкание-процесс) $\to$ конечные Элементы над $Q$. Завершённые тотальности заменены процессами и кодировками; 0 аксиом.

Итог Части XI

Часть XI прочитала алгебру, поля и теорию Галуа в той же оптике, что Часть X — теорию множеств: сменив категорию и держась конечно-актуального. Поле стало роль-расширением, степень — ярусом, число — роль-пределом с минимальным многочленом-правилом. Конструктивность оказалась достижимостью ярусом $2$, а греческие невозможности — теоремами о ярусе. Конечные мультипликативные структуры (корни единицы, нормы $1,2,4,8$, ${\text{FF}}_p$) дали позитивную алгебру конечного порядка. В центре — конкретная $V_4$-таблица Галуа для $Q[\sqrt{2},\sqrt{3}]$ (автоморфизмы, неподвижные подполя, обращение включения) и движок групповой неразрешимости (совершенная неабелева$\Rightarrow$ не разрешима; применение к квинтике — с явными классическими посылками о $A_5/S_5$), поднявшие прежние числовые счётчики и флаг до реальных результатов.

Два вывода стоит унести. Первый: алгебраическое замыкание $Q$ — процесс, а не стена — ещё один завершённый объект, растворённый в правило плюс конечные Элементы. Второй, более общий: граница формализованного слоя Части XI не содержит P4-запретов (завершённое $\overline{Q}$ как объект не используется — оно читается как процесс). Всё несделанное — труд или роль-предел; единственные настоящие цены (выбор, континуум) уже названы в Части X, и сам $Q$ их не платит. Это согласуется со сквозным тезисом книги: граница финитизации есть граница конструктивности, а не запретов, — и над $Q$ эта граница лежит особенно далеко.

Галуа-в-ToS — ярусы степени$+$норменные формы$+$конкретное соответствие$+$движок неразрешимости, конечно-актуально и с 0 новых аксиом в ключевых файлах. Замыкание $Q$ — процесс. Граница — труд и роль-пределы, без новых P4-запретов в формализованном слое; алгебра над $Q$ онтологически почти бесплатна. На этом Часть XI завершается.

---

---

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

Навигация: ← Глава 5. Группа Галуа: конкретное соответствие и неразрешимость квинтики · Глава 1. Геометрия как рациональная и решёточная структура — Часть XII →

Footnotes

1. algebra/AlgebraicClosureProcess.v (0 аксиом): абстрактная башня AlgTower (ступени, размерности, вложения со строгим ростом); no_maximal_rung (нет максимальной ступени), tower_unbounded (размерности превосходят любую границу), germ_finitely_sited (каждый элемент копредела локализован на конечной ступени), капстоун closure_is_a_process. Конкретный экземпляр multiquadratic — мультиквадратичная башня размерностей $2^n$, её ступень 2 совпадает по размерности с $[Q[\sqrt{2},\sqrt{3}]:Q]=4$ из 11.5. ↩