Higman--Thompson groups $F_n$ all the way down
Abstract
We prove that for every the Higman--Thompson group has a maximal subgroup of infinite index isomorphic to itself. In fact, we construct a chain of subgroups , all isomorphic to and with trivial intersection, such that for every the only subgroups of containing are ; in particular, each is maximal in . We prove that for all , every closed maximal subgroup of isomorphic to arises from a homeomorphism between the -ary and -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 into 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 -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 is isomorphic to , answering questions of Aiello, and that all known maximal subgroups of infinite index of Thompson's group which act minimally on are isomorphic to Higman--Thompson groups. That raises the problem of whether all maximal subgroups of infinite index of which act minimally on 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}
}