Большая Советская энциклопедия - подгруппа

(математическое)

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

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978