Motivated by the problem of finding a "well-foundedness principle" for totally disconnected, locally compact (t.d.l.c.) groups, we introduce a class $\mathscr{ E}^{ \mathscr{ S}}$ of t.d.l.c. groups, containing P. Wesolek's class $\mathscr{ E}$ of (regionally) elementary groups but also including many groups in the class $\mathscr{ S}$ of nondiscrete compactly generated topologically simple t.d.l.c. groups. The class $\mathscr{ E}^{ \mathscr{ S}}$ carries a well-behaved rank function and is closed under taking directed unions, open subgroups, closed normal subgroups, extensions and quotients. The class $\mathscr{ E}^{ \mathscr{ S}}$ also includes other well-studied families of t.d.l.c. groups that are not contained in $\mathscr{ E}$, including all locally linear t.d.l.c. groups, all complete geometric Kac--Moody groups over finite fields, the Burger--Mozes groups $U(F)$ where $F$ is primitive, and $2^{ \aleph_0}$ more examples of groups in $\mathscr{ S}$ that arise as groups acting on trees with Tits' independence property (P). On the other hand, $\mathscr{ E}^{ \mathscr{ S}}$ excludes the Burger--Mozes groups $U(F)$ where $F$ is nilpotent and does not act freely. By contrast, a larger class $\mathscr{ E}^{ [\mathrm{ Sim}]}$ (with similar closure properties to $\mathscr{ E}^{ \mathscr{ S}}$) is closed under forming actions on trees with property (P).
Categories: math.GR