In dealing with monoids, the natural notion of kernel of a monoid morphism (Formula presented.) between two monoids M and N is that of the congruence (Formula presented.) on M defined, for every (Formula presented.), by (Formula presented.) if (Formula presented.). In this paper, we study kernels and equalizers of monoid morphisms in the categorical sense. We consider the case of the categories of all monoids, commutative monoids, cancellative commutative monoids, reduced Krull monoids, inverse monoids and free monoids. In all these categories, the kernel of (Formula presented.) is simply the embedding of the submonoid (Formula presented.) into M, but a complete characterization of kernels in these categories is not always trivial, and leads to interesting related notions.

Equalizers and kernels in categories of monoids

FACCHINI, ALBERTO;Rodaro, Emanuele
2017

Abstract

In dealing with monoids, the natural notion of kernel of a monoid morphism (Formula presented.) between two monoids M and N is that of the congruence (Formula presented.) on M defined, for every (Formula presented.), by (Formula presented.) if (Formula presented.). In this paper, we study kernels and equalizers of monoid morphisms in the categorical sense. We consider the case of the categories of all monoids, commutative monoids, cancellative commutative monoids, reduced Krull monoids, inverse monoids and free monoids. In all these categories, the kernel of (Formula presented.) is simply the embedding of the submonoid (Formula presented.) into M, but a complete characterization of kernels in these categories is not always trivial, and leads to interesting related notions.
File in questo prodotto:
File Dimensione Formato  
Equalizers-kernels i Monoids.pdf

Accesso riservato

: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 486.33 kB
Formato Adobe PDF
486.33 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11311/1036139
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact