We consider problems of comparing universal algebras in respect of their conditional algebraic geometries. Such comparisons admit of a quite natural algebraic interpretation. Geometric scales for varieties of algebras constructed based on these relations are a natural tool for classifying the varieties of algebras, discriminator varieties in particular.
Similar content being viewed by others
References
I. R. Shafarevich, Foundations of Algebraic Geometry [in Russian], Nauka, Moscow (1972).
R. Hartshorne, Algebraic Geometry, Springer-Verlag, York (1977).
B. I. Plotkin, “Some notions of algebraic geometry in universal algebra,” Algebra An., 9, No. 4, 224–248 (1997).
B. I. Plotkin, “Some results and problems related to universal algebraic geometry,” Int. J. Alg. Comp., 17, Nos. 5/6, 1133–1164 (2007).
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).
A. Myasnikov and V. N. Remeslennikov, “Algebraic geometry over groups. II. Logical foundations,” J. Alg., 234, No. 1, 225–276 (2000).
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.
É. Daniyarova, A. Miasnikov, and V. Remeslennikov, “Algebraic geometry over algebraic structures. II: Foundations,” submitted to J. Alg.; arXiv:1002.3562v2 [math.AG].
B. Plotkin and G. Zhitomirski, “Some logical invariants of algebras and logical relations between algebras,” Algebra and Analysis, 19, No. 5, 214–245 (2007).
B. Plotkin, “Unityped algebras,” preprint.
A. G. Pinus, “Conditional terms and their applications in algebra and computation theory,” Usp. Mat. Nauk, 56, No. 4(340), 35–72 (2001).
A. G. Pinus, Conditional Terms and Their Applications in Algebra and Computation Theory [in Russian], NGTU, Novosibirsk (2002).
A. G. Pinus, “Geometric scales for varieties of algebras and quasi-identities,” Mat. Trudy, 12, No. 2, 160–169 (2009).
S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer, Berlin (1981).
V. A. Artamonov, V. N. Salii, L. A. Skornyakov, et al., General Algebra [in Russian], Vol. 2, Nauka, Moscow (1991).
A. G. Pinus, Foundations of Universal Algebra [in Russian], NGTU, Novosibirsk (2005).
V. A. Gorbunov, Algebraic Theory of Quasivarieties, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1999).
V. V. Bludov and B. V. Gusev, “Geometric equivalence of groups,” Trudy Inst. Mat. Mekh. UrO RAN, 13, No. 1, 56–77 (2007).
A. G. Pinus, “Algebra that is isomorphic to any of its nonempty subalgebras,” Vestnik NGU, Mat., Mekh., Inf., 9, No. 3, 115–119 (2009).
A. G. Pinus, “Geometrically similar algebras,” in Algebra and the Model Theory, 8, NGTU, Novosibirsk (2009), pp. 85–95.
A. G. Pinus, Boolean Constructions in Universal Algebra, Kluwer, Dordrecht (1993).
A. G. Pinus, “Boolean constructions in universal algebra,” Usp. Mat. Nauk, 47, No. 4(286), 145–180 (1992).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 50, No. 1, pp. 209–230, March-April, 2010.
Rights and permissions
About this article
Cite this article
Pinus, A.G. New algebraic invariants for definable subsets in universal algebra. Algebra Logic 50, 146–160 (2011). https://doi.org/10.1007/s10469-011-9129-6
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-011-9129-6