Skip to main content

Problems in algebra inspired by universal algebraic geometry

Abstract

Let Θ be a variety of algebras. In every variety Θ and every algebra H from Θ one can consider algebraic geometry in Θ over H. We also consider a special categorical invariant K Θ of this geometry. The classical algebraic geometry deals with the variety Θ = Com-P of all associative and commutative algebras over the ground field of constants P. An algebra H in this setting is an extension of the ground field P. Geometry in groups is related to the varieties Grp and Grp-G, where G is a group of constants. The case Grp-F, where F is a free group, is related to Tarski’s problems devoted to logic of a free group. The described general insight on algebraic geometry in different varieties of algebras inspires some new problems in algebra and algebraic geometry. The problems of such kind determine, to a great extent, the content of universal algebraic geometry. For example, a general and natural problem is: When do algebras H 1 and H 2 have the same geometry? Or more specifically, what are the conditions on algebras from a given variety Θ that provide the coincidence of their algebraic geometries? We consider two variants of coincidence: 1) K Θ(H 1) and K Θ(H 2) are isomorphic; 2) these categories are equivalent. This problem is closely connected with the following general algebraic problem. Let Θ0 be the category of all algebras W = W(X) free in Θ, where X is finite. Consider the groups of automorphisms Aunt(Θ0) for different varieties Θ and also the groups of autoequivalences of Θ0. The problem is to describe these groups for different Θ.

This is a preview of subscription content, access via your institution.

References

  1. 1.

    G. Baumslag, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over groups,” J. Algebra, 219, 16–79 (1999).

    MATH  MathSciNet  Article  Google Scholar 

  2. 2.

    G. Baumslag, A. Myasnikov, and V. Roman’kov, “Two theorems about equationally Noetherian groups,” J. Algebra, 194, 654–664 (1997).

    MATH  MathSciNet  Article  Google Scholar 

  3. 3.

    A. Berzins, “Geometrical equivalence of algebras,” Internat. J. Algebra Comput., 11, No. 4, 447–456 (2001).

    MATH  MathSciNet  Article  Google Scholar 

  4. 4.

    A. Berzins, B. Plotkin, and E. Plotkin, “Algebraic geometry in varieties of algebras with the given algebra of constants,” J. Math. Sci., 102, No. 3, 4039–4070 (2000).

    MATH  MathSciNet  Google Scholar 

  5. 5.

    J. Dyer and E. Formanek, “The automorphism group of a free group is complete,” J. London Math. Soc. (2), 11, No. 2, 181–190 (1975).

    MATH  MathSciNet  Google Scholar 

  6. 6.

    E. Formanek, “A question of B. Plotkin about the semigroup of endomorphisms of a free group,” Proc. Amer. Math. Soc., 130, 935–937 (2002).

    MATH  MathSciNet  Article  Google Scholar 

  7. 7.

    R. Gobel and S. Shelah, “Radicals and Plotkin’s problem concerning geometrically equivalent groups,” Proc. Amer. Math. Soc., 130, 673–674 (2002).

    MathSciNet  Article  Google Scholar 

  8. 8.

    V. Guba, “Equivalence of infinite systems of equations in free groups and semigroups to finite systems,” Math. Notes, 40, 688–690 (1986).

    MATH  MathSciNet  Google Scholar 

  9. 9.

    A. Lichtman and D. Passman, “Finitely generated simple algebras: A question of B. I. Plotkin,” Israel J. Math., 143, 341–359 (2004).

    MATH  MathSciNet  Google Scholar 

  10. 10.

    R. Lipyansky and B. Plotkin, “Automorphisms of categories of free modules and free Lie algebras,” to appear.

  11. 11.

    R. C. Lyndon and P. E. Shupp, Combinatorial Group Theory, Springer (1977).

  12. 12.

    A. I. Malcev, Algebraic Systems, North-Holland (1973).

  13. 13.

    G. Mashevitzky, “The group of automorphisms of the category of free associative algebras,” to appear.

  14. 14.

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

    MATH  MathSciNet  Article  Google Scholar 

  15. 15.

    G. Mashevitzky, B. Plotkin, and E. Plotkin, Associative Algebras with the Same Algebraic Geometry, Preprint.

  16. 16.

    G. Mashevitzky, B. Plotkin, and E. Plotkin, “Automorphisms of categories of free Lie algebras,” J. Algebra 282, No. 2, 490–512 (2004).

    MATH  MathSciNet  Article  Google Scholar 

  17. 17.

    G. Mashevitzky and B. Shein, “Automorphisms of the endomorphism semigroup of a free monoid or a free semigroup,” Proc. Amer. Math. Soc., 131, 1655–1660 (2003).

    MATH  MathSciNet  Article  Google Scholar 

  18. 18.

    R. McKenzie, “An algebraic version of categorical equivalence for varieties and more general algebraic categories,” in: Logic and Algebra (Pontignano, 1994), Marcel Dekker, New York (1996), Lectures Notes in Pure and Appl. Math., Vol. 180, pp. 211–243.

    Google Scholar 

  19. 19.

    A. Myasnikov and V. Remeslennikov, “Algebraic geometry over groups. I,” J. Algebra, 219, No. 1, 16–79 (1999).

    MATH  MathSciNet  Article  Google Scholar 

  20. 20.

    B. I. Plotkin, “Varieties of group representations,” Russian Math. Surveys, 32, No. 5, 1–72 (1977).

    MATH  MathSciNet  Article  Google Scholar 

  21. 21.

    B. Plotkin, “Some notions of algebraic geometry in universal algebra,” St. Petersburg Math. J., 9, No. 4, 859–879 (1998).

    MathSciNet  Google Scholar 

  22. 22.

    B. Plotkin, Seven Lectures on the Universal Algebraic Geometry, Preprint (2002), Arxiv:math, GM/0204245.

  23. 23.

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

    MATH  MathSciNet  Google Scholar 

  24. 24.

    B. Plotkin, “Action-type axiomatized classes of group representations,” to appear.

  25. 25.

    B. Plotkin and A. Tsurkov, “Action-type algebraic geometry in group representations,” to appear.

  26. 26.

    B. I. Plotkin and S. M. Vovsi, Varieties of Group Representations: General Theory, Connections and Applications [in Russian], Zinatne, Riga (1983).

    Google Scholar 

  27. 27.

    S. M. Vovsi, Triangular Products of Group Representations and Their Applications, Birkhäuser (1981), Progress in Mathematics, Vol. 17.

  28. 28.

    S. M. Vovsi, Topics in Varieties of Group Representations, Cambridge Univ. Press, Cambridge (1991), London Math. Soc. Lecture Notes, Vol. 163.

    MATH  Google Scholar 

Download references

Author information

Affiliations

Authors

Additional information

__________

Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 10, No. 3, pp. 181–197, 2004.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Plotkin, B.I. Problems in algebra inspired by universal algebraic geometry. J Math Sci 139, 6780–6791 (2006). https://doi.org/10.1007/s10958-006-0390-5

Download citation

Keywords

  • Algebraic Geometry
  • Algebraic Variety
  • Associative Algebra
  • Wreath Product
  • Invariant Subgroup