Большая советская энциклопедия
Подгруппа
Подгру́ппа
(математическое)
подмножество элементов группы (См. Группа), само образующее группу по отношению к групповой операции этой группы. Это значит, что в П., наряду с элементами а и b, должны всегда содержаться также а -1 и ab.