On the ``Smith is Huq'' condition in \(S\)-protomodular categories
type: Item
instance of: scholarly article
title: On the ``Smith is Huq'' condition in \(S\)-protomodular categories
zbMATH Open document ID: 1360.18013
author: Nelson Martins-Ferreira
author: Andrea Montoli
published in: Applied Categorical Structures
publication date: 2017-03-08T00:00:00Z
review text: The authors investigate the ``Smith is Huq'' condition in the context of \(S\)-protomodular categories. These are defined as follows. A point in a pointed finitely complete category is a pair \((f,s)\) of morphisms such that \(fs=1\). The class of points determines a fibration (the functor associating to each point its codomain). Taking a class \(S\) of points stable under pull-backs determines a subfibration. A category \(\mathbb C\) is \(S\)-protomodular if any object in the full subcategory of points of \(\mathbb C\) whose objects are in \(S\) is a strongly split epimorphism, and the set of such points is closed under finite limits. In particular, the category of monoids with operations is \(S\)-protomodular for \(S\) the class of Schreier split epimorphisms. The ``Smith is Huq'' condition is: any two equivalence relations centralise each other in the Smith-Pedicchio sense [\textit{M. C. Pedicchio}, J. Algebra 177, No. 3, 647--657 (1995; Zbl 0843.08004)] if and only if their normalisations commute in the \textit{S. A. Huq} sense [Q. J. Math., Oxf. II. Ser. 19, 363--389 (1968; Zbl 0165.03301)]. The authors study the Smith is Huq condition in the \(S\)-relative context and compare it with others, concerning properties of internal reflexive graphs and of the kernel-functor. Some of these fail in the \(S\)-relative context. The authors also prove that the \(S\)-relative Smith is Huq condition holds if \(S\) is the class of Schreier split epimorphisms in any category of monoids with operations. Finally, they describe some consequences of the Smith is Huq condition in terms of internal categories and groupoids.
reviewed by: Nadia Mazza
Mathematics Subject Classification ID: 18D35
Mathematics Subject Classification ID: 18G50
Mathematics Subject Classification ID: 20J15
zbMATH DE Number: 6692920
zbMATH Keywords: Smith-Pedicchio centralising relations
zbMATH Keywords: Huq commuting morphisms
zbMATH Keywords: \(S\)-protomodular categories
zbMATH Keywords: monoids with operations
zbMATH Keywords: Schreier split epimorphisms
MaRDI profile type: Publication
full work available at URL: s10485-015-9411-1
OpenAlex ID: W2204240249
cites work: Q4827951
cites work: Q3978968
cites work: Mal'cev categories and fibration of pointed objects
cites work: On the monad of internal groupoids
cites work: Centrality and connectors in Maltsev categories.
cites work: Centrality and normality in protomodular categories
cites work: Q5397330
cites work: Schreier split epimorphisms between monoids.
cites work: Monoids and pointed \(S\)-protomodular categories
cites work: Q5747098
cites work: Diagram chasing in Mal'cev categories
cites work: Q3137145
cites work: COMMUTATOR, NILPOTENCY, AND SOLVABILITY IN CATEGORIES
cites work: Semi-abelian categories
cites work: Q5802109
cites work: Q3552035
cites work: Semidirect products and crossed modules in monoids with operations
cites work: Semidirect products and split short five lemma in normal categories
cites work: A note on the ``Smith is Huq'' condition
cites work: Further remarks on the ``Smith is Huq'' condition
cites work: Q4227975
cites work: A categorical approach to commutator theory
cites work: Extensions, crossed modules and internal categories in categories of groups with operations
cites work: Mal'cev varieties
DOI: 10.1007/S10485-015-9411-1
Recommended article: Further remarks on the ``Smith is Huq'' condition
Recommended article: On some categorical-algebraic conditions in S-protomodular categories
Recommended article: A new approach to S-protomodular categories
Recommended article: Monoids and pointed \(S\)-protomodular categories
Recommended article: Intrinsic Schreier split extensions
Recommended article: Q4490684
Recommended article: Q5431509
Recommended article: Q5032475
Recommended article: Normal subobjects and abelian objects in protomodular categories
Recommended article: Q3552038
description: scientific article; zbMATH DE number 6692920