On the generation problem in Thompson's groups $F_n$

We study the generation problem in the Higman-Thompson groups $F_n$ via the core and closure of subgroups of $F_n$ and associated automata. We give sufficient conditions for a subset $X\subseteq F_n$ to generate $F_n$, and provide an algorithm which verifies these conditions when $X$ is finite. As an application, we answer a question of Aiello and Nagnibeda, motivated by Savchuk’s problem on maximal subgroups of Thompson’s group $F$. Specifically, we show that for every $n\ge 2$, the Higman-Thompson group $F_n$ contains a maximal subgroup of infinite index which fixes no point of $(0,1)$. The subgroup we construct is isomorphic to $F_{2n-1}$.