Skip to main content
SpringerLink
Log in

Algebraic and logical geometries of universal algebras (a unified approach)

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

Abstract

Using the congruences of free algebras as well as the concepts of a conditional term and an implicit operation, a unifying method for studying algebraic and logically definable subsets of universal algebras is suggested. An overview of the results of the author in this field of research is included.

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

Access this article

Log in via an institution

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

References

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  3. V. Bludov and D. Gusev, “On geometrical equivalence of groups,” in: Algebra and Linear Optimization. Proc. Int. Sem. Devoted to the Ninetieth Birthday of S. N. Chernikov, Ekaterinburg (2002), pp. 59–65.

  4. E. Daniyarova, The Algebraic Geometry on the Free Metabelian Lie Algebras. III. Q-Algebras and Coordinate Algebras of Algebraic Sets, Publ. of OmGU, Omsk (2005).

  5. E. Daniyarova, “The base of algebraic geometry on the Lie algebras,” Vestn. OmGU, 8–39 (2007).

  6. E. Daniyarova, I. Kazachkov, and V. Remeslennikov, “The algebraic geometry on the free metabelian Lie algebras. I. U-algebras and universal classes,” Fundam. Prikl. Mat., 9, No. 3, 37–63 (2003).

    MATH  Google Scholar 

  7. E. Daniyarova, I. Kazachkov, and V. Remeslennikov, “The algebraic geometry on the free metabelian Lie algebras. II. The case of finite fields,” Fundam. Prikl. Mat., 9, No. 3, 65–87 (2003).

    MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  9. E. Daniyarova, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over algebraic structures. Foundations,” J. Algebra, to appear, arXiv:mathQAG/1002.3562 v2.

  10. E. Daniyarova and V. Remeslennikov, “The bounded algebraic geometry on the free Lie algebra,” Algebra Logika, 44, No. 3, 269–304 (2005).

    Article  MathSciNet  MATH  Google Scholar 

  11. S. Eilenberg and M. P. Schutzenberger, “On pseudovarieties,” Adv. Math., 19, No. 1, 413–418 (1976).

    Article  MathSciNet  MATH  Google Scholar 

  12. R. Göbel and S. Shelah, “Radicals and Plotkin’s problem concerning geometrically equivalent groups,” Proc. Am. Math. Soc., 130, No. 3, 673–674 (2002).

    Article  MATH  Google Scholar 

  13. Y. Katsov, “On geometrically equivalent S-acts,” Int. J. Algebra Comput., 17, No. 5/6, 1055–1065 (2007).

    Article  MathSciNet  MATH  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  MATH  Google Scholar 

  15. A. G. Pinus, “Boolean constructions in universal algebra,” Usp. Mat. Nauk, 47, No. 4, 145–180 (1992).

    MathSciNet  MATH  Google Scholar 

  16. A. G. Pinus, Boolean Constructions in Universal Algebra, Kluwer Academic, Dordrecht (1993).

    Google Scholar 

  17. A. G. Pinus, “Conditional terms and its applications to algebra and to the computations theory,” Usp. Mat. Nauk, 56, No. 4, 35–72 (2001).

    MathSciNet  Google Scholar 

  18. A. G. Pinus, Conditional Terms and Its Applications to Algebra and to the Computations Theory, Publ. of NGTU, Novosibirsk (2002).

    Google Scholar 

  19. A. G. Pinus, “On the ∃+-conditional varieties, on ∃+-pseudovarieties and implicit operations on it,” in: Algebra and Model Theory. 5 [in Russian], Publ. of NGTU, Novosibirsk (2005), pp. 139–161.

  20. A. G. Pinus, “The positive-conditional pseudovarieties and implicit operations on its,” Sib. Mat. Zh., 47, No. 2, 372–382 (2006).

    Article  MathSciNet  MATH  Google Scholar 

  21. A. G. Pinus, “On the geometrically nearly algebras,” in: Algebra and Model Theory. 8 [in Russian], Publ. of NGTU, Novosibirsk (2009), pp. 85–95.

  22. A. G. Pinus, “The geometrically scales of varieties and quasivarieties,” Mat. Tr., 12, No. 2, 160–169 (2009).

    MathSciNet  MATH  Google Scholar 

  23. A. G. Pinus, “The implicit operations on the categories of universal algebras,” Sib. Mat. Zh., 50, No. 1, 146–153 (2009).

    Article  MathSciNet  MATH  Google Scholar 

  24. A. G. Pinus, “New algebraic invariants of the definable subsets of universal algebras,” Algebra Logika, 50, No. 2, 209–230 (2011).

    Article  MathSciNet  Google Scholar 

  25. A. G. Pinus, “On ∞-quasivarieties,” Izv. Vyssh. Uchebn. Zaved., Mat., No 8, 40–45 (2011).

  26. A. G. Pinus, “Conditional geometric scales of discriminator varieties,” Sib. Math. J., 52, No. 3, 512–515 (2011).

    MathSciNet  MATH  Google Scholar 

  27. A. G. Pinus, “On the geometrically complete varieties,” Vestn. Novosibirsk. Univ., to appear.

  28. A. G. Pinus, “On the lattices of algebraic subsets of universal algebras,” to appear.

  29. A. G. Pinus, “The implicit algebraic geometry on the categories of universal algebras,” Sib. Mat. Zh., to appear.

  30. B. Plotkin, “Some notions of algebraic geometry in universal algebra,” Algebra Anal., 9, No. 4, 224–248 (1997).

    MathSciNet  Google Scholar 

  31. B. Plotkin, “Varieties of algebras and algebraic varieties. Categories of algebraic varieties,” Sib. Adv. Math., 7, No. 2, 64–97 (1997).

    MathSciNet  MATH  Google Scholar 

  32. B. Plotkin, Seven Lectures in Universal Algebraic Geometry, arXiv:mathRA/0502212 (2002).

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

    MathSciNet  Google Scholar 

  34. B. Plotkin, “Geometrical equivalence, geometrical similarity and geometrical computability of algebras,” Zap. Nauchn. Sem. S.-Peterburg. Otd. Mat. Inst. Steklova, 330, 201–222 (2006).

    MATH  Google Scholar 

  35. B. Plotkin, “Some results and problems related to universal algebraic geometry,” Int. J. Algebra Comput., 17, No. 5/6, 1133–1164 (2007).

    Article  MathSciNet  MATH  Google Scholar 

  36. B. Plotkin, “Unityped algebras,” Itogi Nauki Tekh. Ser. Sovrem. Probl. Mat., 15, 40–66 (2011).

    Article  Google Scholar 

  37. B. Plotkin, E. Plotkin, and A. Tsurkov, “Geometrical equivalence of groups,” Commun. Algebra, 24, 4015–4025 (1999).

    Article  MathSciNet  Google Scholar 

  38. B. Plotkin and G. Zitomirski, “Some logical invariants of algebras and logical relations between algebras,” Algebra Anal., 19, No. 5, 214–245 (2007).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Novosibirsk State Technical University, Novosibirsk, Russia

    A. G. Pinus

Authors
  1. A. G. Pinus
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. G. Pinus.

Additional information

Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 17, No. 1, pp. 189–204, 2011/12.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pinus, A.G. Algebraic and logical geometries of universal algebras (a unified approach). J Math Sci 185, 473–483 (2012). https://doi.org/10.1007/s10958-012-0929-6

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10958-012-0929-6

Keywords

Search

Navigation