Гру́ппа — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент, и каждый элемент множества имеет обратный. Раздел общей алгебры, занимающийся группами, называется теорией групп.
Группы Матьё — это пять спорадических простых групп, M11, M12, M22, M23 и M24, введённые Эмилем Леонардом Матьё. Группы являются кратно транзитивными группами перестановок 11, 12, 22, 23 или 24 объектов. Это были первые открытые спорадические группы.
Теорема о классификации простых конечных групп — теорема теории групп, классифицирующая с точностью до изоморфизма простые конечные группы.
Спорадическая группа — одна из 26 исключительных групп в теореме о классификации простых конечных групп.
SL(2,R) или SL2(R) — это группа вещественных матриц 2 × 2 с единичным определителем:
Хопфова группа — группа, не изоморфная ни одной из своих собственных факторгрупп.
Фраза группа лиева типа обычно означает конечную группу, которая тесно связана с группой рациональных точек редуктивной линейной алгебраической группы со значениями в конечном поле. Термин «группа лиева типа» не имеет общепризнанного точного определения, но важный набор конечных простых групп лиева типа точное определение имеет и они составляют большинство групп в классификации простых конечных групп.
Группа Янко J2, группа Холла — Янко (HJ) или группа Холла — Янко — Уэллса — это спорадическая группа порядка
- 27 · 33 · 52 · 7 = 604800.
Группа Титса J2, названная именем Жака Титса, — это конечная простая группа порядка 211 • 33 • 52 • 13 = 17971200 ≈ 2⋅107.
Теорема Гурвица об автоморфизмах ограничивает порядок группы автоморфизмов — сохраняющих ориентацию конформных отображений — компактной римановой поверхности рода g > 1, утверждая, что число таких автоморфизмов не может превышать 84(g − 1). Группа, для которой достигается максимум, называется группой Гурвица, а соответствующая поверхность Римана — поверхностью Гурвица. Поскольку компактные поверхности Римана являются синонимом неособых комплексных проективных алгебраических кривых, поверхность Гурвица может называться также кривой Гурвица. Теорема названа именем Адольфа Гурвица, который доказал её в 1893 году.
N-группа — это группа, все локальные подгруппы которой разрешимы. Неразрешимые случаи Томпсон классифицировал во время работы по поиску всех минимальных конечных простых групп.
Группа Рудвалиса Ru — это спорадическая простая группа порядка
- 214 · 33 · 53 · 7 · 13 · 29
- = 145926144000
- ≈ 1⋅1011.
Группы Ри — это группы лиева типа над конечным полем, которые построил Ри из исключительных автоморфизмов диаграмм Дынкина, которые обращают направление кратных рёбер, что обобщает группы Судзуки, которые нашёл Судзуки, используя другой метод. Группы были последними открытыми в бесконечных семействах конечных простых групп.
Говорят, что группа является ЦА-группой, CA-группой или централизаторной абелевой группой, если централизатор любого нетождественного элемента является абелевой подгруппой. Конечные ЦА-группы имеют историческое значение как ранний пример типов классификаций, которые потом использовались в теореме Томпсона–Фейта и классификации простых конечных групп. Некоторые важные бесконечные группы являются ЦА-группами, такие как свободные группы, монстры Тарского и некоторые из групп Бёрнсайда, а локально конечные ЦА-группы были классифицированы точно. ЦА-группы также называются коммутативно-транзитивными группами, поскольку коммутативность является транзитивным отношением для нетождественных элементов группы тогда и только тогда, когда группа является ЦА-группой.
Граф Холла — Янко, также называемый графом Холла — Янко — Уэлса, это 36-регулярный неориентированный граф со 100 вершинами и 1800 рёбрами.
Группа Конвея Co1 — это спорадическая простая группа порядка
- = 4157776806543360000
- ≈ 4⋅1018.
Мультипликатор Шура является второй гомологией групп 
группы G. Его ввёл Исай Шур в работе по проективным представлениям.
Группы Конвея — это три введённые Конвеем спорадические простые группы Co1, Co2 и Co3 вместе со связанной с ними конечной группой Co0.
Лев Серге́евич Каза́рин — советский и российский математик, доктор физико-математических наук, профессор, заведующий кафедрой алгебры и математической логики Ярославского государственного университета.
