Noyau (algèbre)
ensemble dont l'image par un morphisme est l'élément neutre de l'ensemble d'arrivée / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Noyau (algèbre)?
Résumez cet article pour un enfant de 10 ans
Pour les articles homonymes, voir noyau.
En mathématiques et plus particulièrement en algèbre générale, le noyau d'un morphisme mesure la non-injectivité d'un morphisme.
Dans de nombreux cas, le noyau d'un morphisme est un sous-ensemble de l'ensemble de définition du morphisme : l'ensemble des éléments qui sont envoyés sur l'élément neutre de l'ensemble d'arrivée. Dans des contextes plus généraux, le noyau est interprété comme une relation d'équivalence sur l'ensemble de définition : la relation qui relie les éléments qui sont envoyés sur une même image par le morphisme.
Dans l'une ou l'autre de ces situations, le noyau est trivial si et seulement si le morphisme est injectif. Dans la première situation, « trivial » signifie constitué uniquement de l'élément neutre, tandis que dans la seconde, cela signifie que la relation est l'égalité.
Le noyau d'un morphisme f est noté ker(f) ou Ker(f). Cette abréviation vient du mot allemand Kern[1] qui signifie « noyau » (dans tous les sens du terme : l'analogie s'est propagée d'une langue à l'autre).
Cet article présente diverses définitions du noyau, pour les types les plus couramment utilisés de morphismes.