arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv math/9712249math.GR
收藏

集合论在自由群的自同构群中是可解释的

Set theory is interpretable in the automorphism group of a free group

Vladimir Tolstykh

摘要:

1976年S. Shelah提出了以下问题:其中品种V的代数的自同构群的任何自由代数F从V的“大”无限秩解释通过一阶逻辑集合论(根据他的结果,对于每一个品种V的自同态半群的F解释集合论,如果秩(F)是一个无限基数大于的权力语言的V)。有一些簇的例子的答案是否定的;一个这样的例子,在空语言中的所有代数的簇,是由于Shelah(1973)。作者早些时候表明,答案是积极的任何品种的向量空间超过一个固定的除环。本文证明了这一点对所有群的簇都成立:任何无限生成的自由群F的自同构群解释了集合论。特别地,可以得出群Aut(F)尽可能不可判定。

英文摘要:

In 1976 S. Shelah posed the following problem: for which variety V of algebras the automorphism group of any free algebra F from V of "large" infinite rank interprets by means of first-order logic set theory (according to his results, for every variety V the endomorphism semi-group of F interprets set theory if rank(F) is an infinite cardinal greater than the power of the language of V). There are examples of varieties for which the answer is negative; one such an example, the variety of all algebras in empty language, is due to Shelah (1973). The author earlier showed that the answer is positive for any variety of vector spaces over a fixed division ring. In the present paper it is proved that the same holds for the variety of all groups: the automorphism group of any infinitely generated free group F interprets set theory. It follows, in particular, that the group Aut(F) is as undecidable as possible.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑