Faktorgruppe. Zerlegt man eine Gruppe G in Nebenklassen nach einem Normalteiler N, dann bilden diese Nebenklassen eine Gruppe, die als G/N geschrieben wird, und man sagt G/N ist »Faktorgruppe von G nach N«. Die Faktorgruppe ist ein homomorphes Bild der Gruppe und ihre Ordnung ist gleich dem Index von