Общая алгебра — раздел математики, изучающий алгебраические системы, такие как группы, кольца, поля, модули, решётки, а также отображения между такими структурами.
Число́ — одно из основных понятий математики, используемое для количественной характеристики, сравнения, нумерации объектов и их частей.
Кольцо́ в общей алгебре — алгебраическая структура, в которой определены операция обратимого сложения и операция умножения, по свойствам похожие на соответствующие операции над числами. Простейшими примерами колец являются совокупности чисел, совокупности числовых функций, определённых на заданном множестве. Во всех случаях имеется множество, похожее на совокупности чисел в том смысле, что его элементы можно складывать и умножать, причём эти операции ведут себя естественным образом.
По́ле в общей алгебре — множество, для элементов которого определены операции сложения, взятия противоположного значения, умножения и деления, причём свойства этих операций близки к свойствам обычных числовых операций. Простейшим полем является поле рациональных чисел (дробей). Элементы поля не обязательно являются числами, поэтому, несмотря на то, что названия операций поля взяты из арифметики, определения операций могут быть далеки от арифметических.
Тео́рия Галуа́ — раздел алгебры, позволяющий переформулировать определённые вопросы теории полей на языке теории групп, делая их в некотором смысле более простыми.
Гру́ппа — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент, и каждый элемент множества имеет обратный. Раздел общей алгебры, занимающийся группами, называется теорией групп.
Коммутативная алгебра — раздел общей алгебры, изучающий свойства коммутативных колец и связанных с ними объектов, в частности теорию полей. Коммутативная алгебра является основой алгебраической геометрии и алгебраической теории чисел. Наиболее яркие примеры коммутативных колец, изучаемых коммутативной алгеброй — кольца многочленов и кольца целых алгебраических чисел.
Теория групп — раздел общей алгебры, изучающий алгебраические структуры, называемые группами, и их свойства. Группа является центральным понятием в общей алгебре, так как многие важные алгебраические структуры, такие как кольца, поля, векторные пространства, являются группами с расширенным набором операций и аксиом. Группы возникают во всех областях математики, и методы теории групп оказывают сильное влияние на многие разделы алгебры. В процессе развития теории групп построен мощный инструментарий, во многом определивший специфику общей алгебры в целом, сформирован собственный глоссарий, элементы которого активно заимствуются смежными разделами математики и приложениями. Наиболее развитые ветви теории групп — линейные алгебраические группы и группы Ли — стали самостоятельными областями математики.
Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры для решения задач, возникающих в геометрии.
Ама́лия Э́мми Нётер — немецкий математик, наиболее известна своим вкладом в абстрактную алгебру и теоретическую физику. Павел Александров, Альберт Эйнштейн, Жан Дьёдонне, Герман Вейль и Норберт Винер считали её величайшей женщиной в истории математики. В качестве одного из величайших математиков двадцатого века она коренным образом изменила теорию колец, полей и алгебр. В физике теорема Нётер впервые открыла связь между симметрией в природе и законами сохранения.
Коне́чное по́ле, или по́ле Галуа́ в общей алгебре — поле, состоящее из конечного числа элементов; это число называется поря́дком поля.
Алгебра Хопфа — ассоциативная алгебра над полем, имеющая единицу и являющаяся также коассоциативной коалгеброй с коединицей c антигомоморфизмом специального вида. Названа в честь Хайнца Хопфа.
Теория колец — раздел общей алгебры, изучающий свойства колец — алгебраических структур со сложением и умножением, схожими по поведению со сложением и умножением чисел. Выделяются два раздела теории колец: изучение коммутативных и некоммутативных колец.
Коммутативное кольцо — кольцо, в котором операция умножения коммутативна. Изучением свойств коммутативных колец занимается коммутативная алгебра.
Кольцо многочленов — кольцо, образованное многочленами от одной или нескольких переменных с коэффициентами из другого кольца. Изучение свойств колец многочленов оказало большое влияние на многие области современной математики; можно привести примеры теоремы Гильберта о базисе, конструкции поля разложения и изучения свойств линейных операторов.
В общей алгебре, дедекиндово кольцо — это целостное кольцо, в котором каждый ненулевой собственный идеал раскладывается в произведение простых идеалов. Можно показать, что в этом случае разложение единственно с точностью до порядка сомножителей. Ниже приведено несколько других описаний дедекиндовых колец, которые можно принять за определение.
Алгебраическое числовое поле, поле алгебраических чисел — это конечное расширение поля рациональных чисел 
. Таким образом, числовое поле — это поле, содержащее и являющееся конечномерным векторным пространством над ним. При этом некоторые авторы называют числовым полем любое подполе комплексных чисел — например, М. М. Постников в «Теории Галуа».
В общей алгебре, поле k называется совершенным если выполняется одно из следующих эквивалентных условий:
- 1) Любой неприводимый многочлен над k имеет различные корни в алгебраическом замыкании k.
- 2) Каждое конечное расширение k является сепарабельным.
- 3) Каждое алгебраическое расширение k является сепарабельным.
- 4) k имеет характеристику 0 либо k имеет характеристику p > 0 и каждый элемент k является p-й степенью.
- 5) k имеет характеристику 0 либо k имеет характеристику p > 0 и эндоморфизм Фробениуса является автоморфизмом.
- 6) k совпадает со множеством неподвижных точек k-автоморфизмов алгебраического замыкания k.
Глобальное поле — это поле одного из двух видов:
- поле алгебраических чисел, то есть конечное расширение поля рациональных чисел ,
