Épimorphisme

Un article de Wikipédia, l'encyclopédie libre.

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:

g₁ o f = g₂ o f implique g₁ = g₂ pour tout morphisme g₁, g₂ : Y → Z.

Suivant ce diagramme, on peut voir les épimorphismes comme des analogues aux fonctions surjectives, bien que ce ne soit pas exactement la même chose. Le dual d'un épimorphisme est un monomorphisme (c'est-à-dire qu'un épimorphisme dans une catégorie C est un monomorphisme dans la catégorie duale C^op).

En algèbre abstraite et en algèbre universelle, plusieurs définissent un épimorphisme simplement comme étant un homomorphisme surjectif. Tout épimorphisme, de ce point de vue, est un épimorphisme au sens de la théorie des catégorie, mais l'inverse n'est pas vrai dans toutes les catégories.

[modifier] Source

• (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Epimorphism ».
• Adámek, Jiří, Herrlich, Horst, & Strecker, George E. (1990). Abstract and Concrete Categories (4.2MB PDF). Originally publ. John Wiley & Sons. ISBN 0-471-60922-6. (now free on-line edition)
• Bergman, George M. (1998), An Invitation to General Algebra and Universal Constructions, Harry Helson Publisher, Berkeley. ISBN 0-9655211-4-1.
• Linderholm, Carl (1970). A Group Epimorphism is Surjective. American Mathematical Monthly 77, pp. 176–177. Proof summarized by Arturo Magidin in [1].

• Portail des mathématiques