6. Gruppen und Geometrie

A Gruppenhomomorphismus

Definition Faktorgruppe

Die Elemente von G/N sind die Nebenklassen bezüglich N, also
 
G/N = {g⋅N ∣ g ∈ G}
 
Die innere Verknüpfung ∘: G/N × G/N → G/N wird definiert als
 
(gN)∘(hN) := (gh)N
 
Man kann mit Hilfe der Normalteilereigenschaft von N zeigen, dass diese Verknüpfung wohldefiniert ist und dass (G/N,∘) eine Gruppe ist. Diese Gruppe heißt Faktorgruppe von G nach N. Das neutrale Element von G/N ist N und das zu gN inverse Element ist durch g−1N gegeben.

Diskussion