Noyau

Pour un homomorphisme entre structures algébriques (ou une application linéaire entre espaces vectoriels), le noyau est le sous-ensemble du domaine envoyé sur l'élément neutre (ou zéro) du codomaine ; il mesure l'échec de l'injectivité du morphisme.