Сложе́ние (прибавле́ние) — одна из основных бинарных математических операций двух аргументов (слагаемых), результатом которой является новое число (сумма), получаемое увеличением значения первого аргумента на значение второго аргумента. То есть каждой паре элементов 
из множества 
ставится в соответствие элемент 
, называемый суммой 
и 
. Это одна из четырёх элементарных математических операций арифметики. Приоритет её в обычном порядке операций равен приоритету вычитания, но ниже, чем у возведения в степень, извлечения корня, умножения и деления. На письме сложение обычно обозначается с помощью знака «плюс»: 
.
Сложение возможно, только если оба аргумента принадлежат одному множеству элементов. Так, на картинке справа запись 
обозначает три яблока и два яблока вместе, что в сумме даёт пять яблок. Но нельзя сложить, например, 3 яблока и 2 груши.
Натура́льные чи́сла — числа, возникающие естественным образом при счёте. Последовательность всех натуральных чисел, расположенных в порядке возрастания, называется натуральным рядом.
Кольцо́ в общей алгебре — алгебраическая структура, в которой определены операция обратимого сложения и операция умножения, по свойствам похожие на соответствующие операции над числами. Простейшими примерами колец являются совокупности чисел, совокупности числовых функций, определённых на заданном множестве. Во всех случаях имеется множество, похожее на совокупности чисел в том смысле, что его элементы можно складывать и умножать, причём эти операции ведут себя естественным образом.
По́ле в общей алгебре — множество, для элементов которого определены операции сложения, взятия противоположного значения, умножения и деления, причём свойства этих операций близки к свойствам обычных числовых операций. Простейшим полем является поле рациональных чисел (дробей). Элементы поля не обязательно являются числами, поэтому, несмотря на то, что названия операций поля взяты из арифметики, определения операций могут быть далеки от арифметических.
Гру́ппа — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент, и каждый элемент множества имеет обратный. Раздел общей алгебры, занимающийся группами, называется теорией групп.
Теория групп — раздел общей алгебры, изучающий алгебраические структуры, называемые группами, и их свойства. Группа является центральным понятием в общей алгебре, так как многие важные алгебраические структуры, такие как кольца, поля, векторные пространства, являются группами с расширенным набором операций и аксиом. Группы возникают во всех областях математики, и методы теории групп оказывают сильное влияние на многие разделы алгебры. В процессе развития теории групп построен мощный инструментарий, во многом определивший специфику общей алгебры в целом, сформирован собственный глоссарий, элементы которого активно заимствуются смежными разделами математики и приложениями. Наиболее развитые ветви теории групп — линейные алгебраические группы и группы Ли — стали самостоятельными областями математики.
Коне́чное по́ле, или по́ле Галуа́ в общей алгебре — поле, состоящее из конечного числа элементов; это число называется поря́дком поля.
Дискре́тное логарифми́рование (DLOG) — задача обращения функции 
в некоторой конечной мультипликативной группе 
.
Теорема о классификации простых конечных групп — теорема теории групп, классифицирующая с точностью до изоморфизма простые конечные группы.
В математике свободная абелева группа — это абелева группа, имеющая базис, то есть такое подмножество элементов группы, что для любого её элемента существует единственное его представление в виде линейной комбинации базисных элементов с целыми коэффициентами, из которых только конечное число являются ненулевыми. Элементы свободной абелевой группы с базисом B называют также формальными суммами над B. Свободные абелевы группы и формальные суммы используются в алгебраической топологии при определении групп цепей и в алгебраической геометрии при определении дивизоров.
Аменабельная группа — локально компактная топологическая группа G, в которой возможно ввести операцию усреднения на ограниченных функциях на этой группе, инвариантную относительно умножения на любой элемент группы.
Группа комплексных отражений — конечная группа, действующая на конечномерном комплексном векторном пространстве определённым образом.
Фраза группа лиева типа обычно означает конечную группу, которая тесно связана с группой рациональных точек редуктивной линейной алгебраической группы со значениями в конечном поле. Термин «группа лиева типа» не имеет общепризнанного точного определения, но важный набор конечных простых групп лиева типа точное определение имеет и они составляют большинство групп в классификации простых конечных групп.
Циклический порядок — способ упорядочивания объектов таким образом, чтобы последовательное движение по порядку после полного обхода совокупности возвращалось на начальный объект движения; полный порядок, «соединённый концами» в цикл. В отличие от структур, изучаемых в теории порядков, такой порядок не моделируется бинарным отношением, таким как «a < b», например, нельзя сказать, что восток «больше по часовой стрелке», чем запад; вместо этого циклический порядок определяется как тернарное отношение [a, b, c], означающее, что «после a достигается b раньше, чем c». Например, [Июнь, Октябрь, Февраль]. Тернарное отношение 
называется циклическим порядком, если оно является циклическим, асимметричным, транзитивным и полным. Порядок, не обладающий всеми этими свойствами, кроме полноты, называется частичным циклическим порядком.
Теорема Рота — результат аддитивной комбинаторики, частный случай теоремы Семереди для прогрессий длины 3; утверждает присутствие арифметических прогрессий 
в любых достаточно плотных множествах.
Теорема Гурвица об автоморфизмах ограничивает порядок группы автоморфизмов — сохраняющих ориентацию конформных отображений — компактной римановой поверхности рода g > 1, утверждая, что число таких автоморфизмов не может превышать 84(g − 1). Группа, для которой достигается максимум, называется группой Гурвица, а соответствующая поверхность Римана — поверхностью Гурвица. Поскольку компактные поверхности Римана являются синонимом неособых комплексных проективных алгебраических кривых, поверхность Гурвица может называться также кривой Гурвица. Теорема названа именем Адольфа Гурвица, который доказал её в 1893 году.
Конечное топологическое пространство — топологическое пространство, в котором существует лишь конечное число точек.
Асимптотическая размерность метрического пространства — аналог размерности Лебега на большой шкале. Асимптотическая размерность имеет важные приложения в геометрическом анализе и теории индексов.
