On algebraic and definable closures for theories of abelian groups

Inessa I. Pavlyuk

The Bulletin of Irkutsk State University. Series Mathematics, Tome 47 (2024), pp. 107-118

Résumé

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 non-isomorphic 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.

Détail

Keywords: algebraic closure, definable closure, degree of algebraization, abelian group.

Bibliographie

[1] Eklof P.C., Fischer E.R., “The elementary theory of abelian groups”, Annals of Mathematical Logic, 4 (1972), 115–171 | DOI | MR | Zbl

[2] Ershov Yu.L., Palyutin E.A., Mathematical Logic, Fizmatlit Publ, M., 2011, 356 pp. (in Russian) | MR

[3] Fuchs L., Infinite Abelian groups, v. I, Academic Press, New York–London, 1970, 289 pp. | MR | Zbl

[4] Fuchs L., Infinite Abelian groups, v. II, Academic Press, New York–London, 1973, 364 pp. | MR | Zbl

[5] Hodges W., Model Theory, Cambridge University Press, Cambridge, 1993, 772 pp. | MR | Zbl

[6] Kargapolov M.I., Merzljakov J.I., Fundamentals of the Theory of Groups, Springer, New York, 2011, 221 pp. | MR

[7] Laffey T.J., MacHale D., “Automorphism orbits of finite groups”, Austral. Math. Soc. (Series A), 40 (1986), 253–260 | DOI | MR | Zbl

[8] Pavlyuk In.I., Sudoplatov S.V., “Ranks for families of theories of abelian groups”, Bulletin of Irkutsk State University. Series Mathematics, 28 (2019), 95–112 | DOI | MR

[9] Pavlyuk In.I., Sudoplatov S.V., “Approximations for theories of abelian groups”, Mathematics and Statistics, 8:2 (2020), 220–224 | DOI | MR

[10] Pavlyuk In.I., Sudoplatov S.V., “Formulas and properties for families of theories of abelian groups”, Bulletin of Irkutsk State University. Series Mathematics, 36 (2021), 95–109 | DOI | MR

[11] Pavlyuk In.I., Sudoplatov S.V., “On algebraic and definable closures for finite structures”, Collection of papers, Algebra and model theory, 14, NSTU Publ, Novosibirsk, 2023, 87–94

[12] Pillay A., Geometric Stability Theory, Clarendon Press, Oxford, 1996, 361 pp. | MR | Zbl

[13] Popkov R.A., “Distribution of countable models for the theory of the group of integers”, Siberian Mathematical Journal, 56:1 (2015), 185–191 | DOI | MR

[14] Shelah S., Classification theory and the number of non-isomorphic models, North-Holland, Amsterdam, 1990, 705 pp. | MR | Zbl

[15] Sudoplatov S.V., Algebraic closures and their variations, 2023, 16 pp., arXiv: 2307.12536 [math.LO]

[16] Szmielew W., “Elementary properties of Abelian groups”, Fundamenta Mathematicae, 41 (1955), 203–271 | DOI | MR | Zbl

[17] Tent K., Ziegler M., A Course in Model Theory, Cambridge University Press, Cambridge, 2012, 248 pp. | MR | Zbl

[18] Vinogradov I.M., Elements of Number Theory, Dover Publications, Inc, Mineola–New York, 1954, 230 pp. | MR | Zbl

[19] Zil'ber B.I., “Hereditarily transitive groups and quasi-Urbanik structures”, American Mathematical Society Translations: Series 2, 195 (1999), 165–186 | DOI | MR