Accueil🇫🇷Chercher

Noyau (théorie des catégories)

La théorie des catégories est une théorie unificatrice des Mathématiques. La notion de noyau est une notion centrale en algèbre. Ici, le concept de noyau est un concept général applicable à de nombreuses branches des mathématiques abstraites.

Définition

Considérons dans une catégorie deux flèches et de même source et de même but . Une flèche de but est dite noyau ou égalisateur[1] du couple si elle vérifie les deux propriétés suivantes :

(1) On a uk=vk

(2) Pour toute flèche telle que l'on ait , il existe une flèche unique telle que [2] - [3] - [4].

remarque : un noyau n'existe pas nécessairement. Si la catégorie est telle que tout couple de flèches ayant même source et même but admette un noyau, on dit que la catégorie admet des noyaux[5].

Propriétés

  • Tout noyau est un monomorphisme.
  • L'objet K n'existe qu'à un isomorphisme près ; on fait parfois l'abus de langage consistant à dire : "le" noyau de (u,v) et l'on écrira . Si la flèche k est évidente à partir de , on dira encore que est le noyau du couple et on écrira même [5].

Exemples

  • Plaçons-nous dans Ens. Soit u et v deux applications d'un ensemble A dans un ensemble B. Le sous-ensemble K de A formé par les éléments x de A tels que ux=vx, est tel que l'injection de K dans A est un noyau du couple (u,v) (on remarquera que K peut être vide.)
  • Plaçons-nous dans Grp. Le noyau du couple (u,v) est le sous-groupe H de A ayant pour ensemble sous-jacent le noyau (dans Ens) du couple d'applications (|u|,|v|). En particulier, si v est l'homomorphisme de A dans B qui fait correspondre à tout élément de A l'élément unité de B, le noyau du couple (u,v) est le noyau de l'homomorphisme u au sens habituel de la théorie des groupes.

Références

  1. Serge Vasilach, Ensembles, structures, catégories, faisceaux : initiation aux structures fondamentales des mathématiques modernes, Presses de l'Université Laval, (ISBN 0-7746-6469-X, 978-0-7746-6469-1 et 2-225-46849-4, OCLC 4404837), p. 126
  2. Les anglosaxons parlent d' "equalizer of u and v"
  3. Saunders Mac Lane, Categories for the working mathematician, Springer-Verlag, [©1971] (ISBN 0-387-90035-7, 978-0-387-90035-3 et 0-387-90036-5, OCLC 267783), p. 70
  4. Emily Riehl, « Category Theory in Context », sur Cambridge University Press, p78
  5. Georges Poitou, Paul Jaffard, Introduction aux catégories et aux problèmes universels, Paris, Ediscience, , p. 34


Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.