English

Higman--Thompson groups $F_n$ all the way down

Group Theory 2026-07-04 v1

Abstract

We prove that for every n2n\ge 2 the Higman--Thompson group FnF_n has a maximal subgroup of infinite index isomorphic to itself. In fact, we construct a chain of subgroups Fn=H0>H1>H2>F_n=H_0>H_1>H_2>\cdots, all isomorphic to FnF_n and with trivial intersection, such that for every ii the only subgroups of FnF_n containing HiH_i are Hi,Hi1,,H0=FnH_i,H_{i-1},\ldots,H_0=F_n; in particular, each Hi+1H_{i+1} is maximal in HiH_i. We prove that for all nm2n\ge m\ge 2, every closed maximal subgroup of FmF_m isomorphic to FnF_n arises from a homeomorphism between the nn-ary and mm-ary Cantor spaces given by a finite semi-synchronizing transducer--a variation of the synchronizing transducers of Bleak, Cameron, Maissel, Navas and Olukoya. We characterize the homeomorphisms of Cantor spaces conjugating FnF_n into FmF_m as the order-preserving or order-reversing rational homeomorphisms whose minimal transducer is semi-synchronizing. At the heart of the paper is a machinery bridging transducers and Stallings 22-cores of subgroups, which reduces the conjugation of finitely generated closed subgroups by such homeomorphisms to an algorithmic procedure. As applications, we prove that Jones' ternary oriented subgroup F3F3\vec F_3\le F_3 is isomorphic to F4F_4, answering questions of Aiello, and that all known maximal subgroups of infinite index of Thompson's group FF which act minimally on (0,1)(0,1) are isomorphic to Higman--Thompson groups. That raises the problem of whether all maximal subgroups of infinite index of FF which act minimally on (0,1)(0,1) are isomorphic to Higman--Thompson groups. We briefly discuss related results regarding fast groups of homeomorphisms and maximal subgroups of Thompson groups.

Keywords

Cite

@article{arxiv.2607.04038,
  title  = {Higman--Thompson groups $F_n$ all the way down},
  author = {Gili Golan},
  journal= {arXiv preprint arXiv:2607.04038},
  year   = {2026}
}