Sie kennen bereits Gruppenhomomorphismen als strukturerhaltende Abbildungen zwischen Gruppen. Sie übertragen die algebraische Struktur – die Art und Weise, wie Elemente durch die Gruppenoperation interagieren – von einer Gruppe in eine andere. Ein Homomorphismus $\phi: G \to H$ sorgt dafür, dass die Verknüpfung von Elementen in $G$ der Verknüpfung ihrer Bilder in $H$ entspricht: $\phi(a \cdot b) = \phi(a) * \phi(b)$.

Aber was passiert, wenn die Abbildung nicht eins zu eins ist? Wenn mehrere Elemente aus $G$ auf dasselbe Element in $H$ abgebildet werden, geht scheinbar Information verloren. Tatsächlich wird die Struktur von $G$ auf eine sehr spezifische und geordnete Weise "zusammengeklappt". Das Werkzeug, um dieses Zusammenklappen zu verstehen, ist der Kern des Homomorphismus.

Der Kern ist mehr als nur eine Menge; er ist das Fundament, auf dem die gesamte Struktur der Abbildung ruht. Wenn der Kern nur das neutrale Element von $G$ enthält, $\text{ker}(\phi) = \{e_G\}$, dann ist der Homomorphismus injektiv (eineindeutig). Je größer der Kern ist, desto mehr von der Struktur von $G$ wird komprimiert.

Eine entscheidende Eigenschaft des Kerns ist, dass er nicht nur eine Untergruppe von $G$ ist, sondern immer eine Normalteiler. Das bedeutet, für jedes Element $k$ im Kern und jedes beliebige Element $g$ in der Gruppe $G$ liegt das konjugierte Element $gkg^{-1}$ ebenfalls im Kern. Erinnern Sie sich, dass Normalteiler die speziellen Untergruppen sind, deren linke und rechte Nebenklassen übereinstimmen ($gK = Kg$). Diese Eigenschaft ist unerlässlich für die Konstruktion von neuen Gruppen.

Diese Normalteilereigenschaft ist keine mathematische Spitzfindigkeit. Sie ist der Schlüssel, der uns erlaubt, eine neue, kleinere Gruppe zu konstruieren, die genau die Struktur des Bildes von $\phi$ widerspiegelt. Diese neue Gruppe ist die Faktorgruppe.

Wenn wir den Kern $K = \text{ker}(\phi)$ haben, können wir die Gruppe $G$ in Nebenklassen von $K$ zerlegen. Jede Nebenklasse $gK = \{gk \mid k \in K\}$ ist eine Menge von Elementen aus $G$. Das Besondere ist: Alle Elemente innerhalb einer einzigen Nebenklasse werden von $\phi$ auf dasselbe Element in $H$ abgebildet. Warum? Sei $x$ ein Element in der Nebenklasse $gK$, also $x = gk$ für ein $k \in K$. Dann ist $\phi(x) = \phi(gk) = \phi(g)\phi(k) = \phi(g)e_H = \phi(g)$. Jeder in $gK$ landet dort, wo $g$ landet.

Die Menge all dieser Nebenklassen bildet selbst eine Gruppe, die Faktorgruppe $G/K$. Die Elemente dieser Gruppe sind die Nebenklassen, und die Gruppenoperation ist wie folgt definiert:

Diese Operation ist nur deshalb wohldefiniert, weil $K$ ein Normalteiler ist. Die Faktorgruppe $G/K$ erbt eine vereinfachte Version der Struktur von $G$. Sie ist gewissermaßen das, was von $G$ übrig bleibt, nachdem man die Informationen, die im Kern enthalten sind, "herausdividiert" hat.

Das tiefere Verständnis, das wir hier gewinnen, ist, dass der Kern und das Bild eines Homomorphismus untrennbar miteinander verbunden sind. Der Erste Isomorphiesatz, den wir als Nächstes behandeln werden, formalisiert diese Beziehung auf elegante Weise, indem er zeigt, dass die Faktorgruppe $G/\text{ker}(\phi)$ isomorph zum Bild von $\phi$ ist. Der Kern bestimmt also nicht nur, was kollabiert, sondern auch die exakte Struktur dessen, was am Ende ankommt.