Подгруппа - подмножество элементов некоторой ("первоначальной") группы, которое, будучи взятым отдельно, само образует группу.
Также подгруппу называют делителем первоначальной группы.
Пример
Симметрическая группа подстановок 3-й степени (т.е. из 3 предметов ) состоит из следующих 6-ти подстановок:
$ 1,
(1 2 3),
(1 3 2),
(1 2),
(1 3),
(2 3)$
