Normality for monoid monomorphisms

DOI10.1016/J.INDAG.2023.03.007MaRDI QIDQ6057045zbMATH OpenOpenAlexFDO

Authors Nelson Martins-Ferreira, Manuela Sobral

Publication date 25 October 2023

Published in Indagationes Mathematicae. New Series (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://arxiv.org/abs/2210.03490

zbMATH Keywords

positive conesclotsnormal subobjectsinternal binary relationssyntactic relationszero-classes

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Ordered semigroups and monoids (06F05) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Connections of semigroups with homological algebra and category theory (20M50) Semigroups (20M99) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Special properties of functors (faithful, full, etc.) (18A22)

Abstract: In the category of monoids we characterize monomorphisms that are normal, in an appropriate sense, to internal reflexive relations, preorders or equivalence relations. The zero-classes of such internal relations are first described in terms of convenient syntactic relations associated to them and then through the adjunctions associated with the corresponding normalization functors. The largest categorical equivalences induced by these adjunctions provide an equivalence between the categories of relations generated by their zero-classes and the ones of monomorphisms that we suggest to call {normal with respect to} the internal relations considered. This idea, although being transverse to the literature in the field, has not in our opinion been presented and explored in full generality. The existence of adjoints to the normalization functors permits developing a theory of normal monomorphisms, thus extending many results from groups and protomodular categories to monoids and unital categories.

Recommendations

• Normal submonoids and congruences on a monoid
• Normal subobjects and abelian objects in protomodular categories
• Bourn-normal monomorphisms in regular Mal'tsev categories
• Equalizers and kernels in categories of monoids
• scientific article; zbMATH DE number 4065311

Cites work

• scientific article; zbMATH DE number 3770955 (Why is no real title available?)
• scientific article; zbMATH DE number 98750 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• A note on the categorical notions of normal subobject and of equivalence class
• Bourn-normal monomorphisms in regular Mal'tsev categories
• Dedekind Finite Rings and a Theorem of Kaplansky
• Equalizers and kernels in categories of monoids
• Ideals and clots in pointed regular categories
• Ideals and clots in universal algebra and in semi-abelian categories
• Normal subobjects and abelian objects in protomodular categories
• Schreier split extensions of preordered monoids
• What is an ideal a zero-class of?

Cited in

(1)

• Normal submonoids and congruences on a monoid

This page was built for publication: Normality for monoid monomorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6057045)