Log in

Algebraic Geometry over Algebraic Structures. VIII. Geometric Equivalences and Special Classes of Algebraic Structures

  • Published:
Journal of Mathematical Sciences Aims and scope Submit manuscript

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?

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

Access this article

Subscribe and save

Springer+ Basic
EUR 32.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.

Similar content being viewed by others

References

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

    Article  MathSciNet  Google Scholar 

  2. E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Unification theorems in algebraic geometry,” Algebra Discrete Math., 1, 80–112 (2008).

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  5. E. Yu. Daniyarova, A. G. Myasnikov, and V. N. Remeslennikov, “Universal algebraic geometry,” Dokl. Math., 84, No. 1,, 545–547 (2011).

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  8. E. Yu. Daniyarova, A. G. Myasnikov, and V. N. Remeslennikov, “The dimension in universal algebraic geometry,” Dokl. Math., 457, No. 3,, 265–267 (2014).

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  11. V. A. Gorbunov, Algebraic Theory of Quasivarieties, Plenum, 1998.

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

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  14. A. Myasnikov and V. Remeslennikov, “Algebraic geometry over groups II. Logical foundations,” J. Algebra, 234, No. 1, 225–276 (2000).

    Article  MathSciNet  Google Scholar 

  15. B. I. Plotkin, Seven Lectures on the Universal Algebraic Geometry, preprint, ar**v:math/0204245 [math.GM] (2002).

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

    MathSciNet  MATH  Google Scholar 

  17. B. I. Plotkin, “Problems in algebra inspired by universal algebraic geometry,” J. Math. Sci., 139, No. 4, 6780–6791 (2006).

    Article  MathSciNet  Google Scholar 

  18. B. I. Plotkin, “Geometrical equivalence, geometrical similarity, and geometrical compatibility of algebras,” J. Math. Sci., 140, No. 5, 716–728 (2007).

    Article  MathSciNet  Google Scholar 

  19. B. Plotkin and A. Tsurkov, “Action type geometrical equivalence of representations of groups,” Algebra Discrete Math., 4, 48–79 (2005).

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  21. A. N. Shevlyakov, “Commutative idempotent semigroups at the service of universal algebraic geometry,” Southeast Asian Bull. Math., 35, No. 1, 111–136 (2011).

    MathSciNet  MATH  Google Scholar 

  22. A. N. Shevlyakov, “On elementary and geometric equivalencies of equational co-domains,” Fundam. Prikl. Mat., 22, No. 4, 229–238 (2019).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to E. Yu. Daniyarova.

Additional information

Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 22, No. 4, pp. 75–100, 2019.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10958-021-05520-1

Navigation