Le processus consistant à former le sous-objet de l'objet source composé de tous les éléments qu'un morphisme donné envoie vers l'élément neutre (zéro ou identité) de la cible ; ce sous-objet mesure l'échec de l'injectivité pour ce morphisme et est caractérisé, quand il existe, par une propriété universelle d'égaliseur.

Principe

Un noyau est l'image réciproque de l'élément neutre par un morphisme et constitue le morphisme universel factorisant toute flèche envoyée sur l'élément neutre ; les noyaux existent et se comportent naturellement dans les catégories pointées munies de morphismes nuls et fournissent la notion catégorique des « éléments annihilés par un morphisme ».

Démonstration

En théorie des groupes, pour un homomorphisme f : G → H le noyau est le sous-groupe {g ∈ G | f(g) = e_H} ; en algèbre linéaire, pour une application linéaire T : V → W le noyau (espace nul) est {v ∈ V | T(v) = 0}, un sous-espace dont la dimension est la nullité dans le théorème du rang et de la nullité.

Mauvaise application

Considérer l'ensemble des éléments envoyés sur l'identité comme un noyau sans vérifier qu'il s'agit bien d'un sous-objet dans la catégorie appropriée (par exemple oublier la normalité pour les noyaux de groupes), ou confondre l'extraction du noyau avec la prise du conoyau ou de l'image, qui mesurent d'autres défaillances d'inversibilité.

Conséquence

L'extraction correcte du noyau identifie si un morphisme est monomorphique (noyau trivial) et, combinée aux constructions d'image/conoyau, conduit aux théorèmes d'isomorphisme ; elle structure les suites exactes et mesure les obstructions à l'injectivité.

Inversion

L'extraction du conoyau est l'opération duale : former le quotient de la cible par l'image d'un morphisme mesure l'échec de la surjectivité plutôt que de l'injectivité.

Limite

Définie seulement lorsque la catégorie ambiante est pointée et admet des égaliseurs ou des morphismes nuls ; dans des catégories sans notion de zéro ou sans limites la construction peut ne pas exister ou nécessiter une adaptation (par exemple les noyaux en contexte non abélien exigent des structures supplémentaires telles que la normalité).

Tension sémantique

Un malentendu peut provenir de la confusion entre la préimage d'un élément au sens des ensembles et le noyau catégorique qui doit être un sous-objet muni d'une propriété universelle ; de même, « noyau » en théorie des anneaux (idéal des éléments envoyés sur zéro) implique des exigences de deux-plaquage absentes ailleurs.

Synthèse

L'extraction du noyau isole l'obstruction, du côté source, à l'injectivité en rassemblant tous les éléments envoyés sur l'élément neutre en un sous-objet égaliseur universel, constituant ainsi un invariant canonique utile pour l'exactitude et les théorèmes d'isomorphisme.