New algebraic invariants for definable subsets in universal algebra. (English. Russian original) Zbl 1260.08003
Algebra Logic 50, No. 2, 146-160 (2011); translation from Algebra Logika 50, No. 2, 209-230 (2011).
Summary: We consider problems of comparing universal algebras with respect of their conditional algebraic geometries. Such comparisons admit a quite natural algebraic interpretation. Geometric scales for varieties of algebras constructed based on these relations are a natural tool for classifying varieties of algebras, discriminator varieties in particular.
Keywords:
variety of algebras; conditional algebraic geometries; geometric scales of varieties; discriminator varietiesReferences:
| [1] | I. R. Shafarevich, Foundations of Algebraic Geometry [in Russian], Nauka, Moscow (1972). · Zbl 0204.21301 |
| [2] | R. Hartshorne, Algebraic Geometry, Springer-Verlag, York (1977). |
| [3] | B. I. Plotkin, ”Some notions of algebraic geometry in universal algebra,” Algebra An., 9, No. 4, 224–248 (1997). · Zbl 0920.08002 |
| [4] | B. I. Plotkin, ”Some results and problems related to universal algebraic geometry,” Int. J. Alg. Comp., 17, Nos. 5/6, 1133–1164 (2007). · Zbl 1154.08001 · doi:10.1142/S0218196707003986 |
| [5] | G. Baumslag, A. Myasnikov, and V. Remeslennikov, ”Algebraic geometry over groups. I: Algebraic sets and ideal theory,” J. Alg., 219, No. 1, 16–79 (1999). · Zbl 0938.20020 · doi:10.1006/jabr.1999.7881 |
| [6] | A. Myasnikov and V. N. Remeslennikov, ”Algebraic geometry over groups. II. Logical foundations,” J. Alg., 234, No. 1, 225–276 (2000). · Zbl 0970.20017 · doi:10.1006/jabr.2000.8414 |
| [7] | E. Daniyarova, A. Myasnikov, and V. Remeslennikov, ”Unification theorems in algebraic geometry,” in Aspects of Infinite Groups, Algebra Discr. Math. (Hackensack), 1, World Sci., Hackensack, NJ (2008), pp. 80–111. · Zbl 1330.08003 |
| [8] | É. Daniyarova, A. Miasnikov, and V. Remeslennikov, ”Algebraic geometry over algebraic structures. II: Foundations,” submitted to J. Alg.; arXiv:1002.3562v2 [math.AG]. |
| [9] | B. Plotkin and G. Zhitomirski, ”Some logical invariants of algebras and logical relations between algebras,” Algebra and Analysis, 19, No. 5, 214–245 (2007). · Zbl 1206.08004 |
| [10] | B. Plotkin, ”Unityped algebras,” preprint. |
| [11] | A. G. Pinus, ”Conditional terms and their applications in algebra and computation theory,” Usp. Mat. Nauk, 56, No. 4(340), 35–72 (2001). · Zbl 1023.08006 · doi:10.4213/rm415 |
| [12] | A. G. Pinus, Conditional Terms and Their Applications in Algebra and Computation Theory [in Russian], NGTU, Novosibirsk (2002). · Zbl 1023.08006 |
| [13] | A. G. Pinus, ”Geometric scales for varieties of algebras and quasi-identities,” Mat. Trudy, 12, No. 2, 160–169 (2009). · Zbl 1249.08011 |
| [14] | S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer, Berlin (1981). |
| [15] | V. A. Artamonov, V. N. Salii, L. A. Skornyakov, et al., General Algebra [in Russian], Vol. 2, Nauka, Moscow (1991). · Zbl 0768.00004 |
| [16] | A. G. Pinus, Foundations of Universal Algebra [in Russian], NGTU, Novosibirsk (2005). · Zbl 1010.08001 |
| [17] | V. A. Gorbunov, Algebraic Theory of Quasivarieties, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1999). · Zbl 0986.08002 |
| [18] | V. V. Bludov and B. V. Gusev, ”Geometric equivalence of groups,” Trudy Inst. Mat. Mekh. UrO RAN, 13, No. 1, 56–77 (2007). · Zbl 1238.20042 |
| [19] | A. G. Pinus, ”Algebra that is isomorphic to any of its nonempty subalgebras,” Vestnik NGU, Mat., Mekh., Inf., 9, No. 3, 115–119 (2009). · Zbl 1249.08005 |
| [20] | A. G. Pinus, ”Geometrically similar algebras,” in Algebra and the Model Theory, 8, NGTU, Novosibirsk (2009), pp. 85–95. · Zbl 1210.08002 |
| [21] | A. G. Pinus, Boolean Constructions in Universal Algebra, Kluwer, Dordrecht (1993). · Zbl 0792.08001 |
| [22] | A. G. Pinus, ”Boolean constructions in universal algebra,” Usp. Mat. Nauk, 47, No. 4(286), 145–180 (1992). · Zbl 0792.08002 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
