arXivDaily arXiv每日学术速递 周一至周五更新
arXiv math/0701752math.LOmath.GR
收藏

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

Vladimir Tolstykh

英文摘要:

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分析而来,可能存在错误,请以论文正文为准。

↑