In de groepentheorie is een ondergroep of deelgroep H {\displaystyle H} van een gegeven groep G {\displaystyle G} met de groepsbewerking ∗ {\displaystyle *} een deelverzameling van G {\displaystyle G} die zelf ook een groep is bij dezelfde groepsbewerking ∗ {\displaystyle *}. Wikipedia