Глава 1. Поле как роль-расширение; степень как ярус

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

Открытие Части XI

Часть X пересмотрела само основание — множество, принадлежность, мощность, выбор, бесконечность — и обнаружила за сильными аксиомами одну категориальную ошибку: овеществление правила или роли-тотальности как завершённого Элемента-объекта. Часть XI делает тот же ход на следующем этаже — в алгебре: поле, расширение, степень, группа автоморфизмов, разрешимость в радикалах, алгебраическое замыкание.

Классическая теория Галуа берёт за первичные объекты поле $L$, его подполе $K$, абстрактную группу автоморфизмов $\text{Aut}(L/K)$ как завершённую вещь, число $[L:K]$ как готовую характеристику, поле разложения и алгебраическое замыкание как существующие тотальности, и формулирует Основную теорему как соответствие между подгруппами $\text{Aut}(L/K)$ и промежуточными полями. ToS делает обратный ход — тот же, что в Части X с теорией множеств:

• «поле» есть роль-расширение — носитель роли «$Q$ с присоединённым сурдом», заданный конечными данными (парами, записями координат), а не самостоятельный объект $L$;
• «степень расширения» есть ярус роли — сколько этажей сурдов нужно носителю: $1$ (сами Элементы $Q$) $\subset 2$ (квадратичные) $\subset 3$ (кубические) $\subset \dots$;
• «алгебраическое число» есть роль-предел процесса либо конечная координата с правилом ($\sqrt{2}$ как символ с правилом $x^2=2$), а не точка завершённого континуума;
• абстрактные завершённые объекты — абстрактная группа $\text{Aut}(L/K)$ для произвольного $L/K$, алгебраическое замыкание произвольного поля, общая теорема Абеля–Руффини — либо строятся конкретно для конкретных расширений, либо честно остаются вне построения (роль-пределы и бэклог), как разъяснит карта границ (11.6).

Центральный тезис Части XI. В рамках P4-онтологии ToS содержательное ядро теории Галуа — это какой ярус степени достижим вашей конструкцией и что покупает мультипликативная норменная форма. Симметрия корней кодируется не абстрактной группой $\text{Aut}(L/K)$, а конкретно (автоморфизмы как явные отображения координат, группа как их таблица). Алгебра над $Q$ при этом конструктивна: алгебраический слой Части XI над $Q$ не использует ни одной аксиомы — даже L3 (исключённого третьего).¹

Что эта часть утверждает — и что нет

Короткая формула, к которой стоит привыкнуть с первой страницы: ToS не «формализует абстрактную теорию Галуа». ToS реализует её конкретную степенно-ярусную и норменно-формную тень над $Q$ — и при этом идёт дальше, чем можно было бы ожидать от «тени»:

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

Чего ToS не делает: не строит абстрактное соответствие $L/K\mapsto \text{Aut}(L/K)$ для произвольного $L/K$ (только конкретно для конкретных расширений); не доказывает общую теорему Абеля–Руффини и Основную теорему в полной общности; простоту группы $A_5$ (тяжёлую конечную комбинаторику) подаёт как явную посылку, а не выводит в движке. Это честная граница — но граница, как покажет 11.6, гораздо уже классической: почти всё, что обычно зовут «стеной», оказывается либо трудом-бэклогом, либо одной из двух уже названных в Части X цен (аксиома выбора для произвольных полей; континуум для вложения в $R$/$\mathbb{C}$).

Часть XI — алгебраический ярус той же оптики: поле есть роль-расширение, степень — ярус, симметрия — конкретная кодировка. Содержательное ядро Галуа-в-ToS — достижимый ярус степени и работа норменной формы, а не завершённый абстрактный объект.

Поле как роль-расширение

Носитель, который классика называет «полем $Q[\sqrt{d}]$», в ToS есть роль-расширение: $Q$, играющая роль базы, с присоединённым символом $\sqrt{d}$ под правилом $(\sqrt{d}{)}^2=d$. Элемент такого поля — не точка таинственного континуума, а конечные данные над $Q$: пара $(a,b)$, означающая $a+b\sqrt{d}$. Сложение и умножение определены на парах правилами⁵

$$(a,b)+(c,d)=(a+c,b+d),(a,b)\cdot (c,d)=(ac+bdd,ad+bc),$$

и каждый ненулевой элемент имеет норму $N(a+b\sqrt{d})=a^2-d{b}^2\in Q$, по которой строится обратный. Поле не предшествует этим правилам как объект — оно конституируется ими как роль.

Решающая тонкость, перекликающаяся со всей Частью II–IV. В поле $Q[\sqrt{2}]$ символ $\sqrt{2}$ — это конечная координата с правилом $x^2=2$, а не аналитический процесс Коши $(n\mapsto$ приближение$)$. Это два разных представления одного числа: аналитическое (роль-предел процесса, P4-бесконечный) и алгебраическое (конечный символ плюс правило). Алгебраическое представление терминирует в конечных данных — и потому алгебраические числа в этом смысле более P4-актуальны, чем общий вещественный, которому нужен незавершающийся процесс. Эта же конечность позволяет ToS различать роли внутри расширения: $i\in Q[i]$ имеет конечный порядок ($i^4=1$, Элемент-роль группы $Z_4$), как и $\omega \in Q[\omega ]$ с ${\omega }^3=1$ (Элемент-роль $Z_3$), тогда как $\sqrt{2}$ корнем из единицы не является (бесконечный мультипликативный порядок); его процессное чтение — тема главы 11.2.

Многоэтажные расширения остаются столь же конечными. Поле $Q[\sqrt{2},\sqrt{3}]$ — это четвёрки рациональных координат: элемент есть

$$a+b\sqrt{2}+c\sqrt{3}+d\sqrt{6},(a,b,c,d)\in Q^4,$$

с правилами умножения сурдов $\sqrt{2}\cdot \sqrt{2}=2$, $\sqrt{3}\cdot \sqrt{3}=3$, $\sqrt{2}\cdot \sqrt{3}=\sqrt{6}$, $\sqrt{6}\cdot \sqrt{6}=6$. Это запись (Record) из четырёх полей $Q$ — ровно тот объект, на котором глава 11.5 предъявит настоящие автоморфизмы и соответствие Галуа.⁶

Здесь работает порождающий порядок ToS: Правила $\to$ Роли $\to$ Элементы. Сначала правило алгебраичности ($x^2=d$, минимальный многочлен) задаёт, что вообще присоединяется; затем определяется роль расширения (база с присоединённым сурдом); и лишь затем выясняются элементы — актуальные конечные координаты на каждой стадии.

Поле — роль-расширение $Q$ присоединённым сурдом, заданная конечными координатами; $\sqrt{d}$ в поле — конечный символ с правилом $x^2=d$, не процесс Коши. Алгебраическое число алгебраически конечно; роль-пределом оно становится лишь в аналитическом представлении.

Степень как ярус роли

Если поле — роль-расширение, то его степень $[L:Q]$ — это ярус роли: сколько независимых этажей сурдов несёт носитель. Степень не абстрактное число, прикреплённое к готовому объекту, а мера высоты конструкции. Базовый ярус — сама $Q$ (степень $1$, чистые Элементы). Присоединение квадратного сурда поднимает на ярус $2$: $[Q[\sqrt{2}]:Q]=2$. Опорный многочлен здесь — $x^2-2$, и его степень вычислена как $2$;⁷ минимальным же он оказывается потому, что не имеет рационального корня — а это в точности иррациональность $\sqrt{2}$ (многочлен степени $2$ без рационального корня неприводим над $Q$).⁸

Ярусы складываются по закону башни. Для $Q[\sqrt{2},\sqrt{3}]$ ожидаемый ярус $4$ подтверждается двумя независимыми слоями. Первый — невырожденная башня $2\cdot 2$: каждый этаж есть честное расширение степени $2$ (см. ниже). Второй — четыре явных автоморфизма ($\mathrm{id}$; $\sigma :\sqrt{2}\mapsto -\sqrt{2}$; $\tau :\sqrt{3}\mapsto -\sqrt{3}$; их композиция $\sigma \tau$), попарно различных по действию на сурды, так что группа симметрий четырёхэлементна (группа Клейна $V_4$). В формализации это оформлено как совпадение размерности базиса с порядком группы: $[Q[\sqrt{2},\sqrt{3}]:Q]=|\text{Gal}|=4$.⁹

Что делает этот ярус настоящим, а не бухгалтерией координат — это невырожденность башни: второй этаж не сводится к первому. Доказано, что $\sqrt{3}\notin Q[\sqrt{2}]$ — ни одна пара $(a,b)$ не даёт $(a+b\sqrt{2}{)}^2=3$. Доказательство чисто алгебраическое над $Q$, без всякого вложения в $R$: если $a+b\sqrt{2}$ в квадрате равно $3$, то $2ab=0$ и $a^2+2b^2=3$; при $b=0$ получаем $a^2=3$ (нет рационального корня), при $a=0$ — $(2b{)}^2=6$ (нет рационального корня).¹⁰ Так башня $Q⊊Q[\sqrt{2}]⊊Q[\sqrt{2},\sqrt{3}]$ невырождена: каждый шаг — честное расширение степени $2$.

Степень-как-ярус сразу превращается в меру препятствия — тему глав 11.2 и 11.3. Удвоение куба и трисекция угла требуют выхода на ярус $3$ (кубический минимальный многочлен), недостижимый квадратичной башней ($\sqrt{2}$-инструментами); это не «нехватка инструментов», а правило о ярусе. Но это забегание вперёд: здесь важно лишь, что степень в ToS — роль-ярус конструкции, а не свойство завершённого объекта.

Степень — ярус роли-расширения: $[Q[\sqrt{2}]:Q]=2$, $[Q[\sqrt{2},\sqrt{3}]:Q]=4$ (доказано: четыре автоморфизма$=$порядок группы; башня $2\cdot 2$). Ярус подлинен, потому что $\sqrt{3}\notin Q[\sqrt{2}]$ — башня невырождена.

Каркас поля: абстрактная структура и её роль

Возникает законный вопрос: а где же абстрактное поле — структура с аксиомами ассоциативности, дистрибутивности, обратимости? Оно в ToS есть — как каркас: запись с операциями и доказанными аксиомами кольца и поля.¹¹ Но роль этого каркаса в ToS иная, чем в классике. Классика начинает с абстрактного поля и спускается к примерам; ToS начинает с конкретных степенно-ярусных расширений и держит абстрактную запись как подтверждающую рамку — проверку, что конкретные $Q[\sqrt{d}]$ и впрямь удовлетворяют аксиомам.

Это та же дисциплина «уровня B», что во всей книге: теория ведёт, репозиторий подтверждает. Абстрактный Record Field не есть содержательное ядро части — ядром остаются достижимый ярус степени и норменная форма. Каркас инстанцируется конкретными расширениями, а не наоборот; и именно потому, что конкретика конечна и вычислима, весь кластер обходится без аксиом.

Абстрактная структура поля — роль-каркас (запись с аксиомами), подтверждающий конкретные расширения, а не первичный объект. Теория ведёт конкретикой ярусов; запись $\mathrm{Field}$ её удостоверяет.

E/R/R-разбор

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

Слой	Содержание
Rules (L5)	минимальный многочлен как правило алгебраичности ($\sqrt{2}\mapsto x^2-2$); правила умножения сурдов ($\sqrt{2}\cdot \sqrt{2}=2$, $\sqrt{2}\cdot \sqrt{3}=\sqrt{6}$); закон башни ярусов ($2\cdot 2=4$); аксиомы кольца/поля как правило корректной структуры
Roles (L4)	поле$=$роль-расширение ($Q$ с присоединённым сурдом); степень$=$ярус роли ($1\subset 2\subset 3$); \sqrt2$${}={}формальный генератор / конечная координата с правилом $r^2=2$ (процессное чтение — 11.2); i,\omega$${}={}конечные алгебраические роли (превью 11.4–11.5)
Elements (L1$+$P4)	на каждой стадии — конечные данные над $Q$: пары $(a,b)\in Q[\sqrt{d}]$, четвёрки $(a,b,c,d)\in Q[\sqrt{2},\sqrt{3}]$, списки коэффициентов многочлена; абстрактное соответствие $L/K\mapsto \text{Aut}(L/K)$ для произвольного $L/K$ — не Элемент

Корректность. Расширение корректно как алгебраическая структура: координаты замкнуты относительно $+,\cdot$ и имеют норму в $Q$; ярус корректен, когда башня невырождена ($\sqrt{3}\notin Q[\sqrt{2}]$); абстрактная запись — по аксиомам кольца/поля. Каждый компонент попадает ровно в одну E/R/R-категорию.

Что даёт. Расширения $Q$ — конечные пары/записи, 0 аксиом. Степень — ярус с доказанным законом башни ($[Q[\sqrt{2},\sqrt{3}]:Q]=4$). Подлинность яруса — теорема независимости. Абстрактное поле — подтверждающий каркас, а не источник.

Диагностика. Корневая ошибка, которую снимает глава, — овеществление поля и его степени как завершённого объекта. ToS возвращает им категорию: поле — роль, степень — ярус конструкции.

Честные границы. Абстрактный $\text{Aut}(L/K)$ для произвольного $L/K$ здесь не строится (конкретно — в 11.5 для $Q[\sqrt{2},\sqrt{3}]$). Общий закон башни для произвольных расширений не доказан — только для конкретных квадратичных семейств. Подробная карта границ — в 11.6.

Поле — роль-расширение; степень — ярус; минимальный многочлен и правила сурдов — правила; абстрактная запись — каркас. Содержательное ядро — достижимый ярус, а не завершённый объект.

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

Глава поставила фундамент Части XI: поле есть роль-расширение, заданное конечными координатами над $Q$, а степень — ярус роли, измеряющий высоту конструкции. Башня $Q⊊Q[\sqrt{2}]⊊Q[\sqrt{2},\sqrt{3}]$ невырождена, степень $4$ доказана через четыре автоморфизма и независимость $\sqrt{3}$ от $Q[\sqrt{2}]$, а абстрактная запись поля играет роль подтверждающего каркаса, не первоисточника. Всё — без аксиом.

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

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

---

---

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

Навигация: ← Глава 6. Синтез Части X: что доказуемо без выбора, и карта границ — Часть X · Глава 2. Алгебраическое число как роль-предел; минимальный многочлен →

Footnotes

1. Контраст с Частью X, где сравнение мощностей (Шрёдер–Бернштейн) опиралось на L3 плюс L4_witness. Каждый из перечисленных файлов (GaloisQ23, GaloisDegreeQ23, IndependenceQ23, SplittingFieldQ23, FiniteFieldFp, RationalRootTest, SolvableGroup, AlgebraicClosureProcess) — “Closed under the global context” (0 аксиом), что сверено Print Assumptions по каждому; для более широкого алгебраического кластера это проверяется пофайлово. ↩

2. GaloisQ23.v (26 Qed, 0 аксиом): a_sig, a_tau, a_st и неподвижные подполя. ↩

3. SolvableGroup.v (18 Qed, 0 аксиом): perfect_nontrivial_not_solvable. ↩

4. AlgebraicClosureProcess.v (14 Qed, 0 аксиом): no_maximal_rung, germ_finitely_sited. ↩

5. Для $Q[\sqrt{2}]$ vs $Q[i]$ конкретные записи и замкнутость — CliffordField.v: $Q[\sqrt{2}]$ реально содержит квадратный корень из $2$, но не содержит $i$ (i_not_in_Qsqrt2), а $Q[i]$ не содержит $\sqrt{2}$ (no_gaussian_sqrt2). ↩

6. GaloisQ23.v: Record E := mkE {c0 c1 c2 c3} с покоординатным равенством Eeq и умножением Emul, реализующим правила сурдов. Это свободный $Q$-модуль на базисе $\{1,\sqrt{2},\sqrt{3},\sqrt{6}\}$. ↩

7. FieldExtension.v: sqrt2_poly$=[-2;0;1]$ (то есть $x^2-2$) и ext_degree_sqrt2_is_2 доказывает, что poly_degree этого многочлена равен $2$. Сам файл степень вычисляет, неприводимости не доказывая. ↩

8. no_rational_sqrt2 (analysis/Sqrt2Irrational.v): $\forall r\in Q,r\cdot r\ne 2$. Отсюда минимальность $x^2-2$ и базис $\{1,\sqrt{2}\}$ в математическом чтении. ↩

9. GaloisDegreeQ23.v: galois_group_four_distinct (четыре автоморфизма попарно различны), ext_degree$=$galois_order$=4$, закон башни tower_law: $2\cdot 2=4$. Степень $4$ здесь — размерность формальной модели (свободный $Q$-модуль на базисе $\{1,\sqrt{2},\sqrt{3},\sqrt{6}\}$), совпадающая с числом автоморфизмов; её верность вещественному полю обеспечивает невырожденность башни (ниже). ↩

10. IndependenceQ23.v: sqrt3_not_in_Qsqrt2, опираясь на иррациональность $\sqrt{3}$ и $\sqrt{6}$. Вместе с GaloisDegreeQ23.v это делает степень $4$ подлинной, а не формальной размерностью. ↩

11. RingField.v: Record Ring и Record Field с полным набором аксиом. Аналогично GroupTheory.v: Record Group (см. также движок разрешимости главы 11.5, где абстрактная группа используется по-настоящему). ↩