What does the automorphism group of a free abelian group A know about A?

Let $A$ be an infinitely generated free abelian group. We prove that the automorphism group $\aut A$ first-order interprets the full second-order theory of the set $|A|$ with no structure. In particular, this implies that the automorphism groups of two infinitely generated free abelian groups $A_1,A_2$ are elementarily equivalent if and only if the sets $|A_1|,|A_2|$ are second-order equivalent.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.