Группа Галуа

Гру́ппа Галуа́ — алгебраическая группа, ассоциированная с расширением поля. Играет важную роль при исследовании расширений полей, в частности, в теории Галуа. Это понятие ввёл в математику Эварист Галуа в 1832 году.

Определение

Пусть поле K является нормальным расширением поля P. Взаимно однозначное отображение S поля K на себя называется автоморфизмом, если оно сумму переводит в сумму, а произведение — в произведение, то есть если для любых элементов $\alpha$, $\beta$ поля K справедливы равенства:

$(\alpha+\beta)^s=\alpha^s+\beta^s$; $(\alpha \beta)^s=\alpha^s\beta^s$.

Группой Галуа для данного расширения поля называется совокупность всех автоморфизмов поля K, сохраняющих элементы поля P: $~\alpha^s = \alpha$. Обозначение: G(K,P) или Gal(K,P).

Свойства

• Группа Галуа всегда конечна. Её порядок (число элементов) равен степени расширения K:P.

Примеры

• Если расширенное поле совпадает с исходным, то группа Галуа содержит только один элемент: единицу (тождественный автоморфизм).
• Для расширения поля вещественных чисел до поля всех комплексных чисел группа Галуа содержит 2 элемента: единицу и операцию сопряжения.
• Поле расширения $\mathbb{Q}[\sqrt{2}]$ состоит из чисел вида $~a+b\sqrt{2}$, где a, b — рациональные числа. Группа Галуа здесь содержит 2 элемента: единицу и операцию, меняющую знак у 2-го слагаемого с $~\sqrt{2}$.

Применение

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

Рассмотрим цепочку последовательных расширений полей: $L_1 \subset L_2 \subset \cdots \subset L_n.$ Построим группу Галуа для полей, крайних в цепочке: $~G=Gal(L_n,L_1).$ Тогда имеет место соответствие Галуа: каждому промежуточному полю $L_k$ в цепочке расширений взаимно-однозначно соответствует подгруппа $G_k$ группы G, которая является группой Галуа для расширения от $L_k$ до $L_n:$ $G_k=Gal(L_n, L_k)$. То есть цепочке расширений полей можно сопоставить цепочку вложенных подгрупп, которая сужается от G до тривиальной подгруппы (состоящей только из единицы). При этом подгруппы, соответствующие нормальным полям, являются нормальными делителями G, и обратно.

Это соответствие позволяет формулировать и исследовать конечные расширения полей на языке теории групп. Например, из него сразу следует, что число промежуточных полей для заданного нормального расширения всегда конечно (как число подгрупп в конечной группе).

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

Основным полем алгебраического уравнения называется совокупность чисел, которые можно получить из коэффициентов уравнения с помощью конечного числа операций сложения, вычитания, умножения и деления. Полем разложения называется совокупность чисел, которые можно получить с помощью конечного числа тех же операций, исходя из решений уравнения. Основное поле в общем случае составляет лишь подполе поля разложения.

Принято группу Галуа, образуемую автоморфизмами поля разложения, называть группой Галуа этого уравнения. Любой автоморфизм из группы Галуа G(K,P) переводит каждый корень произвольного многочлена над полем P снова в корень этого же многочлена. Таким образом, группу Галуа любого алгебраического уравнения, не имеющего кратных корней, можно рассматривать как группу подстановок (именно так рассматривал её сам Эварист Галуа).

Литература

• Артин Э. Теория Галуа. М.: МЦНМО, 2008. ISBN 978-5-94057-062-2.
• Постников М. М. Теория Галуа. М.: Наука, 1963, 517.1 П 63, 220 с.;