Расширения полей

Почему нельзя удвоить куб циркулем и линейкой? Греки искали ответ 2000 лет. Ответ - в теории расширений полей: степень [Q(∛2):Q]=3 не является степенью 2. Вся невозможность конструкции - это одна строка алгебры.

• Теория расширений полей объясняет, почему некоторые числа (π, e) нельзя точно вычислить как корни многочленов - они трансцендентны
• В криптографии: поля GF(2ⁿ) - это расширения F₂ степени n, используемые в AES, эллиптических кривых и кодах исправления ошибок

Предварительные знания

• Fields and Their Applications

Алгебраические расширения

Расширение поля **L/F** - это включение F ⊆ L, где L само является полем. L - **векторное пространство над F** (ключевая идея!). Его размерность [L:F] называется **степенью расширения**. Элемент α ∈ L называется: - **алгебраическим над F**, если существует ненулевой f ∈ F[x] с f(α) = 0 - **трансцендентным над F**, если никакой многочлен над F не обращается в 0 при подстановке α Расширение **алгебраическое**, если все его элементы алгебраичны над F.

**Теорема Линдемана-Вейерштрасса (1882):** Если α₁,...,αₙ - алгебраически независимые над Q числа, то e^{α₁},...,e^{αₙ} линейно независимы над Q. Следствие: e и π трансцендентны. Это доказывает невозможность квадратуры круга (π трансцендентен, а значит не является корнем никакого многочлена с рациональными коэффициентами).

**Конечные расширения алгебраичны.** Если [L:F] < ∞, то каждый α ∈ L алгебраичен над F. Доказательство: набор {1, α, α², ..., α^{[L:F]}} линейно зависим (размерность [L:F]), значит существует ненулевая линейная комбинация = 0 - это и есть ненулевой многочлен над F с корнем α.

Минимальный многочлен

**Минимальный многочлен** α над F - унитарный многочлен наименьшей степени в F[x], имеющий α корнем. Обозначение: min(α, F) или Irr(α, F). Свойства: - Минимальный многочлен неприводим над F - Любой f ∈ F[x] с f(α) = 0 делится на min(α, F) - [F(α):F] = deg(min(α, F))

**Минимальный многочлен зависит от базового поля!** min(2^(1/4), Q) = x⁴-2 (степень 4), но min(2^(1/4), Q(√2)) = x²-√2 (степень 2). Один и тот же элемент имеет разные минимальные многочлены над разными полями.

**Почему минимальный многочлен неприводим?** Предположим, что min(α,F) = fg с deg(f), deg(g) ≥ 1. Тогда f(α)g(α) = 0. Поскольку L - поле (нет делителей нуля), f(α) = 0 или g(α) = 0. Но оба многочлена имеют меньшую степень, чем min(α,F) - противоречие с минимальностью.

Теорема о башне (Tower Law)

**Теорема о башне (Tower Law):** Для башни расширений F ⊆ K ⊆ L: [L:F] = [L:K] × [K:F] Если {u₁,...,uₘ} - базис K над F и {v₁,...,vₙ} - базис L над K, то {uᵢvⱼ | 1≤i≤m, 1≤j≤n} - базис L над F. Размерности перемножаются как в башне.

**Невозможность удвоения куба.** Задача: построить циркулем и линейкой отрезок длиной ∛2. Алгебраически: [Q(∛2):Q] = 3. Но конструкции циркулем и линейкой дают расширения степеней 2 на каждом шаге → итоговая степень [K:Q] = 2ᵏ для некоторого k. Число 3 не является степенью 2, поэтому ∛2 недостижимо. Удвоение куба невозможно.

**Три невозможных задачи древней Греции.** Удвоение куба ([Q(∛2):Q]=3, не степень 2), трисекция угла ([Q(cos(20°)):Q]=3, не степень 2) и квадратура круга (π трансцендентен, не алгебраичен) - все три решаются инструментами расширений полей. Расширение полей - то, что древние греки искали две тысячи лет.

Ключевые идеи

• [L:F] = dim_F(L) - L как векторное пространство над F
• Алгебраический α: ∃ ненулевой f ∈ F[x] с f(α)=0
• Минимальный многочлен: унитарный, неприводимый, аннулирует α; [F(α):F] = его степень
• Tower Law: [L:F] = [L:K]×[K:F] для F ⊆ K ⊆ L
• Конструкции циркулем и линейкой → степени [K:Q] = 2ᵏ → объяснение 3 невозможностей

Дальнейшие пути

Расширения полей - язык теории Галуа. Степень расширения связана с порядком группы Галуа, а промежуточные поля - с подгруппами.

• Теория Галуа: введение — Степень Галуа-расширения = порядок группы Галуа; промежуточные поля ↔ подгруппы
• Кольца многочленов — F(α) ≅ F[x]/(min(α,F)) - расширение строится как факторкольцо по минимальному многочлену

Вопросы для размышления

• Докажите, что [Q(∛2,ω):Q] = 6, используя Tower Law. Найдите явный базис этого расширения над Q.
• Почему трисекция угла 60° невозможна циркулем и линейкой? (cos(20°) удовлетворяет 8x³-6x-1=0 - вычислите [Q(cos20°):Q].)
• Существует ли расширение Q степени 6, которое не является расширением Галуа? Приведите пример или докажите невозможность.

Связанные уроки

• crypto-26-ecc-math