Aller au contenu

Morphisme zéro

Un article de Wikipédia, l'encyclopédie libre.
(Redirigé depuis Morphisme nul)

En mathématiques, et plus particulièrement dans la théorie des catégories, un morphisme zéro est un type spécial de morphisme présentant certaines propriétés analogues à celles des morphismes vers et depuis un objet zéro.

Définitions

[modifier | modifier le code]

Supposons que C soit une catégorie, et f : XY un morphisme de la catégorie C. Le morphisme f est appelé « morphisme constant » (ou encore « morphisme zéro à gauche ») si pour tout objet W de la catégorie C et tout morphisme de cette catégorie g, h : WX, on a fg = fh. Parallèlement, f est appelé « morphisme coconstant[1] » (ou encore « morphisme zéro à droite ») si pour tout objet Z de la catégorie C et tout morphisme de cette catégorie g, h : YZ, on a gf = hf. Un morphisme zéro est un morphisme qui est à la fois constant et coconstant[1].

Une « catégorie avec morphismes zéro » est celle où, pour tous les couples d'objets A et B de la catégorie C, il y a un morphisme fixe de cette catégorie 0AB : AB, cette collection de morphismes zéro étant telle que pour tous les objets X, Y, Z de la catégorie C et tous les morphismes de cette catégorie f : YZ, g : XY, le diagramme suivant commute:

Les morphismes 0XY sont nécessairement des morphismes zéro et forment un système compatible de morphismes zéro.

Si C est une catégorie avec morphismes zéro, alors la collection des morphismes zéro 0XY est unique[2].

Cette façon de définir séparément un morphisme zéro et une « catégorie à morphismes zéro » est malheureuse, mais si chaque sous-catégorie de la catégorie a un morphisme zéro, alors la catégorie est à morphismes zéro.

  • Dans la catégorie des groupes (ou des modules), un morphisme zéro est un homomorphisme f : GH qui envoie tout G vers l'identité dans H. L'objet zéro dans la catégorie des groupes est le groupe trivial 1 = {1}, qui est unique à un isomorphisme près. Tout morphisme zéro peut être factorisé par 1, c'est-à-dire f : G1H.
  • Plus généralement, supposons que C soit une catégorie avec un objet zéro 0 pour tous les objets X et Y, il existe une suite unique de morphismes zéro
0XY : X0Y
La famille de tous les morphismes ainsi construite confère à C la structure d'une catégorie à morphismes zéro.
  • Si C est une catégorie pré-additive, alors tout ensemble de morphismes Mor ( X, Y ) est un groupe abélien et a donc un élément nul. Ces éléments nuls forment une famille compatible de morphismes zéro pour C, ce qui en fait une catégorie à morphismes zéro.

Concepts associés

[modifier | modifier le code]

Si C a un objet zéro 0, étant donné deux objets X et Y de la catégorie C, il existe des morphismes canoniques f : X0 et g : 0Y. Alors, gf est un morphisme zéro dans Mor C ( X, Y ). Ainsi, toute catégorie avec un objet zéro est une catégorie avec un morphisme zéro donné par la composition 0XY : X0Y.

Si une catégorie a des morphismes zéro, alors on peut définir les notions de noyau et de conoyau[1] pour tout morphisme de cette catégorie.

Références

[modifier | modifier le code]
  1. a b et c Terme utilisé en anglais.
  2. « Category with zero morphisms - Mathematics Stack Exchange », Math.stackexchange.com, (consulté le ).