Centroids of commutatively transitive groups (Q7285653)

The centroid \(\Gamma(G)\) of a group \(G\) is the ring of its normal quasiendomorphisms and is the maximal scalar ring for an exponential group structure on \(G\). A group is commutatively transitive if commutativity is transitive on its non-identity elements. The main result characterizes such groups by the isomorphism\N\[\N\Gamma(G)\cong\prod_{i\in I}\mathrm{End}_{N}(C_i),\N\]\Nwhere the \(C_i\) represent the conjugacy classes of centralizers of non-identity elements and \(\mathrm{End}_{N}(C_i)\) consists of the endomorphisms of \(C_i\) commuting with conjugation by elements of \(N_G(C_i)\).\N\NFor an abelian group \(A\), the restricted wreath product \(A\wr\mathbb{Z}\) is shown to be commutatively transitive. If \(H\) is its base, then its centroid is isomorphic to \(\left(\prod_{j\in J}\mathbb{Z}\right)\times\mathrm{End}_{N}(H)\), where \(J\) represents the conjugacy classes of maximal roots of non-identity elements outside \(H\). For the lamplighter groups \(L_n=\mathbb{Z}_n\wr\mathbb{Z}\), including \(\mathbb{Z}\wr\mathbb{Z}\), the ring \(\mathrm{End}_{N}(H)\) is identified explicitly with the convolution ring defined on the base \(H\).\N\NFor a free \(m\)-solvable group \(G=F/F^{(m)}\), the centroid is described as \(\left(\prod_{j\in J}\mathbb{Z}\right)\times\mathrm{End}_{N}(G^{(m-1)})\) and the second factor is a subring of a ring of row-finite integer matrices. In the finitely generated free metabelian case, this factor is identified with the endomorphism ring of \(G'\) as a module over the group ring \(\mathbb{Z}[G/G']\).