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.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。