Разрешимая группа — группа, ряд коммутантов которой заканчивается на тривиальной группе.
Группа называется конечной 
-группой, если она имеет порядок, равный некоторой степени простого числа.
Нильмногообразие — это гладкое многообразие, имеющее транзитивную нильпотентную группу диффеоморфизмов, действующих на этом многообразии. Нильмногообразие является примером однородного пространства и диффеоморфно факторпространству 
, факторгруппе нильпотентной группы Ли N по замкнутой подгруппе H. Термин ввёл Анатолий И. Мальцев в 1951 году.
Дискре́тное логарифми́рование (DLOG) — задача обращения функции 
в некоторой конечной мультипликативной группе 
.
Раскраска графа — теоретико-графовая конструкция, частный случай разметки графа. При раскраске элементам графа ставятся в соответствие метки с учётом определённых ограничений; эти метки традиционно называются «цветами». В простейшем случае такой способ окраски вершин графа, при котором любым двум смежным вершинам соответствуют разные цвета, называется раскраской вершин. Аналогично раскраска рёбер присваивает цвет каждому ребру так, чтобы любые два смежных ребра имели разные цвета. Наконец, раскраска областей планарного графа назначает цвет каждой области, так, что каждые две области, имеющие общую границу, не могут иметь одинаковый цвет.
В информатике временна́я сложность алгоритма определяется как функция от длины строки, представляющей входные данные, равная времени работы алгоритма на данном входе. Временная сложность алгоритма обычно выражается с использованием нотации «O» большое, которая учитывает только слагаемое самого высокого порядка, а также не учитывает константные множители, то есть коэффициенты. Если сложность выражена таким способом, говорят об асимптотическом описании временной сложности, то есть при стремлении размера входа к бесконечности. Например, если существует число 
, такое, что время работы алгоритма для всех входов длины 
не превосходит 
, то временную сложность данного алгоритма можно асимптотически оценить как 
.
Тест Аграва́ла — Кая́ла — Саксе́ны — единственный известный на данный момент универсальный полиномиальный, детерминированный и безусловный тест простоты чисел, основанный на обобщении малой теоремы Ферма на многочлены.
Степень роста группы — характеристика в теории групп, показывающая скорость прироста конечнопорождённых групп в виде класса функций, ставящих в соответствие количеству порождающих элементов порядок группы. Введена советским математиком Шварцем (1955) в рамках исследования вопроса о росте универсальных накрывающих римановых пространств и независимо от него американским математиком Милнором (1968) в связи с проблемами фундаментальных групп компактных римановых многообразий с ограничениями на кривизну.
Метрика Громова — Хаусдорфа — способ определить расстояние между двумя компактными метрическими пространствами. Более точно, это метрика на множестве изометрических классов компактных метрических пространств.
В теории графов паросочетание, или независимое множество рёбер в графе, — это набор попарно несмежных рёбер.
Теорема Грина — Тао — теоретико-числовое утверждение, доказанное Беном Грином и Теренсом Тао в 2004 году, согласно которому последовательность простых чисел содержит арифметические прогрессии произвольной длины. Другими словами, существуют арифметические прогрессии простых чисел, состоящие из k членов, где k может быть любым натуральным числом. Доказательство заключается в расширении теоремы Семереди.
В математике, приближенная схема полиномиального времени или polynomial-time approximation scheme (PTAS) обозначает класс приближенных полиномиальных по времени выполнения алгоритмов для решения, как правило, NP-трудных оптимизационных задач. Если P = NP, то введение этого понятия теряет смысл. Поэтому далее будем предполагать, что Р не совпадает с NР. И без ограничения общности определим понятие для задачи минимизации.
Группа Григорчука — первый пример конечнопорождённой группы промежуточного роста.
Альтернатива Титса — теорема о строении конечно порожденных линейных групп. Названа в честь Жака Титса.
Гипотеза Римана является одной из наиболее важных гипотез в математике. Гипотеза является утверждением о нулях дзета-функции Римана. Различные геометрические и арифметические объекты могут быть описаны так называемыми глобальными L-функциями, которые формально похожи на дзета-функцию Римана. Можно тогда задать тот же вопрос о корнях этих L-функций, что даёт различные обобщения гипотезы Римана. Многие математики верят в верность этих обобщений гипотезы Римана. Единственный случай, когда такая гипотеза была доказана, произошёл в алгебраическом поле функций.
Оккамово обучение в теории вычислительного обучения является моделью алгоритмического обучения, где целью обучения является получение сжатого представления имеющихся тренировочных данных. Метод тесно связан с почти корректным обучением, где учитель оценивает прогнозирующую способность тестового набора.
Алгоритм Шрайера — Симса — алгоритм из области вычислительной теории групп, позволяющий после однократного исполнения за линейное время находить порядок группы, порождённой перестановками, проверять принадлежность элемента такой группе и перечислять её элементы. Алгоритм был предложен Чарльзом Симсом в 1970 году для поиска примитивных групп перестановок и основывается на лемме Шрайера о порождении подгрупп. Представление группы перестановок, которое находит алгоритм, аналогично ступенчатому виду матрицы для её пространства строк. Разработанные Симсом методы лежат в основе большинства современных алгоритмов для работы с группами перестановок, модификации алгоритма также используются в современных системах компьютерной алгебры, таких как GAP и Magma. Одним из наиболее наглядных приложений алгоритма является то, что он может быть использован для решения кубика Рубика.
В теории чисел последовательностью Сидона называется любая последовательность 
такая, что все суммы вида 
различны. Последовательность может быть конечной или бесконечной — от этого существенно зависит подход к изучению свойств таких последовательностей.
В теории сложности вычислений классом NC называют множество задач разрешимости, разрешимых за полилогарифмическое время на параллельном компьютере с полиномиальным числом процессоров. Другими словами, задача принадлежит классу NC, если существуют константы n и c такие, что она может быть решена за время 
при использовании 
параллельных процессоров. Стивен Кук назвал его «Классом Ника» в честь Ника Пиппенжера, который провел обширные исследования схем с полилогарифмической глубиной и полиномиальным размером.
Брюс Алан Кляйнер — американский геометр. Профессор математики в Нью-Йоркском университете. Защитил диссертацию в 1990 году в Калифорнийском университете в Беркли под руководством У-И Сян.
