Isotypic equivalence of Abelian $p$-groups with separable reduced parts
DOI:
https://doi.org/10.5644/SJM.20.01.06Keywords:
Types, isotypic equivalence, elementary equivalence, Abelian $p$-groupsAbstract
We prove that two Abelian $p$-groups with separable reduced parts are isotypically equivalent if and only if their divisible parts and their basic subgroups are elementarily equivalent. Also as a corollary we prove that any Abelian $p$-group with a separable reduced part is $\omega$-strongly homogeneous
Downloads
References
Boyer, D. L. (1963). On the theory of p-basic subgroups of Abelian groups. Topics in Abelian Groups, 323–330. Chicago, Illinois.
Gvozdevsky, P. (2023). On countable isotypic structures. Retrieved from https://arxiv.org/pdf/2308.10812.pdf
Eklof, P. C., & Fischer, E. R. (1972). The elementary theory of abelian groups. Annals of Mathematical Logic, 4, 115–171.
Fuchs, L. (1973). Infinite Abelian groups (Vols. I & II). Academic Press.
Fuchs, L. (1953). On the structure of abelian p-groups. Acta Mathematica Academiae Scientiarum Hungaricae, 4, 267–288.
Hodges, W. (1993). Model Theory. Cambridge University Press.
Kharlampovich, O., & Myasnikov, A. (2006). Elementary theory of free nonabelian groups. Journal of Algebra, 302, 451–552.
Marker, D. (2002). Model Theory: An Introduction. Springer-Verlag.
Myasnikov, A. G., & Romanovskii, N. S. (2018). Characterization of finitely generated groups by types. International Journal of Algebra and Computation, 28(8), 1383–1384.
Plotkin, B. (2014). Algebraic logic and logical geometry in arbitrary varieties of algebras. In Proceedings of the Conference on Group Theory, Combinatorics and Computing (pp. 151–169). Contemporary Mathematics.
Plotkin, B. (2011). Isotyped algebras. Sovremennye Problemy Matematiki (Russian), 15, 40–66. Translation: Proceedings of Steklov Institute of Mathematics, 278(1), 91–115 (2012).
Plotkin, B., & Plotkin, E. (2015). Multi-sorted logic and logical geometry: some problems. Demonstratio Mathematica, XLVIII(4), 578–619.
Szele, T. (1951). Gruppentheoretische Beziehungen der Primkörper. Mathematische Zeitschrift, 54, 168–180.
Szmielew, W. (1955). Elementary properties of Abelian groups. Fundamenta Mathematicae, 41, 203–271.
Sela, Z. (2016). Diophantine geometry over groups VI: The elementary theory of free groups. Geometric and Functional Analysis, 16, 707–730.
Zilber, B. (1971). An example of two elementarily equivalent, but not isomorphic finitely generated nilpotent groups of class 2. Algebra and Logic, 10(3), 173–188.
