Sufficient Conditions For A Group Of Homeomorphisms Of The Cantor Set To Be Two-Generated

Collin Bleak,Luna Elliott,James Hyde
DOI: https://doi.org/10.1017/s1474748024000045
2024-09-21
Journal of the Institute of Mathematics of Jussieu
Abstract:We introduce and study two conditions on groups of homeomorphisms of Cantor space, namely the conditions of being vigorous and of being flawless. These concepts are dynamical in nature, and allow us to study a certain interplay between the dynamics of an action and the algebraic properties of the acting group. A group is vigorous if for any clopen set A and proper clopen subsets B and C of A, there is in the pointwise stabiliser of with . A nontrivial group is flawless if for all k and w a nontrivial freely reduced product expression on k variables (including inverse symbols), a particular subgroup of the verbal subgroup is the whole group. We show: 1) simple vigorous groups are either two-generated by torsion elements, or not finitely generated, 2) flawless groups are both perfect and lawless, 3) vigorous groups are simple if and only if they are flawless, and, 4) the class of vigorous simple subgroups of is fairly broad (the class is closed under various natural constructions and contains many well known groups, such as the commutator subgroups of the Higman–Thompson groups , the Brin-Thompson groups , Röver's group , and others of Nekrashevych's 'simple groups of dynamical origin').
mathematics
What problem does this paper attempt to address?