##  [Faktorgruppe](/de/node/63279) 

 Definition

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

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

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

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

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

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

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

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

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.