Invariable generation of iterated wreath products of cyclic groups (Q2402906)

Let \(Q\), be the cyclic group of prime order \(p_n\) for \(n= 1,2,\dots\). Define the groups \(X_n\) inductively by putting \(X_1=C_1\) and setting \(X_{n+1}\) equal to the wreath product of \(C_{n+1}\) by \(X_n\), using the regular representation of \(X_n\). Using the obvious projections of \(X_{n+1}\) onto \(X_n\), let \(X\) be the inverse limit of the \(X_n\). The author proves that the \(X\) cannot be topologically finitely invariably generated, meaning that there is no finite subset \(S\) of \(X\) such that however we choose an element \(g(s)\) of \(G\) for each \(s\) in \(S\), \(X\) is not topologically generated by the finite set \(\{s^{g(s)}\): \(s\) in \(S\}\). For example, if all the \(p_n\) are distinct, then \(X\) is topologically 2-generated. Thus \(X\) is then an example of a prosoluble group that is (topologically) finitely generated but not finitely invariably generated. The concept of invariable generation has been studied quite extensively over the last 25 years or so and this paper contains a nice summary of previous work on this concept.