Abstract:In this paper, we prove that the endomorphism rings End A and End A' of periodic infinite Abelian groups A and A' are elementarily equivalent if and only if the endomorphism rings of their p-components are elementarily equivalent for all primes p. Additionally, we show that the automorphism groups Aut A and Aut A' of periodic Abelian groups A and A' that do not have 2-components and do not contain cocyclic p-components are elementarily equivalent if and only if, for any prime p, the corresponding p-components A_p and A_p' of A and A' are equivalent in second-order logic if they are not reduced, and are equivalent in second-order logic bounded by the cardinalities of their basic subgroups if they are reduced. For such groups A and A', their automorphism groups are elementarily equivalent if and only if their endomorphism rings are elementarily equivalent, and the automorphism groups of the corresponding p-components for all primes p are elementarily equivalent.

Equivalence of definitions of AF groupoid

Koszul Equivalences in $A_\infty$-Algebras

Koszul Equivalences in Algebras

AF Embeddability of the C*-Algebra of a Deaconu-Renault Groupoid

AF-equivalence relations and their cocycles

The equivalence relations of local homeomorphisms and Fell algebras

Configuration Equivalence is not Equivalent to Isomorphism

AF flows and continuous symmetries

New criteria for equivalence of locally compact abelian groups

On the First-Order Free Group Factor Alternative

An absorption theorem for minimal AF equivalence relations on Cantor sets

Translation equivalence in free groups

Universal equivalence of general linear groups over local rings with 1/2

Free-abelian by free groups: homomorphisms and algorithmic explorations

Elementary equivalence of Kac-Moody groups

Renault's Equivalence Theorem for Reduced Groupoid C*-algebras

Elementary equivalence of endomorphism rings and automorphism groups of periodic Abelian groups

Groups elementary equivalent to finitely generated free metabelian

Exotic groupoid -algebras associated to double groupoids

Equivalent definitions of Arthur packets for real classical groups