Abstract
We study the so-called “Smith is Huq” condition in the context of S-protomodular categories: two S-equivalence relations centralise each other if and only if their associated normal subobjects commute. We prove that this condition is satisfied by every category of monoids with operations equipped with the class S of Schreier split epimorphisms. Some consequences in terms of characterisation of internal structures are explored.
Similar content being viewed by others
References
Borceux, F., Bourn, D.: Mal’cev, protomodular, homological and semi-abelian categories, Mathematics and its applications, vol. 566. Kluwer (2004)
Bourn, D.: Normalization equivalence, kernel equivalence and affine categories, Springer. Lect. Notes Math. 1488, 43–62 (1991)
Bourn, D.: Mal’cev, categories fibration of pointed objects. Appl. Categorical Structures 4, 307–327 (1996)
Bourn, D.: On the monad of internal groupoids. Theory Appl. Categories 28, 150–165 (2013)
Bourn, D., Gran, M.: Centrality and connectors in Maltsev categories. Algebra Univers. 48, 309–331 (2002a)
Bourn, D., Gran, M.: Centrality and normality in protomodular categories. Theory Appl. Categories 9, 151–165 (2002b)
Bourn, D., Martins-Ferreira, N., Montoli, A., Sobral, M.: Schreier split epimorphisms in monoids and in semirings, Textos de Matemática (Série B), Departamento de Matemática da Universidade de Coimbra, vol. 45 (2013)
Bourn, D., Martins-Ferreira, N., Montoli, A., Sobral, M.: Schreier split epimorphisms between monoids. Semigroup Forum 88, 739–752 (2014)
Bourn, D., Martins-Ferreira, N., Montoli, A., Sobral, M.: Monoids and pointed S-protomodular categories, submitted, preprint DMUC 14-04
Bourn, D., Martins-Ferreira, N., Van der Linden, T.: A characterisation of the “Smith is Huq” condition in the pointed Mal’tsev setting. Cah. Topol. Géom. Différ. Catégor. LIV(4), 243–263 (2013)
Carboni, A., Lambek, J., Pedicchio, M.C.: Diagram chasing in Mal’cev categories. J. Pure Appl. Algebra 69, 271–284 (1991)
Carboni, A., Pedicchio, M.C., Pirovano, N.: Internal graphs and internal groupoids in Mal’cev categories. CMS Conference Proceedings 13, 97–109 (1992)
Huq, S.A.: Commutator, nilpotency and solvability in categories. Q. J. Math 19 (2), 363–389 (1968)
Janelidze, G., Márki, L., Tholen, W.: Semi-abelian categories. J. Pure Appl. Algebra 168, 367–386 (2002)
Jónsson, B., Tarski, A.: Direct decompositions of finite algebraic systems. Notre Dame Mathematical Lectures, Notre Dame, Indiana (1947)
Mantovani, S., Metere, G.: Internal crossed modules and Peiffer condition. Theory Appl. Categories 23, 113–135 (2010)
Martins-Ferreira, N., Montoli, A., Sobral, M.: Semidirect products and crossed modules in monoids with operations. J. Pure Appl. Algebra 217, 334–347 (2013)
Martins-Ferreira, N., Montoli, A., Sobral, M.: Semidirect products and Split Short Five Lemma in normal categories. Appl. Categorical Structures 22, 687–697 (2014)
Martins-Ferreira, N., Van der Linden, T.: A note on the “Smith is Huq” condition. Appl. Categorical Structures 20, 175–187 (2012)
Martins-Ferreira, N., Van der Linden, T.: Further remarks on the “Smith is Huq” condition. Appl. Categorical Structures 23, 527–541 (2015)
Patchkoria, A.: Crossed semimodules and Schreier internal categories in the category of monoids. Georgian Math. Journal 5(6), 575–581 (1998)
Pedicchio, M.C.: A categorical approach to commutator theory. J. Algebra 177, 647–657 (1995)
Porter, T.: Extensions, crossed modules and internal categories in categories of groups with operations. Proc. Edinb. Math. Soc. 30, 373–381 (1987)
Smith, J.D.H.: Mal’cev varieties, Lecture Notes in Mathematics, vol. 554. Springer (1976)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Martins-Ferreira, N., Montoli, A. On the “Smith is Huq” Condition in S-Protomodular Categories. Appl Categor Struct 25, 59–75 (2017). https://doi.org/10.1007/s10485-015-9411-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-015-9411-1
Keywords
- Smith-Pedicchio centralising relations
- Huq commuting morphisms
- S-protomodular categories
- Monoids with operations
- Schreier split epimorphisms