Die Gruppe, deren Elemente die Nebenklassen einer normalen Untergruppe N in G sind, mit Multiplikation definiert durch (aN)(bN) = (ab)N, wodurch eine wohldefinierte Gruppenstruktur auf der Menge der Nebenklassen entsteht.

Prinzip

Eine normale Untergruppe durch Identifikation mit dem Einselement zusammenfassen, indem man auf Äquivalenzklassen (Nebenklassen) übergeht; der Quotient bildet die umgebende Gruppe modulo der normalen Untergruppe ab und spiegelt homomorphe Bilder wider.

Demonstration

Für G und normales N bildet G/N eine Gruppe: etwa wenn N die Menge der geraden Zahlen in (Z, +) ist, hat Z/N zwei Nebenklassen entsprechend der Parität und ist isomorph zu C2.

Fehlanwendung

Den Versuch, einen Quotienten modulo einer nicht normalen Untergruppe zu bilden — die Nebenklassenmultiplikation ist dann nicht wohldefiniert, weil das Produkt von Repräsentanten vom gewählten Repräsentanten abhängt.

Konsequenz

Faktorgruppen liefern kanonische homomorphe Bilder von G, ermöglichen Klassifikation durch Kerne und stützen exakte Folgen sowie Erweiterungstheorie; sie reduzieren Komplexität, indem sie eine ganze normale Untergruppe mit dem Einselement identifizieren.

Umkehrung

Ohne normale Untergruppe lässt sich keine Quotientengruppe auf dieselbe Weise bilden; beliebige Partitionen von G ergeben keine Gruppe, es sei denn, sie stimmen mit Nebenklassen einer normalen Untergruppe überein.

Abgrenzung

Definiert nur, wenn die Untergruppe in der übergeordneten Gruppe normal ist; der Quotient spiegelt die globale Struktur modulo dieser Untergruppe wider und enthält nicht die bei der Zusammenlegung von N verlorenen Informationen.

Semantische Spannung

Manchmal mit Faktormodulen oder rein mengenmäßigen Quotienten verwechselt; die Faktorgruppe ist eine spezifische algebraische Konstruktion, die Normalität und eine kompatible Operation erfordert und sich von einem bloßen Quotienten der Menge unterscheidet.

Synthese

Eine Faktorgruppe G/N ist das algebraische Ergebnis, alle Elemente einer normalen Untergruppe mit dem Einselement zu identifizieren und so eine neue Gruppe zu bilden, die G modulo N repräsentiert und homomorphe Bilder mit Kern N entspricht.