Abstract
A new protomodular analog of the classical criterion for the existence of a group term in the algebraic theory of a variety of universal algebras is given. To this end, the notion of a right-cancellable protomodular algebra is introduced. The translation group functor from the category of right-cancellable algebras of a protomodular variety to the category of groups is constructed. It is proved that the algebraic theory of a variety of universal algebras contains a group term if and only if it contains protomodular terms with respect to which all algebras from the variety are right-cancellable. Moreover, the right-cancellable algebras from the simplest protomodular varieties are characterized as sets with principal group actions as well as groups with simple additional structures.
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 Academic Publishers, New York (2004)
Bĕlohlávek, R., Chajda, I.: Congruences and ideals in semiloops. Acta Sci. Math. (Szeged) 59, 43–47 (1994)
Borceux, F., Clementino, M.M.: Topological semi-abelian algebras. Adv. Math. 190, 425–453 (2005)
Borceux, F., Clementino, M.M.: Topological protomodular algebras. Topology and Its Appl. 153, 3085–3100 (2006)
Bourn, D.: Normalization equivalence, kernel equivalence and affine categories. In: Category Theory (Proceedings of the International Conference held in Como, Italy, July 22–28, 1990). Lecture notes in Math., 1448, 43–62 (1991)
Bourn, D., Janelidze, G.: Characterization of protomodular varieties of universal algebra. Theory Appl. Categ. 11, 143–147 (2002)
Certaine, J.: The ternary operation \((abc)=ab^{-1}c\) of a group. Bull. Amer. Math. Soc. 49, 869–877 (1943)
Fraleigh, J.B.: A First Course in Abstract Algebra, 7th edn. University of Rhode Island, Pearson (2003)
Gumm, P., Ursini, A.: Ideals in universal algebras. Algebra Universalis 19, 45–54 (1984)
Janelidze, G., Márki, L., Tholen, W.: Semi-abelian categories. J. Pure Appl. Algebra 168, 367–386 (2002)
Johnstone, P.T.: A note on the semiabelian variety of Heyting semilattices. In: Galois theory, Hopf algebras, and Semiabelian categories. Fields Inst. Commun. 43, 317–318. American Mathematical Society, Providence, Rhode Island (2004)
Johnstone, P.T., Pedicchio, M.C.: Remarks on continuous Mal’cev algebras. Rend. Inst. Mat. Univ. Trieste. 25, 277–287 (1995)
Ursini, A.: Osservazioni sulla varietá BIT. Boll. Un. Mat. Ital. 8, 205–211 (1973)
Ursini, A.: On subtractive varieties. I. Algebra Universalis 31, 204–222 (1994)
Zangurashvili, D.: Associativity-like conditions on protomodular algebras. Algebra Universalis 81, 1 (2020)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Presented by Peter Gumm.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Financial support from Shota Rustaveli National Science Foundation of Georgia (Ref.: FR-18-10849) is gratefully acknowledged.
Rights and permissions
About this article
Cite this article
Zangurashvili, D. Right-cancellable protomodular algebras. Algebra Univers. 83, 10 (2022). https://doi.org/10.1007/s00012-021-00747-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-021-00747-0