双侧移位与Higman--Thompson群的自同构 III：扩张

我们旨在用Higman--Thompson群$G_{n,r}$的外自同构群$\mathcal{O}_{n,r}$的子群$\mathcal{L}_{n,r}$来解释移位动力系统自同构理论中的重要构造，并将$\operatorname{Aut}(X_n^{\mathbb{Z}}, \sigma_{n})$中的结果和技术扩展到Higman--Thompson群$G_{n,r}$的自同构群$\operatorname{Aut}(G_{n,r})$和外自同构群。我们的主要结果是“惰性子群”（移位空间自同构群研究中的重要子群）作为$\mathcal{L}_{n,n-1}$的子群$\mathcal{K}_{n}$的具体实现。利用这一实现，我们证明了$\operatorname{Aut}(G_{n,r})$包含$\operatorname{Aut}(X_{m}^{\mathbb{Z}}, \sigma_{m})$的同构副本，对所有$m \ge 2$成立。对文献的综述表明，$\operatorname{Aut}(G_{n,r})$包含有限群、有限生成阿贝尔群、自由群、有限群的自由积、2-流形的基本群、图群和可数局部有限剩余有限群等的同构副本。我们将$\operatorname{Aut}(X_n^{\mathbb{Z}}, \sigma_{n})$的一个结果扩展到群$\mathcal{O}_{n,n-1}$。$X_n^{\mathbb{Z}}$的同胚$\overleftarrow{\phantom{a}}$将序列$(x_i)_{i \in \mathbb{Z}}$映射到序列$(y_{i})_{i \in \mathbb{Z}}$，其中$y_{i} = x_{-i}$，诱导了$\operatorname{Aut}(X_n^{\mathbb{Z}}, \sigma_{n})$的自同构$\overleftarrow{\mathfrak{r}}$，并因此诱导了$\mathcal{L}_{n}$的自同构。我们将自同构$\overleftarrow{{\mathfrak{r}}}$扩展到群$\mathcal{O}_{n,n-1}$。在即将发表的文章中，我们证明了群$\mathcal{O}_{n}$同构于$n$个字母上完全双侧移位的映射类群。