K-расширение

K-расширение — это термин, используемый в теории полей (раздел алгебры) для обозначения расширения поля, которое является нормальным и сепарабельным. В более широком смысле, в контексте теории Галуа, K-расширение (или расширение Галуа) — это конечное расширение поля, для которого группа автоморфизмов, оставляющих неподвижным исходное поле, имеет порядок, равный степени расширения. Понятие является фундаментальным для построения соответствия Галуа, связывающего подполя расширения с подгруппами его группы Галуа.

История и происхождение

Концепция K-расширения восходит к работам французского математика Эвариста Галуа (Évariste Galois), который в первой половине XIX века исследовал условия разрешимости алгебраических уравнений в радикалах. Галуа ввёл понятие группы перестановок корней многочлена, что впоследствии привело к формированию теории Галуа. Термин «расширение Галуа» (или K-расширение) был формализован в конце XIX — начале XX века в работах Рихарда Дедекинда (Richard Dedekind), Леопольда Кронекера (Leopold Kronecker) и Давида Гильберта (David Hilbert). Гильберт в своём «Zahlbericht» (1897) систематизировал теорию полей алгебраических чисел, где K-расширения играют центральную роль.

Определение

Пусть \( L \) — расширение поля \( K \). Расширение \( L/K \) называется K-расширением (или расширением Галуа), если оно удовлетворяет двум условиям:

1. Нормальность: каждый неприводимый многочлен с коэффициентами из \( K \), имеющий хотя бы один корень в \( L \), разлагается в \( L \) на линейные множители (то есть \( L \) является полем разложения некоторого семейства многочленов над \( K \)).
2. Сепарабельность: каждый элемент \( \alpha \in L \) является сепарабельным над \( K \), то есть его минимальный многочлен не имеет кратных корней (в алгебраическом замыкании).

В случае конечного расширения \( L/K \) эквивалентное определение: расширение является K-расширением, если порядок группы автоморфизмов \( \operatorname{Aut}(L/K) \) равен степени расширения \( [L : K] \). Группа \( \operatorname{Aut}(L/K) \) в этом случае называется группой Галуа и обозначается \( \operatorname{Gal}(L/K) \).

Свойства

Основная теорема теории Галуа

Для конечного K-расширения \( L/K \) существует взаимно однозначное соответствие между подполями \( M \), такими что \( K \subseteq M \subseteq L \), и подгруппами группы Галуа \( \operatorname{Gal}(L/K) \). Это соответствие устанавливается следующим образом:

• Каждому промежуточному полю \( M \) ставится в соответствие подгруппа \( \operatorname{Gal}(L/M) \) — группа автоморфизмов \( L \), оставляющих \( M \) неподвижным.
• Каждой подгруппе \( H \subseteq \operatorname{Gal}(L/K) \) ставится в соответствие поле неподвижных точек \( L^H = \{ x \in L \mid \sigma(x) = x \text{ для всех } \sigma \in H \} \).

Это соответствие является антиизоморфизмом решёток: большему полю соответствует меньшая подгруппа, и наоборот. Кроме того, расширение \( M/K \) является K-расширением тогда и только тогда, когда соответствующая подгруппа \( \operatorname{Gal}(L/M) \) является нормальной подгруппой в \( \operatorname{Gal}(L/K) \). В этом случае \( \operatorname{Gal}(M/K) \cong \operatorname{Gal}(L/K) / \operatorname{Gal}(L/M) \).

Сепарабельность и нормальность

• Если поле \( K \) имеет характеристику 0 (например, поле рациональных чисел \( \mathbb{Q} \)), то любое алгебраическое расширение является сепарабельным. Поэтому для таких полей условие сепарабельности выполняется автоматически, и K-расширение эквивалентно нормальному расширению.
• В положительной характеристике (например, поле \( \mathbb{F}_p(t) \)) существуют несепарабельные расширения (чисто несепарабельные), которые не являются K-расширениями.

Конечные и бесконечные расширения

Понятие K-расширения наиболее часто рассматривается для конечных расширений. Однако оно может быть обобщено на бесконечные алгебраические расширения. В бесконечном случае группа Галуа наделяется топологией Крулля (профинитная топология), и основная теорема теории Галуа формулируется в терминах замкнутых подгрупп.

Примеры

Пример 1: Расширение \( \mathbb{Q}(\sqrt{2})/\mathbb{Q} \)

Поле \( \mathbb{Q}(\sqrt{2}) \) является K-расширением поля \( \mathbb{Q} \). Многочлен \( x^2 - 2 \) неприводим над \( \mathbb{Q} \), его корни \( \pm\sqrt{2} \) лежат в \( \mathbb{Q}(\sqrt{2}) \), и расширение сепарабельно (характеристика 0). Группа Галуа состоит из двух автоморфизмов: тождественного и автоморфизма, переводящего \( \sqrt{2} \) в \( -\sqrt{2} \). Таким образом, \( \operatorname{Gal}(\mathbb{Q}(\sqrt{2})/\mathbb{Q}) \cong \mathbb{Z}/2\mathbb{Z} \).

Пример 2: Расширение \( \mathbb{Q}(\sqrt[3]{2})/\mathbb{Q} \)

Поле \( \mathbb{Q}(\sqrt[3]{2}) \) не является K-расширением \( \mathbb{Q} \). Многочлен \( x^3 - 2 \) имеет один действительный корень \( \sqrt[3]{2} \) и два комплексных корня, которые не лежат в \( \mathbb{Q}(\sqrt[3]{2}) \). Следовательно, расширение не нормально. Группа автоморфизмов \( \operatorname{Aut}(\mathbb{Q}(\sqrt[3]{2})/\mathbb{Q}) \) состоит только из тождественного отображения, так как любой автоморфизм должен переводить \( \sqrt[3]{2} \) в корень многочлена, но других корней в поле нет. Таким образом, порядок группы равен 1, а степень расширения равна 3, что не удовлетворяет определению.

Пример 3: Расширение \( \mathbb{Q}(\sqrt{2}, \sqrt{3})/\mathbb{Q} \)

Поле \( \mathbb{Q}(\sqrt{2}, \sqrt{3}) \) является K-расширением \( \mathbb{Q} \). Оно является полем разложения многочлена \( (x^2 - 2)(x^2 - 3) \). Группа Галуа изоморфна \( \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z} \) и состоит из четырёх автоморфизмов, определяемых знаками при \( \sqrt{2} \) и \( \sqrt{3} \).

Пример 4: Конечные поля

Любое конечное расширение конечного поля \( \mathbb{F}_{q^n}/\mathbb{F}_q \) является K-расширением. Группа Галуа циклическая, порождённая автоморфизмом Фробениуса \( \sigma(x) = x^q \). Порядок группы равен \( n \), что совпадает со степенью расширения.

Применение

K-расширения являются центральным объектом теории Галуа, которая находит применение в различных областях математики:

• Решение алгебраических уравнений: Теория Галуа позволяет определить, разрешимо ли уравнение в радикалах. Уравнение разрешимо в радикалах тогда и только тогда, когда его группа Галуа разрешима.
• Теория чисел: В алгебраической теории чисел изучаются K-расширения полей алгебраических чисел, в частности, круговые расширения (поля, полученные присоединением корней из единицы) и расширения Гильберта. Теория полей классов описывает абелевы K-расширения числовых полей.
• Алгебраическая геометрия: Понятие K-расширения используется при изучении накрытий римановых поверхностей и в теории этальных фундаментальных групп.
• Криптография: В криптографии на эллиптических кривых и в постквантовой криптографии (например, на основе решёток) используются свойства конечных полей и их K-расширений для построения безопасных протоколов.

Критика и ограничения

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

Интересные факты

• Понятие K-расширения тесно связано с понятием поля разложения многочлена. Поле разложения любого сепарабельного многочлена является K-расширением исходного поля.
• В русскоязычной математической литературе термин «K-расширение» иногда используется как синоним «расширения Галуа», но может также обозначать расширение, нормальное относительно некоторого поля \( K \). В англоязычной литературе чаще используется термин «Galois extension».
• Задача обратной теории Галуа состоит в том, чтобы для заданной конечной группы \( G \) найти K-расширение поля \( \mathbb{Q} \) (или другого поля) с группой Галуа, изоморфной \( G \). Эта задача до сих пор полностью не решена.