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.
Buy single article
Instant access to the full article PDF.
Tax calculation will be finalised during checkout.
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
Tax calculation will be finalised during checkout.
G. Baumslag, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over groups,” J. Algebra, 219, 16–79 (1999).
G. Baumslag, A. Myasnikov, and V. Roman’kov, “Two theorems about equationally Noetherian groups,” J. Algebra, 194, 654–664 (1997).
A. Berzins, “Geometrical equivalence of algebras,” Internat. J. Algebra Comput., 11, No. 4, 447–456 (2001).
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).
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).
E. Formanek, “A question of B. Plotkin about the semigroup of endomorphisms of a free group,” Proc. Amer. Math. Soc., 130, 935–937 (2002).
R. Gobel and S. Shelah, “Radicals and Plotkin’s problem concerning geometrically equivalent groups,” Proc. Amer. Math. Soc., 130, 673–674 (2002).
V. Guba, “Equivalence of infinite systems of equations in free groups and semigroups to finite systems,” Math. Notes, 40, 688–690 (1986).
A. Lichtman and D. Passman, “Finitely generated simple algebras: A question of B. I. Plotkin,” Israel J. Math., 143, 341–359 (2004).
R. Lipyansky and B. Plotkin, “Automorphisms of categories of free modules and free Lie algebras,” to appear.
R. C. Lyndon and P. E. Shupp, Combinatorial Group Theory, Springer (1977).
A. I. Malcev, Algebraic Systems, North-Holland (1973).
G. Mashevitzky, “The group of automorphisms of the category of free associative algebras,” to appear.
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).
G. Mashevitzky, B. Plotkin, and E. Plotkin, Associative Algebras with the Same Algebraic Geometry, Preprint.
G. Mashevitzky, B. Plotkin, and E. Plotkin, “Automorphisms of categories of free Lie algebras,” J. Algebra 282, No. 2, 490–512 (2004).
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).
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.
A. Myasnikov and V. Remeslennikov, “Algebraic geometry over groups. I,” J. Algebra, 219, No. 1, 16–79 (1999).
B. I. Plotkin, “Varieties of group representations,” Russian Math. Surveys, 32, No. 5, 1–72 (1977).
B. Plotkin, “Some notions of algebraic geometry in universal algebra,” St. Petersburg Math. J., 9, No. 4, 859–879 (1998).
B. Plotkin, Seven Lectures on the Universal Algebraic Geometry, Preprint (2002), Arxiv:math, GM/0204245.
B. Plotkin, “Algebras with the same (algebraic) geometry,” Proc. Steklov Inst. Math., 242, 176–207 (2003).
B. Plotkin, “Action-type axiomatized classes of group representations,” to appear.
B. Plotkin and A. Tsurkov, “Action-type algebraic geometry in group representations,” to appear.
B. I. Plotkin and S. M. Vovsi, Varieties of Group Representations: General Theory, Connections and Applications [in Russian], Zinatne, Riga (1983).
S. M. Vovsi, Triangular Products of Group Representations and Their Applications, Birkhäuser (1981), Progress in Mathematics, Vol. 17.
S. M. Vovsi, Topics in Varieties of Group Representations, Cambridge Univ. Press, Cambridge (1991), London Math. Soc. Lecture Notes, Vol. 163.
Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 10, No. 3, pp. 181–197, 2004.
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
- Algebraic Geometry
- Algebraic Variety
- Associative Algebra
- Wreath Product
- Invariant Subgroup