
Теоре́ма — математическое утверждение, истинность которого устанавливается путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы).

Леопо́льд Кро́некер — немецкий математик. Брат известного физиолога Гуго Кронекера (1830—1914). Родился в состоятельной еврейской семье, за год до смерти принял христианство.

А́ртур Кэ́ли — английский математик, профессор Кембриджского университета. Член Лондонского королевского общества (1852), член-корреспондент Петербургской академии наук (1870), иностранный член Парижской академии наук, Королевской академии наук и искусств Нидерландов (1893) и ряда других академий. Президент Лондонского математического общества (1868–1870). Лауреат медали Копли (1862) и медали де Моргана (1884).
Разрешимая группа — группа, ряд коммутантов которой заканчивается на тривиальной группе.
Теория групп — раздел общей алгебры, изучающий алгебраические структуры, называемые группами, и их свойства. Группа является центральным понятием в общей алгебре, так как многие важные алгебраические структуры, такие как кольца, поля, векторные пространства, являются группами с расширенным набором операций и аксиом. Группы возникают во всех областях математики, и методы теории групп оказывают сильное влияние на многие разделы алгебры. В процессе развития теории групп построен мощный инструментарий, во многом определивший специфику общей алгебры в целом, сформирован собственный глоссарий, элементы которого активно заимствуются смежными разделами математики и приложениями. Наиболее развитые ветви теории групп — линейные алгебраические группы и группы Ли — стали самостоятельными областями математики.
Лемма Бёрнсайда — классический результат комбинаторной теории групп, даёт выражение на число орбит в действии группы. Лемма Бёрнсайда лежит в основе доказательства теоремы Редфилда — Пойи.

Фердина́нд Гео́рг Фробе́ниус — немецкий математик, известный своим вкладом в теорию эллиптических функций, дифференциальных уравнений и теории групп. Он также был первым, кто ввёл понятие рациональной аппроксимации функций, и дал первое полное доказательство теоремы Гамильтона — Кэли. Также он внёс свой вклад в определение дифференциально-геометрических объектов в современной математической физике, известных ныне как многообразия Фробениуса.
Теорема Бёрнсайда — классическая теорема теории конечных групп.
Задача Бёрнсайда — серия задач в теории групп вокруг вопроса о возможности определить конечность группы исходя лишь из свойств её элементов: должна ли быть конечно порождённая группа, в которой каждый элемент имеет конечный порядок, обязательно конечной.

Джон Григгс Томпсон — математик-алгебраист, специалист в области конечных групп, профессор кафедры математики Флоридского университета в Гейнсвилле (Флорида). Один из двух математиков в мире — лауреат сразу трёх премий: медали Филдса (1970), премии Вольфа (1992) и премии Абеля (2008).
Периодическая группа — группа, каждый элемент которой имеет конечный порядок. Все конечные группы периодичны. Понятие периодической группы не следует путать с понятием циклической группы.
Фраза группа лиева типа обычно означает конечную группу, которая тесно связана с группой рациональных точек редуктивной линейной алгебраической группы со значениями в конечном поле. Термин «группа лиева типа» не имеет общепризнанного точного определения, но важный набор конечных простых групп лиева типа точное определение имеет и они составляют большинство групп в классификации простых конечных групп.
Говорят, что группа является ЦА-группой, CA-группой или централизаторной абелевой группой, если централизатор любого нетождественного элемента является абелевой подгруппой. Конечные ЦА-группы имеют историческое значение как ранний пример типов классификаций, которые потом использовались в теореме Томпсона–Фейта и классификации простых конечных групп. Некоторые важные бесконечные группы являются ЦА-группами, такие как свободные группы, монстры Тарского и некоторые из групп Бёрнсайда, а локально конечные ЦА-группы были классифицированы точно. ЦА-группы также называются коммутативно-транзитивными группами, поскольку коммутативность является транзитивным отношением для нетождественных элементов группы тогда и только тогда, когда группа является ЦА-группой.

Филипп Холл — английский математик. Член Лондонского королевского общества, профессор Кембриджского университета. Наиболее известен работами по теории групп, в особенности по конечным группам и разрешимым группам. В течение многих лет Холл был единственным алгебраистом, работающим в Англии.
Теорема Фробе́ниуса — несколько математических фактов, названных в честь Фердинанда Георга Фробениуса:
Теорема Фейта — Томпсона или теорема о нечётном порядке утверждает, что любая конечная группа нечётного порядка разрешима. Теорему доказали Вальтер Фейт и Джон Григгс Томпсон.

Ричард Дагоберт Брауэр — немецкий и американский математик. Тематика трудов: общая алгебра, теория чисел, теория представлений, гиперкомплексные числа. Автор многих теорем и создатель теории модулярных представлений.
Группа Фробениуса, или фробениусова группа — транзитивная группа перестановок на конечном множестве, такая, что каждый нетривиальный элемент фиксирует не более одной точки, и некоторый нетривиальный элемент фиксирует точку.