We construct a sequence of simple non-discrete totally disconnected locally compact (tdlc) groups separated by finiteness properties; that is, for every positive integer n there exists a simple non-discrete tdlc group that is of type F₍-₁ but not of type FPₙ. This generalizes a result of Skipper--Witzel--Zaremsky for discrete groups. Furthermore, we construct a simple non-discrete tdlc group that is of type FP₂ but not compactly presented. Our examples arise as Smith groups U (M, N) associated to pairs of permutation groups M and N. We generalize a theorem of Haglund--Wise for a special case and show that under mild conditions the finiteness properties of U (M, N) reflect those of its local groups M and N, and vice versa.
Bonn et al. (Fri,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: