Abstract
Let \({\mathcal {V}}\) be a variety of algebras of some type \(\Omega \). An interest to describing automorphisms of the category \(\Theta ^0 ({\mathcal {V}})\) of finitely generated free \({\mathcal {V}}\)-algebras was inspired by development of universal algebraic geometry founded by B. Plotkin. There are a lot of results on this subject. A common method of getting such results was suggested and applied by B. Plotkin and the author. The method is to find all terms in the language of a given variety which determine such \(\Omega \)-algebras that are isomorphic to a given \(\Theta ^0 ({\mathcal {V}})\)-algebra and have the same underlying set with it. But this method can be applied only to automorphisms which take all objects to isomorphic ones. The aim of the present paper is to suggest another method which works in more general setting. This method is based on two main theorems. The first of them gives a general description of automorphisms of categories which are supplied with a faithful representative functor into the category of sets. The second one shows how to obtain the full description of automorphisms of the category \(\Theta ^0 ({\mathcal {V}})\). This part of the paper ends with two examples. The first of them shows the preference of our method in a known situation (the variety of all semigroups) and the second one demonstrates obtaining new results (the variety of all modules over arbitrary ring with unit). The last section contains some applications to universal algebraic geometry.
Similar content being viewed by others
Data availability
Data sharing not applicable to this article as datasets were neither generated nor analysed.
References
Aladova, E.: Automorphisms of the category of free finitely generated algebras. Algebra and Logic 61, 1–15 (2022)
Aladova, E.: Method of verbal operations and automorphisms of category of free algebras. In: Algebra and Logic (in press) (2022)
Belov-Kanel, A., Lipyanski, R.: Automorphisms of the endomorphism semigroup of a polynomial algebra. J. Algebra 333(1), 40–54 (2011)
Bukur, I., Deleanu, A. : Introduction to the theory of categories and functors. In: Pure and applied mathematics. A series of texts and monographs, vol. XIX, pp. 254. A Wiley-Interscience Publication, London-New York-Sydney (1968)
Grätzer, G.: Universal Algebra, 2nd edn. Springer-Verlag, New York-Berlin (1979)
Katsov, Y., Lipyanski, R., Plotkin, B.: Automorphisms of categories of free modules, free semimodules and free Lie modules. Communications in Algebra 35, 931–952 (2007)
Lipyanski, R., Plotkin, B.: Automorphisms of categories of free modules and free Lie algebras. Preprint. Arxiv:math.RA//0502212 (2005)
Mac Lane, S.: Categories for the Working Mathematician. In: Graduate Texts in Mathematics, 5, Springer-Verlag, New York-Berlin, (1971)
Mashevitzky, G., Plotkin, B., Plotkin, E.: Automorphisms of categories of free algebras of varieties. Electron. Res. Announc. Amer. Math. Soc. 8, 1–10 (2002)
Mashevitzky, G., Plotkin, B., Plotkin, E.: Automorphisms of the category of free Lie algebras. J. Algebra 282, 490–512 (2004)
Plotkin, B.: Varieties of algebras and algebraic varieties. Categories of algebraic varieties. In: Siberian Advanced Mathematics, Allerton Press, 7:2, pp.64 – 97 (1997)
Plotkin, B.: Algebras with the same (algebraic) geometry. Proc. Steklov Inst. Math. 242, 176–207 (2003)
Plotkin, B., Zhitomirski, G.: On automorphisms of categories of free algebras of some varieties. J. Algebra 306(2), 344–367 (2006)
Plotkin, B., Zhitomirski, G.: On automorphisms of categories of universal algebras. International Journal of Algebra and Computation 17(5 &6), 1115–1132 (2007)
Plotkin, B., Plotkin, E.: Multi-sorted logic and logical geometry: some problems. Demonstratio Math. 48(4), 577–618 (2015)
Plotkin, B.: Seven lectures on the universal algebraic geometry. In: Groups, Algebras and Identities. Contemporary Mathematics, 726, ed. Plotkin E., Amer Mathematical Soc, pp. 143–215 (2019)
Tsurkov, A.: Automorphisms of the category of the free nilpotent groups of the fixed class of nilpotency. Internat. J. Algebra Comput. 17(5–6), 1273–1281 (2007)
Tsurkov, A.: Automorphic equivalence of algebras. In: International Journal of Algebra and Computation. 17:5/6, 1263-1271 (2007)
Tsurkov, A.: Automorphic equivalence of linear algebras. In: Journal of Algebra and Its Applications, 13:7 14 pp. (2014),
Tsurkov, A.: Automorphic equivalence of many-sorted algebras. Appl. Categ. Struct. 24(3), 209–240 (2016). https://doi.org/10.1007/s10485-015-9394-y
Tsurkov, A.: Automorphic equivalence in the classical varieties of linear algebras. In: International Journal of Algebra and Computation, 27:8, 973-999 (2017)
Zhitomirski, G.: On automorphisms of categories. Preprint. ArXiv:math.GM3589936 (2021)
Acknowledgements
The author is pleased to thank [B. Plotkin] and E. Plotkin, R. Lipjansky and G. Mashevitsky for useful discussions and interesting suggestions. The author also thanks the reviewer, who did not only point out inaccuracies and unfortunate expressions in the text, but also suggested options for correcting them. All his comments and suggestions have been taken into account by the author.
Funding
No funding was received for conducting this study.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by Presented by R. Pöschel
To the blessed memory of Professor Boris Isaakovich Plotkin, a great mathematician and a splendid man to whom the author is deeply indebted.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Zhitomirski, G. On automorphisms of categories with applications to universal algebraic geometry. Algebra Univers. 84, 31 (2023). https://doi.org/10.1007/s00012-023-00829-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-023-00829-1
Keywords
- Variety of algebras
- Category
- Universal algebraic geometry
- Automorphisms of categories
- Modules over arbitrary rings