Two characterisations of groups amongst monoids

DOI10.1016/J.JPAA.2017.05.005MaRDI QIDQ1678265zbMATH OpenOpenAlexFDO

Authors Andrea Montoli, Diana Rodelo, Tim Van der Linden

Publication date 14 November 2017

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

monoidcategorical algebraMalt'sev objectprotomodular object

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Categories of algebras (08C05) Category of groups (20J15) Categorical algebra (18E99)

Abstract: The aim of this paper is to solve a problem proposed by Dominique Bourn: to provide a categorical-algebraic characterisation of groups amongst monoids and of rings amongst semirings. In the case of monoids, our solution is given by the following equivalent conditions: (i) $G$ is a group; (ii) $G$ is a Mal'tsev object, i.e., the category of points over $G$ in the category of monoids is unital; (iii) $G$ is a protomodular object, i.e., all points over $G$ are stably strong. We similarly characterise rings in the category of semirings. On the way we develop a local or object-wise approach to certain important conditions occurring in categorical algebra. This leads to a basic theory involving what we call unital and strongly unital objects, subtractive objects, Mal'tsev objects and protomodular objects. We explore some of the connections between these new notions and give examples and counterexamples.

Recommendations

• A new characterisation of groups amongst monoids
• Semi-abelian categories
• On the monad of internal groupoids
• scientific article; zbMATH DE number 2068086
• From groups to categorial algebra. Introduction to protomodular and Mal'tsev categories

Cites work

• scientific article; zbMATH DE number 426299 (Why is no real title available?)
• scientific article; zbMATH DE number 19481 (Why is no real title available?)
• scientific article; zbMATH DE number 2149844 (Why is no real title available?)
• scientific article; zbMATH DE number 2118486 (Why is no real title available?)
• scientific article; zbMATH DE number 3353518 (Why is no real title available?)
• A categorical approach to commutator theory
• A criterion for reflectiveness of normal extensions
• A new characterisation of groups amongst monoids
• A structural aspect of the category of quandles
• Butterflies in a semi-abelian context
• COMMUTATOR, NILPOTENCY, AND SOLVABILITY IN CATEGORIES
• Diagram chasing in Mal'cev categories
• Groups with Multiple Operators
• Higher Hopf formulae for homology via Galois theory
• Higher central extensions and cohomology
• Intrinsic centrality and associated classifying properties
• Mal'cev categories and fibration of pointed objects
• Mal'cev varieties
• Monoids and pointed \(S\)-protomodular categories
• Normal Sections and Direct Product Decompositions
• Obstruction theory in action accessible categories
• On subtractive varieties. I
• On the ``Smith is Huq condition in \(S\)-protomodular categories
• On the monad of internal groupoids
• Schreier split epimorphisms between monoids.
• Schreier split epimorphisms in monoids and in semirings
• Semi-abelian categories
• Semidirect products and crossed modules in monoids with operations
• Semidirect products and split short five lemma in normal categories
• Some remarks on Maltsev and Goursat categories
• Subtractive categories
• Subtractive categories and extended subtractions
• The denormalized \(3{\times}3\) lemma
• The pointed subobject functor, \(3\times 3\) lemmas, and subtractivity of spans

Cited in

(21)

• On stability of exactness properties under the pro-completion
• Intrinsic Schreier special objects
• Internal monoids and groups in the category of commutative cancellative medial magmas
• Universal semigroups
• scientific article; zbMATH DE number 1209842 (Why is no real title available?)
• Torsion theories and coverings of preordered groups
• On the categorical behaviour of preordered groups
• On split extensions of preordered groups
• Recognizable subsets of the two letter plactic monoid
• Intrinsic Schreier split extensions
• On classification of semigroup rings
• On the categorical behaviour of \(V\)-groups
• Complete objects in categories
• A note on split extensions of bialgebras
• Torsion theories and coverings of \(V\)-groups
• Klein's group as a borromean object
• scientific article; zbMATH DE number 3902872 (Why is no real title available?)
• From groups to categorial algebra. Introduction to protomodular and Mal'tsev categories
• scientific article; zbMATH DE number 3955181 (Why is no real title available?)
• A new characterisation of groups amongst monoids
• scientific article; zbMATH DE number 4071170 (Why is no real title available?)

This page was built for publication: Two characterisations of groups amongst monoids

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