Ondergroep (wiskunde)

In de groepentheorie is een ondergroep of deelgroep^[1] ${\displaystyle H}$ van een gegeven groep ${\displaystyle G}$ met de groepsbewerking ${\displaystyle *}$ een deelverzameling van ${\displaystyle G}$ die zelf ook een groep is bij dezelfde groepsbewerking ${\displaystyle *}$. Dat ${\displaystyle H}$ een ondergroep is van ${\displaystyle G}$, wordt genoteerd met ${\displaystyle H\leq G}$.

1. ↑ In Nederland is ondergroep gebruikelijk, in Vlaanderen is deelgroep gangbaarder.