Petrykowski猜想的一个反例
A counterexample to Petrykowski's conjecture
首次发表
浏览论文内容
中文总结 AI 辅助
通过构造非交换自由群理论的简单扩张,得到具有有界左平移轨道但非可定义可amenable的全局类型,推广了已有构造,反驳了Petrykowski猜想。
中文摘要 AI 辅助
我们构造了非交换自由群理论的一个简单扩张,在该扩张中,群承认一个具有有界左平移轨道的全局类型,但该群不是可定义可amenable的。这推广了Chernikov、Hrushovski、Kruckman、Krupiński、Moconja、Pillay和Ramsey的构造,并给出了Petrykowski猜想的一个反例。
英文摘要
We construct a simple expansion of the theory of nonabelian free groups in which the group admits a global type with bounded left-translation orbit but is not definably amenable. This extends the construction of Chernikov, Hrushovski, Kruckman, Krupiński, Moconja, Pillay, and Ramsey, and gives a counterexample to Petrykowski's conjecture.