Für einen Homomorphismus zwischen algebraischen Strukturen (oder eine lineare Abbildung zwischen Vektorräumen) ist der Kern die Teilmenge des Definitionsbereichs, die auf das neutrale Element (bzw. Null) des Zielbereichs abgebildet wird; er misst das Versagen der Injektivität des Morphismus.

Prinzip

Die Elemente erfassen, die unter der Abbildung zu Null werden: der Kern ist ein Unterobjekt (Untergruppe, Unterraum, Ideal, normale Untergruppe), abgeschlossen unter den Operationen der Domäne, und charakterisiert Kongruenzklassen für Quotientenbildungen.

Demonstration

Ist f : G → H ein Gruppenhomomorphismus, so ist ker(f) = {g ∈ G | f(g) = e_H} eine normale Untergruppe von G; der erste Isomorphismussatz identifiziert G/ker(f) mit dem Bild f(G) und zeigt, wie der Kern die Injektivität steuert.

Fehlanwendung

Kern mit Bild verwechseln oder annehmen, ein trivialer Kern impliziere Surjektivität; ein trivialer Kern bedeutet Injektivität (kein nichttrivales Element wird auf das Neutrale abgebildet), sagt aber nichts darüber aus, ob die Abbildung alle Zielwerte erreicht.

Konsequenz

Bestimmt Exaktheitseigenschaften in Sequenzen, ermöglicht die Bildung von Quotientenstrukturen, in denen der Kern zur Nullklasse wird, und liefert ein algebraisches Invariante zur Klassifikation von Homomorphismen bis auf Isomorphie.

Umkehrung

Die duale Idee ist der Kokern (kategorial oder modul-theoretisch), der das Versagen der Surjektivität misst, indem er den Zielbereich quotieniert; der Kern fokussiert auf Injektivität und Urbilder des Neutralen.

Abgrenzung

Definiert für Abbildungen, die Identität/Null in algebraischen Kategorien erhalten; für beliebige Funktionen kann man das Urbild eines gewählten Elements betrachten, aber ohne algebraische Abschluss-Eigenschaften verliert der Begriff »Kern« seine strukturelle Bedeutung.

Semantische Spannung

Spannung zwischen Kern und Nullraum/Vanishing-Ideal in verschiedenen Kontexten: Sie sind analog, tragen aber kontext-spezifische Struktur (z. B. normale Untergruppe vs Ideal vs linearer Unterraum), die zu beachten ist.

Synthese

Der Kern ist die strukturierte Teilmenge des Definitionsbereichs, die auf die Identität (oder Null) des Zielbereichs abgebildet wird; er ist zentral für Fragen der Injektivität, Quotientenbildung und Exaktheit und auf die algebraische Kategorie des Homomorphismus zugeschnitten.