Фундамента́льная гру́ппа — одна из простейших конструкций в алгебраической топологии. Сопоставляется группа всякому связному топологическому пространству. Для подмножеств плоскости эта группа измеряет количество «дырок». Наличие «дырки» определяется невозможностью непрерывно продеформировать (стянуть) некоторую замкнутую кривую в точку.

Изоморфи́зм — соотношение между математическими объектами, выражающее общность их строения; используется в разных разделах математики и в каждом из них определяется в зависимости от структурных свойств изучаемых объектов. Обычно изоморфизм определяется для множеств, наделённых некоторой структурой, например, для групп, колец, линейных пространств; в этом случае он определяется как обратимое отображение (биекция) между двумя множествами со структурой, сохраняющее эту структуру, то есть показывающее, что объекты «одинаково устроены» в смысле этой структуры. Если между объектами существует изоморфизм, то они называются изоморфными. Изоморфизм всегда задаёт отношение эквивалентности на классе таких структур.
В этой статье приведены основные термины, используемые в теории групп. Курсив обозначает внутреннюю ссылку на данный глоссарий. В конце приводится таблица основных обозначений, применяемых в теории групп.

В математике, если заданы две группы (G, ∗) и (H, •), гомоморфизм групп из (G, ∗) в (H, •) — это функция h : G → H, такая, что для всех u и v из G выполняется


Тео́рия катего́рий — раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов.
Функтор — особый тип отображений между категориями. Его можно понимать как отображение, сохраняющее структуру. Функторы между малыми категориями являются морфизмами в категории малых категорий. Совокупность всех категорий не является категорией в обычном смысле, так как совокупность её объектов не является классом. Один из способов преодолеть подобные теоретико-множественные трудности — добавление в ZFC независимой от неё аксиомы о существовании недостижимых кардиналов.
Циклическая группа — группа
, которая может быть порождена одним элементом a, то есть все её элементы являются степенями a. Математическое обозначение:
.
Изоморфизм групп — взаимно-однозначное соответствие между элементами двух групп, сохраняющее групповые операции. Если существует изоморфизм между двумя группами, группы называются изоморфными. С точки зрения теории групп изоморфные группы имеют одни и те же свойства и их можно не различать.

Автоморфизм — изоморфизм между математическим объектом и им самим; отображение, изменяющее объект с сохранением всех его изначальных свойств. Множество всех автоморфизмов объекта образует группу автоморфизмов, которую можно рассматривать как обобщение группы симметрий объекта.
Теория гомоло́гий — раздел математики, который изучает конструкции некоторых топологических инвариантов, называемых группами гомологий и группами когомологий. Также теориями гомологий называют конкретные конструкции групп гомологий.

Решётка — набор векторов евклидова пространства
, образующий дискретную группу по сложению.
В математике, теорема двойственности Пуанкаре, названная в честь французского математика Анри Пуанкаре, является основным результатом о структуре групп гомологий и когомологий многообразия. Она утверждает, что все k-е группы когомологий n-мерного ориентируемого замкнутого многообразия M изоморфны (n − k)-м группам гомологий M :

Соответствие Карри — Ховарда — наблюдаемая структурная эквивалентность между математическими доказательствами и программами, которая может быть формализована в виде изоморфизма между логическими системами и типизированными исчислениями.
Мультипликатор Шура является второй гомологией групп
группы G. Его ввёл Исай Шур в работе по проективным представлениям.
Фуксова модель — это представление гиперболической римановой поверхности R как факторповерхности верхней полуплоскости H по фуксовой группе. Любая гиперболическая риманова поверхность позволяет такое представление. Концепция названа именем Лазаря Фукса.

Дополнение узла — пространство, получающееся из шара вырезанием цилиндра, заузленного в форме этого узла.