Значение слова ПОДГРУППА в Большой советской энциклопедии, БСЭ

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