Abstract
This paper belongs to our series of works on algebraic geometry over arbitrary algebraic structures. In this one, there will be investigated seven equivalences (namely: geometric, universal geometric, quasi-equational, universal, elementary, and combinations thereof) in specific classes of algebraic structures (equationally Noetherian, qω-compact, uω-compact, equational domains, equational co-domains, etc.). The main questions are the following: (1) Which equivalences coincide inside a given class K, which do not? (2) With respect to which equivalences a given class K is invariant, with respect to which it is not?
Similar content being viewed by others
References
A. Berzins, “Geometrical equivalence of algebras,” Internat. J. Algebra Comput., 11, No. 4, 447–456 (2001).
E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Unification theorems in algebraic geometry,” Algebra Discrete Math., 1, 80–112 (2008).
E. Yu. Daniyarova, A. G. Myasnikov, and V. N. Remeslennikov, “Algebraic geometry over algebraic structures. IV. Equational domains and codomains,” Algebra Logic, 49, No. 6, 483–508 (2010).
E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over algebraic structures. III. Equationally Noetherian property and compactness,” Southeast Asian Bull. Math., 35, No. 1, 35–68 (2011).
E. Yu. Daniyarova, A. G. Myasnikov, and V. N. Remeslennikov, “Universal algebraic geometry,” Dokl. Math., 84, No. 1,, 545–547 (2011).
E. Yu. Daniyarova, A. G. Myasnikov, and V. N. Remeslennikov, “Algebraic geometry over algebraic structures. II. Foundations,” J. Math. Sci., 185, No. 3, 389–416 (2012).
E. Yu. Daniyarova, A. G. Myasnikov, and V. N. Remeslennikov, “Algebraic geometry over algebraic structures. V. The case of arbitrary signature,” Algebra Logic, 51, No. 1, 28–40 (2012).
E. Yu. Daniyarova, A. G. Myasnikov, and V. N. Remeslennikov, “The dimension in universal algebraic geometry,” Dokl. Math., 457, No. 3,, 265–267 (2014).
E. Yu. Daniyarova, A. G. Myasnikov, and V. N. Remeslennikov, “Algebraic geometry over algebraic structures. VI. Geometrical equivalence,” Algebra Logika, 56, No. 4, 421–442 (2017).
E. Yu. Daniyarova, A. G. Myasnikov, and V. N. Remeslennikov, “Universal geometrical equivalence of algebraic structures in the same language,” Sib. Mat. Zh., 58, No. 5, 1035–1050 (2017).
V. A. Gorbunov, Algebraic Theory of Quasivarieties, Plenum, 1998.
R. Göbel and S. Shelah, “Radicals and Plotkin’s problem concerning geometrically equivalent groups,” Proc. Amer. Math. Soc., 130, No. 3, 673–674 (2002).
G. Grätzer and H. Lakser, “A note on implicational class generated by class of structures,” Can. Math. Bull., 16, No. 4, 603–605 (1973).
A. Myasnikov and V. Remeslennikov, “Algebraic geometry over groups II. Logical foundations,” J. Algebra, 234, No. 1, 225–276 (2000).
B. I. Plotkin, Seven Lectures on the Universal Algebraic Geometry, preprint, ar**v:math/0204245 [math.GM] (2002).
B. Plotkin, “Algebras with the same (algebraic) geometry,” Proc. Steklov Inst. Math., 242, 165–196 (2003).
B. I. Plotkin, “Problems in algebra inspired by universal algebraic geometry,” J. Math. Sci., 139, No. 4, 6780–6791 (2006).
B. I. Plotkin, “Geometrical equivalence, geometrical similarity, and geometrical compatibility of algebras,” J. Math. Sci., 140, No. 5, 716–728 (2007).
B. Plotkin and A. Tsurkov, “Action type geometrical equivalence of representations of groups,” Algebra Discrete Math., 4, 48–79 (2005).
B. Plotkin and G. Zhitomirski, “Some logical invariants of algebras and logical relations between algebras,” St. Peterburg Math. J., 19, No. 5, 829–852 (2008).
A. N. Shevlyakov, “Commutative idempotent semigroups at the service of universal algebraic geometry,” Southeast Asian Bull. Math., 35, No. 1, 111–136 (2011).
A. N. Shevlyakov, “On elementary and geometric equivalencies of equational co-domains,” Fundam. Prikl. Mat., 22, No. 4, 229–238 (2019).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 22, No. 4, pp. 75–100, 2019.
Rights and permissions
About this article
Cite this article
Daniyarova, E.Y., Myasnikov, A.G. & Remeslennikov, V.N. Algebraic Geometry over Algebraic Structures. VIII. Geometric Equivalences and Special Classes of Algebraic Structures. J Math Sci 257, 797–813 (2021). https://doi.org/10.1007/s10958-021-05520-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-021-05520-1