Ondergroep (wiskunde)
Van Wikipedia
In de groepentheorie verstaat men onder een ondergroep of deelgroep van een gegeven groep G met binaire operatie *, een deelverzameling van G die zelf ook een groep is onder de operatie *.
Precieser kan men zeggen dat de deelverzameling H van een groep (G,*) een ondergroep van G is als de beperking van * tot H een groepsoperatie is op H.
Als de ondergroep H van een groep G gevormd wordt door een echte deelverzameling van G spreekt men van een echte ondergroep. Voor elke groep G is er de triviale ondergroep bestaande uit alleen het eenheidselement.
