Abstract: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\geq 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}$.
From: Gili Golan [view email]
[v1]
Sat, 30 May 2026 19:29:13 UTC (42 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。