Soluble groups with their centralizer factor groups of bounded rank. (Q856352)

Let \(K\) be a class of groups. A group \(G\) is said to be a \(CK\)-group if for every \(g\in G\), the factor group \(G/C_G(g^G)\) is a \(K\)-group. Here, \(g^G\) is the normal closure of \(g\) in \(G\), \(C_G(H)\) is the centralizer of \(H\) in \(G\). Let \(S_r^{(d)}\) be the class of soluble groups of derived length at most \(d\) in which every finitely generated subgroup can be generated by at most \(r\) elements, \(F_f\) be the class of finite groups of order less than or equal to \(f\). The author proves that if \(G\in CS_r^{(d)}\), then the commutator subgroup \(G'\in S_{dr'}^{(d)}\) for some \(r'\) depending only on \(r\). It is also established that if \(G\in C(S_r^{(d)}F_f)\), then \(G'\in S_{r'}^{(d+3)}F_{f'}\) for some \(r'\) and \(f'\) depending only on \(r\), \(d\) and \(f\). Here, for group classes \(K\) and \(M\) we denote by \(KM\) the class of groups having a normal \(K\)-group with an \(M\) factor group.