Підгрупа (математичне), підмножина елементів групи, само створююче групу по відношенню до групової операції цієї групи. Це означає, що в П., поряд з елементами а і b, повинні завжди міститися також а -1 і ab.