Глава 4. Группы симметрии над Q; норменные формы; конечные поля

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

Глава 11.3 говорила о запретах: ярус 3 недостижим циркулем и линейкой, пятая ось запрещена решётке. Это негативная сторона — что алгебраический ярус не пускает. Настоящая глава поворачивает к позитивной стороне: какие конечные структуры мультипликативно устойчивы — замкнуты относительно умножения, несут норму, имеют конечный порядок.

Сквозная нить главы — конечный порядок. Корни из единицы $i,\omega$ имеют конечный мультипликативный порядок ($i^4=1$, ${\omega }^3=1$) — это Элемент-роли, а не роль-пределы. Норменная форма даёт правило $\text{norm}z\cdot w=\text{norm}z\cdot \text{norm}w$, и элементы единичной нормы образуют группу — но лишь в размерностях $1,2,4,8$ (башня Гурвица). Конечное поле ${\text{FF}}_p$ имеет конечную мультипликативную группу, где каждый ненулевой элемент — конечного порядка (малая теорема Ферма). Все три сюжета — об одном: конечная, замкнутая, мультипликативно устойчивая структура, максимально P4-актуальная.

От запретов яруса (11.3) к позитивным конечным структурам: корни из единицы как Элемент-роли конечного порядка, норменные формы (Гурвиц $1,2,4,8$), конечные поля ${\text{FF}}_p$. Сквозная нить — конечный мультипликативный порядок.

Симметрии и Элемент-роли конечного порядка

Кристаллографически допустимые порядки $\{1,2,3,4,6\}$ из 11.3 — это порядки конечных групп поворотов решётки: циклические $C_n$ для $n\in \{1,2,3,4,6\}$. Сами повороты суть симметрии-роли, а их порядок — конечное число шагов до возврата в исходное.

Среди алгебраических чисел те, что играют такие симметрии, особенные: это корни из единицы. Здесь ToS проводит резкую границу, намеченную в 11.1. Число $i$ имеет конечный мультипликативный порядок ($i^4=1$) — Элемент-роль циклической группы $Z_4$; число $\omega$ (${\omega }^3=1$) — Элемент-роль $Z_3$.¹ Корни из единицы конечны по порядку, но требуют конечного алгебраического расширения как носителя — в отличие от рациональных элементов ${\text{FF}}_p$. При этом они терминируют (конечный цикл, конечные данные), в отличие от $\sqrt{2},\phi$ — роль-пределов незавершающихся процессов бесконечного мультипликативного порядка.

Эту конечную устойчивость видно и в кватернионах. Существует рациональный единичный кватернион с координатами $(\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2})$, норма которого равна $1$.² В этом геометрическом чтении он реализует поворот конечного порядка 3. А в стандартном (икосаэдральном) чтении порядок 5 рационально недостижим: он вынуждает золотую величину $x^2=x+1$, то есть роль-предел, а не конечный рациональный Элемент.³ Та же демаркация, что повсюду в Части XI: конечный порядок — Элемент; иррациональная необходимость — роль-предел.

Корни из единицы ($i$: $Z_4$, $\omega$: $Z_3$) — Элемент-роли конечного мультипликативного порядка, конечно-актуальные, в отличие от роль-пределов $\sqrt{2},\phi$. Порядок 3 рационально реализуем (единичный кватернион), порядок 5 — роль-предел (золотая).

Норменные формы и башня Гурвица

Норменная форма — это правило конечного порядка в другом смысле: мультипликативность нормы. Если каждому набору координат сопоставлена норма $\text{norm}\cdot$ так, что $\text{norm}z\cdot w=\text{norm}z\cdot \text{norm}w$, то произведение единичных элементов снова единично — единичная сфера замкнута относительно умножения. ToS читает это как роль-меру конечного порядка: какие размерности допускают такое мультипликативно-устойчивое умножение.

Ответ — знаменитая башня $1,2,4,8$, и в каждом этаже мультипликативность есть конкретное тождество над $Q$:

• размерность $1$: $(ab{)}^2=a^2{b}^2$ — тривиальная норма;⁴
• размерность $2$ (комплексные): тождество двух квадратов (Брахмагупта–Фибоначчи), $\text{norm}z=a^2+b^2$ мультипликативна;⁵
• размерность $4$ (кватернионы): тождество четырёх квадратов Эйлера, $\text{norm}z=a^2+b^2+c^2+d^2$;⁶
• размерность $8$ (октонионы): тождество восьми квадратов Дегена.⁷

Из мультипликативности сразу следует, что единичные элементы замкнуты относительно умножения. В размерности $4$ (кватернионы) они образуют группу; в размерности $8$ (октонионы), где умножение неассоциативно, они образуют замкнутую неассоциативную структуру — петлю Муфанг (Moufang loop), а не группу.⁸ Классическая теорема Гурвица утверждает, что других размерностей с мультипликативной нормой над $Q$ нет — только $1,2,4,8$.⁹

Честная оговорка о ярусах формализации. Репозиторий доказывает, что башня существует — четыре тождества и замкнутость единичных в $1,2,4,8$. Исключительность (что размерности $3,5,6,7,\dots$ нормы не допускают) есть содержание собственно теоремы Гурвица и здесь как общая теорема не формализована; она приводится как математическая рамка.¹⁰

Норменная форма — правило-мера конечного порядка: мультипликативность $\text{norm}z\cdot w=\text{norm}z\cdot \text{norm}w$. Тождества $1,2,4,8$ (Брахмагупта, Эйлер, Деген) дают замкнутость единичных; исключительность этих размерностей (Гурвиц) — математическая рамка.

Конечные поля ${\text{FF}}_p${Fp}

Третья позитивная структура — конечное поле. Возьмём $Z/pZ$ для простого $p$: $\{0,1,\dots ,p-1\}$ со сложением и умножением по модулю $p$. Это поле — каждый ненулевой элемент обратим. ToS читает ${\text{FF}}_p$ как роль-поле конечного порядка: вся структура конечна, актуальна, без всякого роль-предела.

Обратимость — не абстрактный постулат, а вычислимый факт. Для $p=5$ и $p=7$ обратные предъявлены явной функцией, и проверено, что каждый ненулевой элемент имеет обратный.¹¹

Конечный порядок виден в мультипликативной группе ${\text{FF}}_p^{\times }$. Классически она циклическая порядка $p-1$; формальный же слой доказывает более скромный, но достаточный факт: каждый ненулевой элемент возвращается к единице за делитель $p-1$ шагов — это малая теорема Ферма. Для $p=5$ это $a^4\equiv 1$, для $p=7$ — $a^6\equiv 1$.¹² Это закрывает пробел, который более ранний слой Части XI честно отмечал: ${\text{FF}}_p$ как поле теперь построено.

Честная оговорка о ярусах: «поле» здесь представлено через ключевую полевую роль — обратимость ненулевых (и отсутствие обратного у нуля); полный набор полевых аксиом и общее ${\text{FF}}_p$ для произвольного простого как теорема не формализованы. Формализованы конкретные простые ($p=5,7$) с явными обратными и Ферма — образцы той же конечной вычислимой структуры.

${\text{FF}}_p=Z/pZ$ — роль-поле конечного порядка: ненулевые обратимы (построено для $p=5,7$), каждый ненулевой элемент конечного порядка, делящего $p-1$ (Ферма; цикличность ${\text{FF}}_p^{\times }$ — классическая рамка). Конечная, актуальная структура без роль-предела.

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

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

Слой	Содержание
Rules (L5)	мультипликативность нормы как правило конечного порядка (тождества $1,2,4,8$); групповые аксиомы поворотов; арифметика по модулю $p$ и обратимость как правило поля
Roles (L4)	норменная форма$=$роль-мера конечного порядка; i,\omega$${}={}Элемент-роли конечного порядка ($Z_4,Z_3$); \FF_p$${}={}роль-поле конечного порядка; порядок симметрии$=$роль ($C_n$, $n\in \{1,2,3,4,6\}$)
Elements (L1$+$P4)	конечные данные: координаты кватернионов/октонионов в $Q$, тождества квадратов, элементы $\{0,\dots ,p-1\}$ и их обратные, корни из единицы; «все размерности с нормой» / «все ${\text{FF}}_p$» как завершённый объект — не Элемент

Корректность. Структура корректна, когда замкнута и конечна: единичная сфера замкнута умножением (мультипликативность нормы); ${\text{FF}}_p$ имеет обратные у всех ненулевых; группа поворота возвращается к единице за конечное число шагов. Конечный порядок — общий критерий корректности.

Что даёт. Корни из единицы — конечные Элемент-роли ($i^4=1$, ${\omega }^3=1$). Норменные формы — замкнутость единичных в $1,2,4,8$ (Брахмагупта/Эйлер/Деген; в размерности 8 это петля Муфанг). ${\text{FF}}_p$ — обратимость ненулевых и Ферма для $p=5,7$ (цикличность ${\text{FF}}_p^{\times }$ — классическая рамка). Все — конечно-актуальные, мультипликативно устойчивые.

Диагностика. В отличие от 11.3 (запреты яруса), здесь ошибка была бы иной — считать норменные формы или ${\text{FF}}_p$ бесконечными объектами. ToS подчёркивает их конечный порядок: это самые «земные» алгебраические роли — терминирующие, замкнутые.

Честные границы. Исключительность башни Гурвица (только $1,2,4,8$) и общее ${\text{FF}}_p$ для всех простых — математические рамки; формализованы положительные образцы (тождества $1,2,4,8$ и замкнутость; ${\text{FF}}_5,{\text{FF}}_7$ с Ферма). Корни из единицы $i,\omega$ взяты как конечно-порядковые роли, развивая 11.1.

Конечный мультипликативный порядок — общая нить: корни из единицы (Элемент-роли), норменные формы ($1,2,4,8$), ${\text{FF}}_p$ (обратимость ненулевых и Ферма для $p=5,7$). Содержательное ядро — конечная, замкнутая, мультипликативно устойчивая структура, а не бесконечный объект.

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

Глава собрала позитивную сторону алгебры над $Q$ — конечные мультипликативно устойчивые структуры. Корни из единицы $i,\omega$ оказались Элемент-ролями конечного порядка ($Z_4,Z_3$), в резком контрасте с роль-пределами $\sqrt{2},\phi$. Норменные формы дали башню Гурвица $1,2,4,8$ с конкретными тождествами (Брахмагупта, Эйлер, Деген) и замкнутостью единичных. Конечные поля ${\text{FF}}_p$ ($p=5,7$ построены явно) показали конечную мультипликативную группу с малой теоремой Ферма — закрыв ранее отмеченный пробел «нет ${\text{FF}}_p$».

Дальше — глава 11.5, центр Части XI: группа Галуа. Конечные симметрии этой главы там станут симметриями корней: для $Q[\sqrt{2},\sqrt{3}]$ будет предъявлено настоящее соответствие Галуа (четыре автоморфизма, группа Клейна $V_4$, неподвижные подполя), а затем — неразрешимость квинтики через настоящий движок производного ряда. От конечных структур мы перейдём к конечным симметриям, организующим корни уравнения.

Корни из единицы — конечные Элемент-роли; норменные формы — башня $1,2,4,8$; ${\text{FF}}_p$ — обратимость ненулевых и Ферма (для $p=5,7$). Конечный порядок — нить позитивной алгебры. Такова рамка перед центральной главой о группе Галуа и симметриях корней.

---

---

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

Навигация: ← Глава 3. Конструктивность как достижимость степенью 2; греческие невозможности · Глава 5. Группа Галуа: конкретное соответствие и неразрешимость квинтики →

Footnotes

1. Здесь $i,\omega$ берутся как стандартные конечно-порядковые роли, развивая 11.1; их поле-носители строятся в отдельном слое ($Q[i]$ — напр.\ stdlib/CliffordField.v; $\omega$ живёт в $Q(\sqrt{-3})$). Машинно подтверждённый позитивный слой этой главы — кватернионы, норменные тождества и конечные поля (ниже). ↩

2. order3_rational_quaternion (stdlib/RationalQuaternions.v) формально доказывает $qnorm4(\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2})=1$ — рациональность и единичную норму; чтение как поворота порядка 3 ($120^{\circ }$) использует стандартную интерпретацию единичных кватернионов как двойного накрытия $SO(3)$. ↩

3. order5_rotation_role_limit (там же) формально доказывает золотую обструкцию $\neg \exists q\in Q,q^2=q+1$ — эхо кристаллографического запрета пятой оси из 11.3; полная геометрическая классификация рациональных кватернионов порядка 5 здесь не строится. ↩

4. one_square (stdlib/HurwitzTower.v). ↩

5. two_square (там же). ↩

6. four_square и euler_four_square (HurwitzTower.v, RationalQuaternions.v). ↩

7. eight_square (HurwitzTower.v). ↩

8. unit_quaternion_closed (RationalQuaternions.v), unit_octonion_closed (HurwitzTower.v): произведение единичных снова единично. Сам HurwitzTower.v отмечает, что октонионная единичная структура — петля Муфанг, не группа. ↩

9. Мост к группам вращений: foundation/NormFormTowerBridge.v (5 Qed, 0 аксиом) — этаж размерности 2 норменной башни есть рациональная окружность $\mathrm{SO}(2,Q)$ (n2_rung_is_SO2Q_closure), с конкретной тройкой $3:4:5$ ($(\frac{3}{5}{)}^2+(\frac{4}{5}{)}^2=1$, unit_345_n2) и замкнутостью единичных кватернионов этажа 4 (unit_quaternion_closed). Алгебраический вентиль попадания на эту окружность — foundation/GapPythagoreanBoundary.v (11 Qed, 0 аксиом): рациональность собственного значения $\iff$ пифагорейство $\iff$ дискриминант есть полный квадрат (gap_element_iff_pythagorean, gap_element_iff_disc_square), разрешимо над $Z$ (gap_element_decidable_Z); та же тройка $3:4:5$ (bcs_345_element). Машинно проверено, 0 аксиом. ↩

10. То есть формальный слой — положительный (тождества $1,2,4,8$ и замкнутость); невозможность прочих размерностей — классический результат, не переформализованный. ↩

11. F5_field ($\mathtt{ha}{\mathtt{s}}_{\mathtt{i}}\mathtt{nverses}5inv5$) и F7_field ($\mathtt{ha}{\mathtt{s}}_{\mathtt{i}}\mathtt{nverses}7inv7$) в algebra/FiniteFieldFp.v (0 аксиом): обратные заданы функциями inv5, inv7, и для нуля обратного нет (zero_no_inverse_F7). ↩

12. fermat5 ($a^4\mathrm{mod}5=1$ при $1\le a\le 4$) и fermat7 ($a^6\mathrm{mod}7=1$ при $1\le a\le 6$) в FiniteFieldFp.v. Так каждый ненулевой элемент — конечного порядка, делящего $p-1$. ↩