We show that there is a distortion element in a finitely-generated subgroup $G$ of the automorphism group of the full shift, namely an element of infinite order whose word norm grows polylogarithmically. As a corollary, we obtain a lower bound on the entropy dimension of any subshift containing a copy of $G$, and that a sofic shift's automorphism group contains a distortion element if and only if the sofic shift is uncountable. We obtain also that groups of Turing machines and the higher-dimensional Brin-Thompson groups $mV$ admit distortion elements; in particular, $2V$ (unlike $V$) does not admit a proper action on a CAT$(0)$ cube complex. The distortion element is essentially the SMART machine.
翻译:我们显示,在完全转换的自态组的有限产生的子分组$G美元中,有一个扭曲元素,即一个无限的顺序元素,其字义规范在多元方程中成长。作为必然结果,我们在含有$G美元副本的任何子变换的酶维度上得到了一个较低的约束,而一个自态变换组包含扭曲元素,如果而且只有在无法对自变情况进行计算的情况下。我们还了解到,图灵机组和高维的Brin-Thompson组接受了扭曲元素;特别是,$V$(与美元不同)并不承认对CAT$(0)立方体复合物采取了适当的行动。扭曲元素基本上是SMART机器。