По́ле в общей алгебре — множество, для элементов которого определены операции сложения, взятия противоположного значения, умножения и деления, причём свойства этих операций близки к свойствам обычных числовых операций. Простейшим полем является поле рациональных чисел (дробей). Элементы поля не обязательно являются числами, поэтому, несмотря на то, что названия операций поля взяты из арифметики, определения операций могут быть далеки от арифметических.
Тео́рия Галуа́ — раздел алгебры, позволяющий переформулировать определённые вопросы теории полей на языке теории групп, делая их в некотором смысле более простыми.
Циклическая группа — группа 
, которая может быть порождена одним элементом a, то есть все её элементы являются степенями a. Математическое обозначение: 
.
Теория групп — раздел общей алгебры, изучающий алгебраические структуры, называемые группами, и их свойства. Группа является центральным понятием в общей алгебре, так как многие важные алгебраические структуры, такие как кольца, поля, векторные пространства, являются группами с расширенным набором операций и аксиом. Группы возникают во всех областях математики, и методы теории групп оказывают сильное влияние на многие разделы алгебры. В процессе развития теории групп построен мощный инструментарий, во многом определивший специфику общей алгебры в целом, сформирован собственный глоссарий, элементы которого активно заимствуются смежными разделами математики и приложениями. Наиболее развитые ветви теории групп — линейные алгебраические группы и группы Ли — стали самостоятельными областями математики.
Коне́чное по́ле, или по́ле Галуа́ в общей алгебре — поле, состоящее из конечного числа элементов; это число называется поря́дком поля.
Гру́ппа Галуа́ — группа, ассоциированная с расширением поля. Играет важную роль при исследовании расширений полей, в частности, в теории Галуа. Это понятие ввёл в математику Эварист Галуа в 1832 году.
Теорема Кронекера — Вебера — утверждение в алгебраической теории чисел, согласно которому каждое конечное абелево расширение поля рациональных чисел 
, или, другими словами, каждое алгебраическое числовое поле, чья группа Галуа над является абелевой, — является подполем некоторого кругового поля, то есть поля, полученного присоединением корня из единицы к рациональным числам.
Эндоморфизм Фробениуса — эндоморфизм коммутативного кольца простой характеристики 
, задаётся формулой 
. В некоторых случаях, например, в случае конечного поля, эндоморфизм Фробениуса является автоморфизмом, однако в общем случае это не так.
В алгебраической теории чисел теория Куммера дает описание некоторых видов расширений поля, состоящих в добавлении к исходному полю корня n-ой степени из его элемента. Теория была разработана Эрнстом Эдуардом Куммером около 1840 года в его работе, связанной с теоремой Ферма.
Алгебраическое числовое поле, поле алгебраических чисел — это конечное расширение поля рациональных чисел . Таким образом, числовое поле — это поле, содержащее и являющееся конечномерным векторным пространством над ним. При этом некоторые авторы называют числовым полем любое подполе комплексных чисел — например, М. М. Постников в «Теории Галуа».
Основная теорема теории Галуа — теорема о расширениях полей определённого вида, ключевой результат теории Галуа.
Квадрати́чная иррациона́льность — иррациональное число, которое является вещественным корнем некоторого квадратного уравнения 
с рациональными коэффициентами 
. В части источников под квадратичными иррациональностями понимаются в общем случае комплексные корни указанных уравнений.
Обратная задача Галуа — открытая проблема теории Галуа, поставленная в начале XIX века: является ли любая конечная группа группой Галуа некоторого расширения Галуа рациональных чисел ..
Выразимость в радикалах означает возможность выразить число или функцию через простейшие числа или функции при помощи извлечения корня целой степени и арифметических операций — сложения, вычитания, умножения, деления.
![{\displaystyle \mathbb {Q} [{\sqrt {2}}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eee5632589347f1355af6412f95e450543d1a350)
![{\displaystyle \mathbb {Q} [{\sqrt[{3}]{2}},{\sqrt {3}}i]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f7a06b1e46cd6650053145b324a601c544056ec)
