Группа Галуа
Гру́ппа Галуа́, группа автоморфизмов расширения Галуа поля , т. е. группа, состоящая из всех автоморфизмов поля , оставляющих все элементы подполя неподвижными. Группа Галуа обозначается или . Поле инвариантов совпадает с полем . Если – поле разложения многочлена над полем , то группа Галуа называется также группой Галуа многочлена . Эти группы играют важную роль в теории Галуа алгебраических уравнений. Вычисление группы Галуа для расширений полей алгебраических чисел является одной из основных задач алгебраической теории чисел. Задача нахождения расширений Галуа с абелевой группой Галуа (абелевы расширения) относится к теории полей классов. Группы Галуа полей алгебраических функций изучаются в алгебраической геометрии.
Если – поле и – конечная подгруппа группы автоморфизмов поля , то является расширением Галуа поля инвариантов группа Галуа этого расширения изоморфна ; при этом степень расширения равна порядку группы .
Фундаментальным результатом о группе Галуа является следующая теорема, иногда называется основной теоремой о расширениях Галуa (или теоремой о соответствии Галуа). Если – расширение Галуа конечной степени поля , то существует взаимно однозначное соответствие между всеми подгруппами группы Галуа и всеми подполями поля , содержащими , причём соответствующие друг другу и таковы, что – поле инвариантов , a – группа Галуа расширения (см. в статье Соответствие Галуa). Эта теорема имеет многочисленные аналоги во многих математических теориях; так, существует её обобщение на случай расширений бесконечной степени (см. в статье Топологическая группа Галуа). Имеется обобщение понятия группы Галуа на случай расширений произвольных коммутативных колец и даже схем (см. в статье Фундаментальная группа), а также на случай расширений тел.