Finitely generated groups having a finite set of conjugacy classes meeting all cyclic subgroups (Q4939411)

The author studies infinite finitely generated groups having a finite set of conjugacy classes meeting all cyclic subgroups. The paper has been motivated by the following question that has arisen in module theory: Is there an infinite finitely presented group having a threading tuple (non-trivial \(w_1,\dots,w_k\in G\) such that for every non-trivial \(g\in G\) there exists a natural number \(n\) such that \(g^n\) is conjugate to some \(w_i\), \(1\leq i\leq k\))? Also since Grigorchuk type groups have subexponential growth, the following question is natural: Is there an infinite finitely generated group of subexponential growth having a threading tuple? In connection with that among many other interesting results, the author proves the following theorem: Let \(G\) be a finitely generated periodic group and let \(H<G\) be infinite, locally normal and normal in \(G\). For \(g\in H\) of prime order let \(W_g\) be the set of all geodesic words \(w\) such that any subword of \(w\) and its inverse is not conjugate to any element of \(\prod(C_g)\), where \(C_g\) is the conjugacy class of \(g\). Assume that \(H\) is not Chernikov. Then there exists \(g\in H\) of prime order such that \((*)\) there exists an infinite sequence \(w_0,w_1,\dots,w_k,\dots\in W_g\) such that for any \(k\) the sequence \(w^{-1}_jgw_j\), \(0\leq j\leq k\), is orthogonal.