Der Vorgang, das Unterobjekt der Quellobjekts zu bilden, das aus allen Elementen besteht, die von einem gegebenen Morphismus auf das neutrale (Null- oder Einheits-) Element des Zieles abgebildet werden; dieses Unterobjekt misst das Versagen der Injektivität des Morphismus und ist, falls existent, durch eine universelle Equalizer-Eigenschaft charakterisiert.

Prinzip

Ein Kern ist die Urbildmenge des neutralen Elements unter einem Morphismus und stellt den universellen Morphismus dar, der jede auf das neutrale Element abgebildete Pfeile faktorisiert; Kerne existieren und verhalten sich natürlich in punktierten Kategorien mit Nullmorphismen und geben die kategoriale Auffassung von ‚durch einen Morphismus getöteten‘ Elementen.

Demonstration

In der Gruppentheorie ist für einen Homomorphismus f: G → H der Kern die Untergruppe {g ∈ G | f(g) = e_H}; in der linearen Algebra ist für eine lineare Abbildung T: V → W der Kern (Nullraum) {v ∈ V | T(v) = 0}, ein Untervektorraum dessen Dimension die Nullität im Rang-Nullitätssatz ist.

Fehlanwendung

Die Menge der auf die Identität abgebildeten Elemente als Kern zu behandeln, ohne zu prüfen, ob sie in der entsprechenden Kategorie ein Unterobjekt ist (z. B. Normalität bei Gruppenkernen zu übersehen), oder den Kern mit dem Kokern bzw. Bild zu verwechseln, die andere Aspekte der Nichtinvertierbarkeit messen.

Konsequenz

Korrekte Kernermittlung zeigt an, ob ein Morphismus monomorph ist (trivialer Kern) und liefert zusammen mit Bild-/Kokonstruktionen Isomorphiesätze; Kerne strukturieren exakte Sequenzen und messen Obstruktionen der Injektivität.

Umkehrung

Die Kokern-Extraktion ist die duale Operation: die Bildung des Quotienten der Zielobjekts durch das Bild eines Morphismus misst das Versagen der Surjektivität statt der Injektivität.

Abgrenzung

Definiert nur in punktierten Kategorien, die Equalizer oder Nullmorphismen besitzen; in Kategorien ohne Nullbegriff oder ohne Limiten existiert die Konstruktion möglicherweise nicht oder muss angepasst werden (in nichtabelschen Kontexten erfordern Kerne zusätzliche Struktur wie Normalität).

Semantische Spannung

Verwirrung entsteht leicht zwischen der mengentheoretischen Urbildmenge eines Elements und dem kategorialen Kern, der ein Unterobjekt mit universeller Eigenschaft sein muss; ebenso impliziert ‚Kern‘ in der Ringtheorie (Ideal der auf Null abgebildeten Elemente) Zweitseitenanforderungen, die anderswo nicht auftreten.

Synthese

Kernextraktion isoliert die quellseitige Obstruktion der Injektivität, indem alle auf das neutrale Element abgebildeten Elemente zu einem universellen Equalizer-Unterobjekt vereinigt werden; so entsteht ein kanonisches Invariant für Exaktheit und Isomorphiesätze.