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