Skip to main content
Springer Nature Link
Log in

On automorphisms of categories with applications to universal algebraic geometry

  • Published:
Algebra universalis Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Data availability

Data sharing not applicable to this article as datasets were neither generated nor analysed.

References

  1. Aladova, E.: Automorphisms of the category of free finitely generated algebras. Algebra and Logic 61, 1–15 (2022)

    Article  MathSciNet  MATH  Google Scholar 

  2. Aladova, E.: Method of verbal operations and automorphisms of category of free algebras. In: Algebra and Logic (in press) (2022)

  3. Belov-Kanel, A., Lipyanski, R.: Automorphisms of the endomorphism semigroup of a polynomial algebra. J. Algebra 333(1), 40–54 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  4. 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)

  5. Grätzer, G.: Universal Algebra, 2nd edn. Springer-Verlag, New York-Berlin (1979)

    Book  MATH  Google Scholar 

  6. 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)

    Article  MathSciNet  MATH  Google Scholar 

  7. Lipyanski, R., Plotkin, B.: Automorphisms of categories of free modules and free Lie algebras. Preprint. Arxiv:math.RA//0502212 (2005)

  8. Mac Lane, S.: Categories for the Working Mathematician. In: Graduate Texts in Mathematics, 5, Springer-Verlag, New York-Berlin, (1971)

  9. Mashevitzky, G., Plotkin, B., Plotkin, E.: Automorphisms of categories of free algebras of varieties. Electron. Res. Announc. Amer. Math. Soc. 8, 1–10 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  10. Mashevitzky, G., Plotkin, B., Plotkin, E.: Automorphisms of the category of free Lie algebras. J. Algebra 282, 490–512 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  11. Plotkin, B.: Varieties of algebras and algebraic varieties. Categories of algebraic varieties. In: Siberian Advanced Mathematics, Allerton Press, 7:2, pp.64 – 97 (1997)

  12. Plotkin, B.: Algebras with the same (algebraic) geometry. Proc. Steklov Inst. Math. 242, 176–207 (2003)

    MathSciNet  MATH  Google Scholar 

  13. Plotkin, B., Zhitomirski, G.: On automorphisms of categories of free algebras of some varieties. J. Algebra 306(2), 344–367 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  14. Plotkin, B., Zhitomirski, G.: On automorphisms of categories of universal algebras. International Journal of Algebra and Computation 17(5 &6), 1115–1132 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  15. Plotkin, B., Plotkin, E.: Multi-sorted logic and logical geometry: some problems. Demonstratio Math. 48(4), 577–618 (2015)

    MathSciNet  MATH  Google Scholar 

  16. 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)

  17. 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)

    Article  MathSciNet  MATH  Google Scholar 

  18. Tsurkov, A.: Automorphic equivalence of algebras. In: International Journal of Algebra and Computation. 17:5/6, 1263-1271 (2007)

  19. Tsurkov, A.: Automorphic equivalence of linear algebras. In: Journal of Algebra and Its Applications, 13:7 14 pp. (2014),

  20. 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

    Article  MathSciNet  MATH  Google Scholar 

  21. Tsurkov, A.: Automorphic equivalence in the classical varieties of linear algebras. In: International Journal of Algebra and Computation, 27:8, 973-999 (2017)

  22. Zhitomirski, G.: On automorphisms of categories. Preprint. ArXiv:math.GM3589936 (2021)

Download references

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

  1. Department of Mathematics and Statistics, Bar-Ilan University, 52900, Ramat Gan, Israel

    Grigori Zhitomirski

Authors
  1. Grigori Zhitomirski
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Grigori Zhitomirski.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00012-023-00829-1

Keywords

Mathematics Subject Classification

Search

Navigation