Strong conciseness of coprime commutators in profinite groups (Q6170744)

Let \(G\) be a profinite group. The authors define a \(\gamma^*_j\)-value of an element of \(G\) as follows. Every element of \(G\) is a \(\gamma^*_1\) -value. For \(j\geq 2\), let \(X\) be the set of all elements of \(G\) that are powers (in the profinite sense) of \(\gamma^*_{j-1}\)-values. An element \(a\) is a \(\gamma^*_j\) -value if there exist \(x \in X\) and \(g \in G\) of coprime order such that \(a = [x, g]\). Then the authors prove the following characterization of finite-by-pronilpotent profinite groups in terms of \(\gamma^*_j\) -values. Theorem. A profinite group \(G\) is finite-by-pronilpotent if and only if there is a natural number \(k\) such that the set of \(\gamma^*_k\)-values in \(G\) has cardinality less than \(2^{\aleph_0}\). The authors also define \(\delta^*_ j\)-value for an element of a profinite group \(G\) as follows. Every element of \(G\) is a \(\delta^*_ 0\)-value. For \(j\geq 1\), let \(Y\) be the set of all elements of \(G\) that are powers (in the profinite sense) of \(\delta^*_{j-1}\)-values. The element \(a\) is a \(\delta^*_j\) -value if there exist \(x, y \in Y\) of coprime order such that \(a = [x, y]\). The authors obtain the following characterization of finite-by-prosoluble profinite groups of Fitting height at most \(k\). Theorem. A profinite group \(G\) is finite-by-(prosoluble of Fitting height at most \(k\)) if and only if the set of \(\delta^*_k\)-values in \(G\) has cardinality less than \(2^{\aleph_0}\).