Invariable generation and wreath products (Q2218668)

A group \(G\) is invariably generated by a subset \(S \subseteq G\) if, for any choice of elements \(a_g \in G\), \(G=\langle a_{s}^{-1} s a_{s} \mid s \in S \rangle\). All finite groups are invariably generated, leading to a question of the size of the smallest set that invariably generates a given finite group. In the infinite case, there exist groups that are not invariably generated, for example any infinite group with just two conjugacy classes. For infinite groups, we can also make the distinction between groups that are invariably generated only by infinite sets, and those for which a finite invariable generating set exists. If \(G\) and \(H\) are non-trivial groups, and \(X\) is a set on which \(H\) acts faithfully, then a typical construction in group theory is the wreath product \[ G \wr_{X} H=\left( \bigoplus_{x \in X} G_{x} \right) \rtimes H. \] The (normal) subgroup \(\bigoplus_{x \in X} G_{x}\) of \(G \wr_{X} H\) is the base of the wreath product. The aim of this paper is investigate how the wreath product behaves with respect to invariable generation, especially when the base is not invariably generated. The author proves that both positive and negative results here depending on \(H\) and its action on \(X\). This interesting article is full of results whose statement is unfortunately too technical to be reported here.