рус eng
«THE BULLETIN OF IRKUTSK STATE UNIVERSITY». SERIES «MATHEMATICS»
«IZVESTIYA IRKUTSKOGO GOSUDARSTVENNOGO UNIVERSITETA». SERIYA «MATEMATIKA»
ISSN 1997-7670 (Print)
ISSN 2541-8785 (Online)

List of issues > Series «Mathematics». 2024. Vol 47

On Algebraic and Definable Closures for Theories of Abelian Groups

Author(s)
Inessa I. Pavlyuk1

1Novosibirsk State Technical University, Novosibirsk, Russian Federation

Abstract
Classifying abelian groups and their elementary theories, a series of characteristics arises that describe certain features of the objects under consideration. Among these characteristics, an important role is played by Szmielew invariants, which define the possibilities of divisibility of elements, orders of elements, dimension of subgroups, and allow describing given abelian groups up to elementary equivalence. Thus, in terms of Szmielew invariants, the syntactic properties of Abelian groups are represented, i.e. properties that depend only on their elementary theories. The work, based on Szmielew invariants, provides a description of the behavior of algebraic and definable closure operators based on two characteristics: degrees of algebraization and the difference between algebraic and definable closures. Thus, possibilities for algebraic and definable closures, adapted to theories of Abelian groups, are studied and described. A theorem on trichotomy for degrees of algebraization is proved: either this degree is minimal, if in the standard models, except for the only two-element group, there are no positively finitely many cyclic and quasi-cyclic parts, or the degree is positive and natural, if in a standard model there are no positively finitely many cyclic and quasi-cyclic parts, except a unique copy of a two-element group and some finite direct sum of finite cyclic parts, and the degree is infinite if the standard model contains unboundedly many nonisomorphic finite cyclic parts or positively finitely many of copies of quasi-finite parts. In addition, a dichotomy of the values of the difference between algebraic closures and definable closures for abelian groups defined by Szmielew invariants for cyclic parts is established. In particular, it is shown that torsion-free abelian groups are quasi-Urbanik.
About the Authors
Inessa I. Pavlyuk, Cand. Sci. (Phys.–Math.), Novosibirsk State Technical University, Novosibirsk, 630073, Russian Federation, pavlyuk@corp.nstu.ru
For citation
Pavlyuk In. I. On Algebraic and Definable Closures for Theories of Abelian Groups. The Bulletin of Irkutsk State University. Series Mathematics, 2024, vol. 47, pp. 107–118. https://doi.org/10.26516/1997-7670.2024.47.107
Keywords
algebraic closure, definable closure, degree of algebraization, abelian group
UDC
510.67:512.541
MSC
03C52, 03C60, 20K21
DOI
https://doi.org/10.26516/1997-7670.2024.47.107
References
  1. Eklof P.C., Fischer E.R. The elementary theory of abelian groups. Annals of Mathematical Logic, 1972, vol. 4, pp. 115–171.
  2. Ershov Yu.L., Palyutin E.A. Mathematical Logic. Moscow, Fizmatlit Publ., 2011, 356 p. (in Russian)
  3. Fuchs L. Infinite Abelian groups. Vol. I. New York, London, Academic Press, 1970, 289 p.
  4. Fuchs L. Infinite Abelian groups. Vol. II. New York, London, Academic Press, 1973, 364 p.
  5. Hodges W. Model Theory. Cambridge, Cambridge University Press, 1993, 772 p.
  6. Kargapolov M.I., Merzljakov J.I. Fundamentals of the Theory of Groups. New York, Springer, 2011, 221 p.
  7. Laffey T.J., MacHale D. Automorphism orbits of finite groups. Austral. Math. Soc. (Series A), 1986, vol. 40, pp. 253–260.
  8. Pavlyuk In.I., Sudoplatov S.V. Ranks for families of theories of abelian groups. Bulletin of Irkutsk State University. Series Mathematics, 2019, vol. 28, pp. 95–112. https://doi.org/10.26516/1997-7670.2019.28.95
  9. Pavlyuk In.I., Sudoplatov S.V. Approximations for theories of abelian groups. Mathematics and Statistics, 2020, vol. 8, no. 2, pp. 220–224. https://doi.org/10.13189/ms.2020.080218
  10. Pavlyuk In.I., Sudoplatov S.V. Formulas and properties for families of theories of abelian groups. Bulletin of Irkutsk State University. Series Mathematics, 2021, vol. 36, pp. 95–109. https://doi.org/10.26516/1997-7670.2021.36.95
  11. Pavlyuk In.I., Sudoplatov S.V. On algebraic and definable closures for finite structures. Algebra and model theory 14. Collection of papers, Novosibirsk, NSTU Publ., 2023, pp. 87–94.
  12. Pillay A. Geometric Stability Theory. Oxford, Clarendon Press, 1996, 361 p.
  13. Popkov R.A. Distribution of countable models for the theory of the group of integers. Siberian Mathematical Journal, 2015, vol. 56, no. 1, pp. 185–191.https://doi.org/10.1134/S0037446615010152
  14. Shelah S. Classification theory and the number of non-isomorphic models, Amsterdam, North-Holland, 1990, 705 p.
  15. Sudoplatov S.V. Algebraic closures and their variations. arXiv:2307.12536 [math.LO], 2023, 16 p.
  16. Szmielew W. Elementary properties of Abelian groups. Fundamenta Mathematicae, 1955, vol. 41, pp. 203–271.
  17. Tent K., Ziegler M. A Course in Model Theory, Cambridge, Cambridge University Press, 2012, 248 p.
  18. Vinogradov I.M. Elements of Number Theory, Mineola, New York, Dover Publications, Inc., 1954, 230 p.
  19. Zil’ber B.I. Hereditarily transitive groups and quasi-Urbanik structures. American Mathematical Society Translations: Series 2, 1999, vol. 195, pp. 165–186.

Full text (english)