В этой статье приведены основные термины, используемые в теории групп. Курсив обозначает внутреннюю ссылку на данный глоссарий. В конце приводится таблица основных обозначений, применяемых в теории групп.
Гру́ппа — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент, и каждый элемент множества имеет обратный. Раздел общей алгебры, занимающийся группами, называется теорией групп.
Неприводимый многочлен — многочлен, неразложимый на нетривиальные многочлены. Неприводимые многочлены являются неприводимыми элементами кольца многочленов.
Теория групп — раздел общей алгебры, изучающий алгебраические структуры, называемые группами, и их свойства. Группа является центральным понятием в общей алгебре, так как многие важные алгебраические структуры, такие как кольца, поля, векторные пространства, являются группами с расширенным набором операций и аксиом. Группы возникают во всех областях математики, и методы теории групп оказывают сильное влияние на многие разделы алгебры. В процессе развития теории групп построен мощный инструментарий, во многом определивший специфику общей алгебры в целом, сформирован собственный глоссарий, элементы которого активно заимствуются смежными разделами математики и приложениями. Наиболее развитые ветви теории групп — линейные алгебраические группы и группы Ли — стали самостоятельными областями математики.
Представле́ние гру́ппы — вообще говоря, любое действие группы. Однако чаще всего под представлением группы понимается линейное представление группы, то есть действие группы на векторном пространстве. Иными словами, представление группы — это гомоморфизм заданной группы в группу невырожденных линейных преобразований векторного пространства.
Теорема Бёрнсайда — классическая теорема теории конечных групп.
Редуктивная группа — алгебраическая группа 
, для которой унипотентный радикал её компоненты единицы 
является тривиальным. Над незамкнутым полем редуктивность алгебраической группы определяется как редуктивность её над замыканием основного поля.
В теории колец, простой модуль над кольцом R — это модуль над R, не имеющий ненулевых собственных подмодулей. Эквивалентно, модуль является простым тогда и только тогда, когда любой циклический модуль, порожденный одним его элементом, совпадает со всем модулем. Простые модули служат для построения модулей конечной длины, в этом смысле они похожи на простые группы.
Полупростые модули — общеалгебраические модули, которые можно легко восстановить по их частям. Кольцо, являющееся полупростым модулем над самим собой, называется артиновым полупростым кольцом. Важный пример полупростого кольца — групповое кольцо конечной группы над полем характеристики ноль. Структура полупростых колец описывается теоремой Веддербёрна — Артина: все такие кольца являются прямыми произведениями колец матриц.
В математике свободная абелева группа — это абелева группа, имеющая базис, то есть такое подмножество элементов группы, что для любого её элемента существует единственное его представление в виде линейной комбинации базисных элементов с целыми коэффициентами, из которых только конечное число являются ненулевыми. Элементы свободной абелевой группы с базисом B называют также формальными суммами над B. Свободные абелевы группы и формальные суммы используются в алгебраической топологии при определении групп цепей и в алгебраической геометрии при определении дивизоров.
Теорема полноты — утверждение о свойствах представлений конечных групп о том, что любую функцию на конечной группе можно разложить по элементам матрицы неприводимых представлений этой группы. Коэффициенты этого разложения называются коэффициентами Фурье по аналогии с теорией тригонометрических рядов. Играет важную роль при применении методов теории групп в физике.
L-функция Артина — это вид ряда Дирихле, связанный с представлением 
группы Галуа расширения числового поля. Эти функции были введены в 1923 Эмилем Артином, в связи с его работой в теории полей классов. Фундаментальные свойства этих функций, в частности гипотеза Артина, описанная ниже, оказались устойчивыми к легким доказательствам. Одной из целей предлагаемой неабелевой теории полей классов является включение комплексно-аналитических L-функций Артина в более широкую теорию, которая будет вытекать из автоморфных форм и программы Ленглендса. До сих пор лишь небольшая часть такой теории была построена на прочной основе.
Таблица характеров — двумерная таблица, строки которой соответствуют неприводимым представлениям группы, а столбцы которой соответствует классам сопряжённости элементов группы. Элементы матрицы состоят из характеров, следов матриц, представляющих группу элементов класса столбца в определяемом строкoй представлении группы.
Представление группы Ли — это линейное действие группы Ли на векторном пространстве или, что то же самое, гладкий гомоморфизм группы Ли в группу обратимых операторов на векторном пространстве. Играет важную роль в изучении непрерывной симметрии в математике и теоретической физике. Представления групп Ли изучены довольно хорошо, основным инструментом их изучения является использование соответствующих «инфинитезимальных» представлений алгебр Ли.
Физика элементарных частиц и теория представлений — физика элементарных частиц при построении своих математических моделей в качестве важной составной части математического аппарата использует теорию представлений. Она связывает математическое описание свойств элементарных частиц со структурой групп Ли и алгебр Ли.
Группа Фробениуса, или фробениусова группа — транзитивная группа перестановок на конечном множестве, такая, что каждый нетривиальный элемент фиксирует не более одной точки, и некоторый нетривиальный элемент фиксирует точку.
