Wanneer je moet bewijzen of iets een deelgroep is van een groep, moet je dan de 2 criteria aantonen of is 1 voldoende?
Kris
Student Hoger Onderwijs België - zondag 24 augustus 2003
Antwoord
Twee? Een verzameling en een binaire bewerking vormen een groep wanneer VIER voorwaarden zijn voldaan (zie bijvoorbeeld: http://mathworld.wolfram.com/Group.html). Een deelgroep is dan gewoon een deelverzameling van de oorspronkelijke verzameling samen met de bewerking van die verzameling, zodat die structuur ook een groep is.