Monomorphisme


Monomorphisme

Dans le cadre de l'algèbre générale ou de l'algèbre universelle, un monomorphisme est simplement un homomorphisme injectif.

Dans le cadre plus général de la théorie des catégories, un monomorphisme (aussi appelé mono) est un morphisme simplifiable à gauche, c'est-à-dire une application f\colon X \to Y telle que

f \circ g_1 = f \circ g_2 \implies g_1 = g_2 pour tout morphisme g_1, g_2 \colon Z \to X.
Monomorphism-01.png

Les monomorphismes sont la généralisation aux catégories des fonctions injectives ; dans certaines catégories, les deux notions coïncident d'ailleurs. Mais les monomorphismes restent des objets plus généraux (voir l'exemple ci-dessous).

Le dual d'un monomorphisme est un épimorphisme (c'est-à-dire qu'un monomorphisme dans la catégorie C est un épimorphisme dans la catégorie duale Cop).

Sommaire

Terminologie

Les termes consacrés monomorphisme et épimorphisme ont été originellement introduits par Bourbaki, qui utilisait monomorphisme comme raccourci pour désigner les fonctions injectives. Plus tard, les théoriciens des catégories ont pensé que la généralisation correcte d'injectivité aux cas des catégories fut celle donnée par Bourbaki, même si ce n'est pas exactement vrai pour le cas des applications de type monomorphisme, ce qui a causé quelques malentendus, contrairement aux cas des épimorphismes. Saunders Mac Lane a tenté de faire la distinction entre ce qu'il appelle monomorphisms, qui sont des applications concrètes et dont les applications sous-jacentes sur des ensembles sont injectives, et les applications monics, qui sont des monomorphismes au sens propre des catégories. Cependant, cette distinction ne s'est jamais généralisée.

Inversibilité

Les applications inversibles à gauche sont nécessairement mono: si l est l'inverse à gauche de f (c'est-à-dire lf = idX), alors f est mono, car

f \circ g_1 = f \circ g_2 \implies lfg_1 = lfg_2 \implies g_1 = g_2

Une application inversible à gauche est appelée un split mono.

Une application f\colon X \to Y est mono si et seulement si l'application f_*\colon \operatorname{Hom}(Z,X) \to\operatorname{Hom}(Z,Y) est injective pour tout Z.

Exemples

Tout morphisme d'une catégorie concrète dont les fonctions sous-jacentes sont injectives est un monomorphisme. Dans une catégorie d'ensembles, la réciproque est vraie, et donc les monomorphismes sont exactement les morphismes injectifs. La réciproque est également vraie dans la plupart des catégories usuelles de par l'existence d'objets libres sur un générateur. En particulier, c'est vrai pour les catégories de groupes et d'anneaux, et pour toute catégorie abélienne.

En revanche, tous les monomorphismes ne sont pas nécessairement injectifs dans d'autres catégories. Par exemple, dans la catégorie Div des groupes abéliens divisibles et des homomorphisme de groupes entre eux, il y a des monomorphismes qui ne sont pas injectifs : considérer l'application quotient q : Q → Q/Z. Elle n'est pas injective ; cependant, c'est un monomorphisme de cette catégorie. Pour le voir, noter que si q o f = q o g pour un morphisme f, g : GQG est un groupe abélien divisible alors q o h = 0 où h = f - g (ce qui a un sens dans une catégorie additive). Cela implique que h(x) est entier si xG. Si h(x) n'est pas nul alors,

h\left(\frac{x}{4h(x)}\right) = \frac{1}{4}

donc

(q \circ h)\left(\frac{x}{4h(x)}\right) \neq 0,

contradiction avec q o h = 0, donc h(x) = 0 et q est donc un monomorphisme.

Concepts liés

Il existe aussi les concepts de monomorphisme régulier, monomorphisme fort et monomorphism extrémal. Un monomorphisme régulier égalise un couple de morphismes. Un monomorphisme extrémal est un monomorphisme qui ne peut être trivialement factorisé à l'aide d'un épimorphisme: plus précisément, si m=g o e avec e un épimorphisme, alors e est un isomorphisme. Un monomorphisme vérifie certaines propriétés par rapport à des diagramme commutatif impliquant un épimorphismes.

Bibliographie

Source

Articles connexes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Monomorphisme de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • monomorphisme — [monomɔʀfism; mɔnɔmɔʀfism] n. m. ÉTYM. Mil. XXe; de mono , et morphisme. ❖ ♦ Math. || Monomorphisme d une catégorie : morphisme de cette catégorie tel que l égalité de deux morphismes composés de ce morphisme et respectivement d un morphisme… …   Encyclopédie Universelle

  • Catégorie (mathématiques) — Théorie des catégories La théorie des catégories étudie les structures mathématiques et les relations qu elles entretiennent. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l informatique… …   Wikipédia en Français

  • Theorie des categories — Théorie des catégories La théorie des catégories étudie les structures mathématiques et les relations qu elles entretiennent. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l informatique… …   Wikipédia en Français

  • Théorie des catégories — La théorie des catégories étudie les structures mathématiques et les relations qu elles entretiennent. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l informatique théorique et en… …   Wikipédia en Français

  • Lemuriformes — Pour les articles homonymes, voir Lémurien. Lémuriformes …   Wikipédia en Français

  • Epimorphisme — Épimorphisme En Théorie des catégories, un épimorphisme (aussi appelé epi) est un morphisme f : X → Y qui est simplifiable à droite de la manière suivante: g1 o f = g2 o f implique g1 = g2 pour tout morphisme g1, g2  …   Wikipédia en Français

  • Épimorphisme — En Théorie des catégories, un épimorphisme (aussi appelé epi) est un morphisme f : X → Y qui est simplifiable à droite de la manière suivante: g1 o f = g2 o f implique g1 = g2 pour tout morphisme g1, g2 : Y → Z.… …   Wikipédia en Français

  • CATÉGORIES ET FONCTEURS — Introduite en 1945 par Eilenberg et MacLane pour rendre compte de propriétés très générales des structures mathématiques, la théorie des catégories a quelque peu pâti, à ses débuts, de cette généralité qui lui valut auprès des «mathématiciens… …   Encyclopédie Universelle

  • Angiospermae — Magnoliophyta Magnoliophyta ou Angiospermes …   Wikipédia en Français

  • Angiospermata — Magnoliophyta Magnoliophyta ou Angiospermes …   Wikipédia en Français