加载中…
We prove that topological conjugacy of elements of the Brin–Thompson group is undecidable for every . From a Turing machine , the reduction produces two elements of , which are conjugate by an involution in if halts on the empty tape. If does not halt on the empty tape, the topological dynamics of the two group elements are distinguished by their visits to minimal subsystems of the set of (germ-)aperiodic points. In these groups, and any finitely-generated supergroups inside the homeomorphism group of Cantor space, we also obtain undecidability of the Whitehead problem (the problem of being in the same automorphism orbit), and undecidability of group-theoretic conjugacy.

生成讲解博客的中文版本

生成AI智能校验的中文版本