Let an arbitrary variety of algebras and the category of all free finitely generated algebras in that variety be given. This paper is the second in a series of papers started in [Algebra and Logic, 61, No. 1, 1-15 (2022)] where we deal with automorphisms of the category of free finitely generated algebras. Here we describe in detail a method of verbal operations. The method provides a characterization of automorphisms of the category of all free finitely generated algebras in a given variety. The characterization plays a crucial role in universal algebraic geometry. We supply the reader with illuminating examples which clarify the method.
Similar content being viewed by others
References
B. Plotkin, “Seven lectures on universal algebraic geometry,” Contemp. Math., 726, 143-215 (2019).
B. Plotkin, “Algebras with the same (algebraic) geometry,” Trudy MIAN, 242, Moscow, Nauka (2003), pp. 176-207.
B. Plotkin and E. Plotkin, “Multi-sorted logic and logical geometry: some problems,” Demonstr. Math., 48, No. 4, 578-619 (2015).
E. Yu. Daniyarova, A. G. Myasnikov, and V. N. Remeslennikov, Algebraic Geometry over Algebraic Structures [in Russian], SO RAN, Novosibirsk (2016).
B. Plotkin and G. Zhitomirski, “Automorphisms of categories of free algebras of some varieties,” J. Alg., 306, No. 2, 344-367 (2006).
A. Tsurkov, “Automorphic equivalence of algebras,” Int. J. Alg. Comput., 17, Nos. 5/6, 1263- 1271 (2007).
A. Tsurkov, “Automorphic equivalence of many-sorted algebras,” Appl. Categ. Struct., 24, No. 3, 209-240 (2016).
E. V. Aladova, “Automorphisms of the category of free finitely generated algebras,” Algebra and Logic, 61, No. 1, 1-15 (2022).
S. Mac Lane, Categories for the Working Mathematician, Grad. Texts Math., 5, Springer- Verlag, New York (1971).
A. Tsurkov, “Automorphic equivalence in the classical varieties of linear algebras,” Int. J. Alg. Comput., 27, No. 8, 973-999 (2017).
G. Mashevitzky and B. M. Schein, “Automorphisms of the endomorphism semigroup of a free monoid or a free semigroup,” Proc. Am. Math. Soc., 131, No. 6, 1655-1660 (2003).
G. Mashevitzky, B. M. Schein, and G. I. Zhitomirski, “Automorphisms of the endomorphism semigroup of a free inverse semigroup,” Comm. Alg., 34, No. 10, 3569-3584 (2006).
E. S. Lyapin, Semigroups [in Russian], Gos. Izd. Fiz.-Mat. Lit., Moscow (1960).
G. Mashevitzky and B. I. Plotkin, “On automorphisms of the endomorphism semigroup of a free universal algebra,” Int. J. Alg. Comput., 17, Nos. 5/6, 1085-1106 (2007).
A. G. Kurosh, Group Theory [in Russian], Nauka, Moscow (1967).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 61, No. 2, pp. 127-149, March-April, 2022. Russian DOI: https://doi.org/10.33048/alglog.2022.61.201.
To the 95th birthday of my teacher B. I. Plotkin
E. V. Aladova is supported by the ISF grants 1623/16, 1994/20, and by Gelbart Institute for Mathematical Sciences, Department of Mathematics, Bar-Ilan University, Israel
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Aladova, E.V. Method of Verbal Operations and Automorphisms of the Category of Free Algebras. Algebra Logic 61, 87–103 (2022). https://doi.org/10.1007/s10469-022-09679-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-022-09679-7