Abstract
This paper is of an overview nature, accumulating results on algebraic geometry over Abelian groups and close to them model-theoretic results related to the description of principal universal classes and quasi-varieties.
Similar content being viewed by others
References
G. Baumslag, A. Myasnikov, and V. Remeslennikov, “Algebraic geometry over groups I. Algebraic sets and ideal theory,” J. Algebra, 219, 16–79 (1999).
G. Baumslag, A. Myasnikov, and V. Remeslennikov, “Discriminating and co-discriminating groups,” J. Group Theory, 3, No. 4, 467–479 (2000).
R. A. Beaumont and R. S. Pierce, Torsion Free Groups of Rank Two, Mem. Amer. Math. Soc., Amer. Math. Soc., Providence (1961).
E. Yu. Daniyarova, “Equational co-domains in the class of Abelian groups,” Vestn. Omsk. Univ., 23, No. 4, 25–29 (2018).
E. Yu. Daniyarova, A. G. Myasnikov, and V. N. Remeslennikov, Algebraic Geometry over Algebraic Structures [in Russian], Izd. SO RAN, Novosibirsk (2016).
E. Yu. Daniyarova and V. N. Remeslennikov, “Calculation of the coordinate group by a system of equations over an abelian group,” in: IEEE, 2018 Dynamics of Systems, Mechanisms and Machines (Dynamics), Omsk (2018), pp. 1–6.
D. Eisenbud, Commutative Algebra with a View Towards Algebraic Geometry, Graduate Texts Math., Vol. 150, Springer, Berlin (1995).
P. C. Eklof, “Some model theory of Abelian groups,” J. Symb. Logic, 37, No. 2, 335–342 (1972).
Yu. L. Ershov, Problems of Decidability and Constructive Models [in Russian], Nauka, Moscow (1980).
Yu. M. Fedoseeva, Algebraic Geometry over Abelian and Nilpotent Groups [in Russian], Ph.D. Thesis (1998).
A. A. Fomin, Torsion-Free Abelian Groups of Finite Rank up to Quasi-Isomorphism [in Russian], Ph.D. Thesis (1992).
L. Fuchs, Infinite Abelian groups, Vol. 1, Academic Press (1970).
L. Fuchs, Infinite Abelian groups, Vol. 2, Academic Press (1970).
V. A. Gorbunov, Algebraic Theory of Quasivarieties, Plenum (1998).
W. Hodges, Model Theory, Cambridge Univ. Press (1993).
B. Jónsson, “On direct decomposition of torsion free Abelian groups,” Math. Scand., 7, 361–371 (1959).
O. Kharlampovich and A. Myasnikov, “Irreducible affine varieties over free group I. Irreducibility of quadratic equations and Nullstellensatz,” J. Algebra, 200, No. 2, 472–516 (1998).
O. Kharlampovich and A. Myasnikov, “Irreducible affine varieties over free group II. Systems in triangular quasi-quadratic form and description of residually free groups,” J. Algebra, 200, No. 2, 517–570 (1998).
R. C. Lyndon, “Groups with parametric exponents,” Trans. Amer. Math. Soc., 96, 518–533 (1960).
A. Myasnikov and V. Remeslennikov, “Algebraic geometry over groups II. Logical foundations,” J. Algebra, 234, 225–276 (2000).
A. A. Mishchenko, V. N. Remeslennikov, and A. V. Treier, “Canonical and existential groups in universal classes of Abelian groups,” Dokl. Math., 467, No. 3, 266–270 (2016).
A. A. Mishchenko, V. N. Remeslennikov, A. V. Treier, “Universal invariants for classes of Abelian groups,” Algebra Logic, 56, No. 2, 116–132 (2017).
A. Myasnikov and V. Remeslennikov, “Exponential groups 2. Extension of centralizers and tensor completion of CSA-groups,” Int. J. Algebra Comput., 6, No. 6, 687–711 (1996).
B. I. Plotkin, Seven Lectures on the Universal Algebraic Geometry, preprint, arXiv:math/0204245 [math.GM] (2002).
B. Plotkin, “Algebras with the same (algebraic) geometry,” Proc. Steklov Inst. Math., 242, 165–196 (2003).
W. Szmielew, “Elementary properties of Abelian groups,” Fund. Math., 41, 203–271 (1955).
A. A. Vinogradov, “Quasivarieties of Abelian groups,” Algebra Logika, 4, No. 6, 15–19 (1965).
O. Zariski and P. Samuel, Commutative Algebra, Vol. I, Springer, New York (1975).
O. Zariski and P. Samuel, Commutative Algebra, Vol. II, Springer, New York (2013).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 23, No. 2, pp. 101–145, 2020.
Rights and permissions
About this article
Cite this article
Daniyarova, E.Y., Mishchenko, A.A., Remeslennikov, V.N. et al. On Algebraic-Geometric and Universal Theories of Abelian Groups. J Math Sci 262, 660–690 (2022). https://doi.org/10.1007/s10958-022-05846-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-022-05846-4