В этой статье приведены основные термины, используемые в теории групп. Курсив обозначает внутреннюю ссылку на данный глоссарий. В конце приводится таблица основных обозначений, применяемых в теории групп.
Простая группа — группа, не имеющая нормальных подгрупп, отличных от всей группы и единичной подгруппы.
Гру́ппа — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент, и каждый элемент множества имеет обратный. Раздел общей алгебры, занимающийся группами, называется теорией групп.
Разрешимая группа — группа, ряд коммутантов которой заканчивается на тривиальной группе.
Теория групп — раздел общей алгебры, изучающий алгебраические структуры, называемые группами, и их свойства. Группа является центральным понятием в общей алгебре, так как многие важные алгебраические структуры, такие как кольца, поля, векторные пространства, являются группами с расширенным набором операций и аксиом. Группы возникают во всех областях математики, и методы теории групп оказывают сильное влияние на многие разделы алгебры. В процессе развития теории групп построен мощный инструментарий, во многом определивший специфику общей алгебры в целом, сформирован собственный глоссарий, элементы которого активно заимствуются смежными разделами математики и приложениями. Наиболее развитые ветви теории групп — линейные алгебраические группы и группы Ли — стали самостоятельными областями математики.
Группа называется конечной -группой, если она имеет порядок, равный некоторой степени простого числа.
Внутренний автоморфизм — это вид автоморфизма группы, определённый в терминах фиксированного элемента группы, называемого сопрягающим элементом. Формально, если G — группа, а a — элемент группы G, то внутренний автоморфизм, определённый элементом a — это отображение f из G в себя, определённое для всех x из G по формуле
- f(x) = a−1xa.
Теорема о классификации простых конечных групп — теорема теории групп, классифицирующая с точностью до изоморфизма простые конечные группы.
В математике свободная абелева группа — это абелева группа, имеющая базис, то есть такое подмножество элементов группы, что для любого её элемента существует единственное его представление в виде линейной комбинации базисных элементов с целыми коэффициентами, из которых только конечное число являются ненулевыми. Элементы свободной абелевой группы с базисом B называют также формальными суммами над B. Свободные абелевы группы и формальные суммы используются в алгебраической топологии при определении групп цепей и в алгебраической геометрии при определении дивизоров.
В теории групп дициклическая группа Dicn— это некоммутативная группа порядка 4n, являющаяся расширением циклической группы порядка 2n. Эта группа также называется обобщённой группой кватернионов и обозначается Q4n.
Группы Фишера — это три спорадические группы Fi22, Fi23 и Fi24, введённые Берндом Фишером.
Т-группа — группа, в которой отношение нормальности на множестве всех её подгрупп транзитивно.
Теорема Фейта — Томпсона или теорема о нечётном порядке утверждает, что любая конечная группа нечётного порядка разрешима. Теорему доказали Вальтер Фейт и Джон Григгс Томпсон.
Теорема Шура — Зассенхауса — это теорема теории групп, которая утверждает, что если G является конечной группой, а N является нормальной подгруппой, порядок которой взаимно прост с порядком факторгруппы G/N, то G является полупрямым произведением подгруппы N и факторгруппы G/N.
Евге́ний Петро́вич Вдо́вин — российский учёный-математик, специалист по теории групп, доктор физико-математических наук, профессор РАН (2016).
Мультипликатор Шура является второй гомологией групп группы G. Его ввёл Исай Шур в работе по проективным представлениям.
Группа Фробениуса, или фробениусова группа — транзитивная группа перестановок на конечном множестве, такая, что каждый нетривиальный элемент фиксирует не более одной точки, и некоторый нетривиальный элемент фиксирует точку.
Лев Серге́евич Каза́рин — советский и российский математик, доктор физико-математических наук, профессор, заведующий кафедрой алгебры и математической логики Ярославского государственного университета.