А́лгебра — раздел математики, который можно нестрого охарактеризовать как обобщение и расширение арифметики; в этом разделе числа и другие математические объекты обозначаются буквами и другими символами, что позволяет записывать и исследовать их свойства в самом общем виде. Слово «алгебра» также употребляется в общей алгебре в названиях различных алгебраических систем. В более широком смысле под «алгеброй» понимают раздел математики, посвящённый изучению операций над элементами множеств произвольной природы, обобщающий обычные операции сложения и умножения чисел.
Фундамента́льная гру́ппа — одна из простейших конструкций в алгебраической топологии. Сопоставляется группа всякому связному топологическому пространству. Для подмножеств плоскости эта группа измеряет количество «дырок». Наличие «дырки» определяется невозможностью непрерывно продеформировать (стянуть) некоторую замкнутую кривую в точку.
Алгебраи́ческая тополо́гия — раздел топологии, изучающий топологические пространства путём сопоставления им алгебраических объектов, а также поведение этих объектов под действием различных топологических операций.
Изоморфи́зм — соотношение между математическими объектами, выражающее общность их строения; используется в разных разделах математики и в каждом из них определяется в зависимости от структурных свойств изучаемых объектов. Обычно изоморфизм определяется для множеств, наделённых некоторой структурой, например, для групп, колец, линейных пространств; в этом случае он определяется как обратимое отображение (биекция) между двумя множествами со структурой, сохраняющее эту структуру, то есть показывающее, что объекты «одинаково устроены» в смысле этой структуры. Если между объектами существует изоморфизм, то они называются изоморфными. Изоморфизм всегда задаёт отношение эквивалентности на классе таких структур.
Кольцо́ в общей алгебре — алгебраическая структура, в которой определены операция обратимого сложения и операция умножения, по свойствам похожие на соответствующие операции над числами. Простейшими примерами колец являются совокупности чисел, совокупности числовых функций, определённых на заданном множестве. Во всех случаях имеется множество, похожее на совокупности чисел в том смысле, что его элементы можно складывать и умножать, причём эти операции ведут себя естественным образом.
Фу́нкция — соответствие между двумя множествами, при котором каждому элементу одного множества соответствует единственный элемент другого.
По́ле в общей алгебре — множество, для элементов которого определены операции сложения, взятия противоположного значения, умножения и деления, причём свойства этих операций близки к свойствам обычных числовых операций. Простейшим полем является поле рациональных чисел (дробей). Элементы поля не обязательно являются числами, поэтому, несмотря на то, что названия операций поля взяты из арифметики, определения операций могут быть далеки от арифметических.
В математике, если заданы две группы (G, ∗) и (H, •), гомоморфизм групп из (G, ∗) в (H, •) — это функция h : G → H, такая, что для всех u и v из G выполняется
Алгебраическая система в универсальной алгебре — непустое множество 
(носитель) с заданным на нём набором операций и отношений (сигнатурой). Алгебраическая система с пустым множеством отношений называется алгеброй, а система с пустым множеством операций — моделью.
Гру́ппа — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент, и каждый элемент множества имеет обратный. Раздел общей алгебры, занимающийся группами, называется теорией групп.
Тео́рия катего́рий — раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов.
Функтор — особый тип отображений между категориями. Его можно понимать как отображение, сохраняющее структуру. Функторы между малыми категориями являются морфизмами в категории малых категорий. Совокупность всех категорий не является категорией в обычном смысле, так как совокупность её объектов не является классом. Один из способов преодолеть подобные теоретико-множественные трудности — добавление в ZFC независимой от неё аксиомы о существовании недостижимых кардиналов.
Автоморфизм — изоморфизм между математическим объектом и им самим; отображение, изменяющее объект с сохранением всех его изначальных свойств. Множество всех автоморфизмов объекта образует группу автоморфизмов, которую можно рассматривать как обобщение группы симметрий объекта.
Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры для решения задач, возникающих в геометрии.
Пучок — структура, используемая для установления отношений между локальными и глобальными свойствами или характеристиками некоторого математического объекта. Пучки играют значительную роль в топологии, дифференциальной геометрии и алгебраической геометрии, но также применяются в теории чисел, анализе и теории категорий.
В математике путь в топологическом пространстве X — это непрерывное отображение f из единичного отрезка I = [0,1] в X
- f : I → X.
Универсальная алгебра — раздел математики, изучающий общие свойства алгебраических систем, использующий сходства между различными алгебраическими структурами — группами, кольцами, модулями, решётками, вводящий присущие им всем понятия и устанавливающий общие для всех них утверждения. Занимает промежуточное положение между математической логикой и общей алгеброй, как реализующий аппарат математической логики в применении к общеалгебраическим структурам.
Забывающий функтор — теоретико-категорный функтор, который «забывает» некоторые или все алгебраические структуры и свойства исходной области, то есть переводит области, наделённые дополнительными структурами и свойствами, в кообласти с меньшими ограничениями.
Симметрия встречается не только в геометрии, но и в других областях математики. Симметрия является видом инвариантности, свойством неизменности при некоторых преобразованиях.
