Sufficient conditions for a group of homeomorphisms of the Cantor set to be two-generated
arXiv:2008.04791 · doi:10.1017/S1474748024000045
Abstract
Let be some Cantor space. We study groups of homeomorphisms of which are vigorous, or, which are flawless, where we introduce both of these terms here. We say a group is if for any clopen set and proper clopen subsets and of there is in the pointwise-stabiliser of with . Being vigorous is similar in impact to some of the conditions proposed by Epstein in his proof that certain groups of homeomorphisms of spaces have simple commutator subgroups (and/or related conditions, as proposed in some of the work of Matui or of Ling). A non-trivial group is if for all and a non-trivial freely reduced product expression on variables (including inverse symbols), a particular subgroup of the verbal subgroup is the whole group. It is true, for instance, that flawless groups are both perfect and lawless. We show: 1) simple vigorous groups are either two-generated by torsion elements, or not finitely generated, 2) vigorous groups are simple if and only if they are flawless, and, 3) the class of vigorous simple subgroups of is fairly broad (it 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', and, the class is closed under various natural constructions).
37 pages