Characterization of finitely generated infinitely iterated wreath products. (Q2844276)

Overlapping the abstract, given a sequence \((G_i)_{i\in\mathbb N}\) of finite transitive groups of degree \(n_i\), let \(W_\infty\) be the inverse limit of the iterated permutational wreath products \(G_m\wr\cdots\wr G_2\wr G_1\). The authors prove that \(W_\infty\) is (topologically) finitely generated if and only if \(\prod^\infty_{i=1}(G_i/G'_i)\) is finitely generated and the growth of the minimal number of generators of \(G_i\) is bounded by \(d\cdot n_1\cdots n_{i-1}\) for a constant \(d\). Moreover, it is illustrated a criterion to decide whether \(W_\infty\) is positively finitely generated or not.