Faktorgruppe
aus Wikipedia, der freien Enzyklopädie
Es sei 
eine Gruppe, und N ein Normalteiler von G.
Für die Menge der Nebenklassen 
von G gilt dann:
Mit der Operation
ist 
eine Gruppe, die Faktorgruppe von G nach N.
Für 
gilt 
In abelschen Gruppen ist jede Untergruppe Normalteiler, somit lässt sich dort nach jeder Untergruppe die Faktorgruppe bilden.
Die Ordnung der Faktorgruppe G / N ist gleich dem Index (G:N) von N in G.
