Factorgroep: verschil tussen versies

Als <math>H</math> een [[normaaldeler]] is van een roepgroep <math>G</math>, wat inhoudt idatdat de [[verzameling (wiskunde)|verzameling]] <math>G/H</math> van de linkernevenklassen van <math>H</math> samenvalt met de verzameling <math>G\backslash H</math> van de rechternevenklassen van <math>H</math>, dan vormt de verzameling nevenklassen <math>G/H</math> een groep, de ''factorgroep'' of ''quotiëntgroep'' van <math>G</math> en <math>H</math>, als daarop een [[groepsbewerking]] <math>*</math> wordt gedefinieerd door het product van twee nevenklassen <math>aH</math> en <math>bH</math> op te vatten als de nevenklasse <math>abH</math> van het product van <math>a</math> en <math>b</math>: