Invariable generation and wreath products

From MaRDI portal
Publication:2218668



Abstract: Invariable generation is a topic that has predominantly been studied for finite groups. In 2014, Kantor, Lubotzky, and Shalev produced extensive tools for investigating invariable generation for infinite groups. Since their paper, various authors have investigated the property for particular infinite groups or families of infinite groups. A group is invariably generated by a subset S if replacing each element of S with any of its conjugates still results in a generating set for G. In this paper we investigate how this property behaves with respect to wreath products. Our main work is to deal with the case where the base of GwrXH is not invariably generated. We see both positive and negative results here depending on H and its action on X.


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.











This page was built for publication: Invariable generation and wreath products

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2218668)