On powers of conjugacy classes in finite groups (Q2170273)

Let \(K\) and \(D\) be conjugacy classes of a finite group \(G\), and suppose that we have \(K^n = D \cup D^{-1}\) for some integer \(n\geq 2\). Under these assumptions, in 2020 the author et al. [Ann. Mat. Pura Appl. (4) 199, No. 2, 409--424 (2020; Zbl 1471.20022)] put forward the conjecture that \(\langle K\rangle\) must be a (normal) solvable subgroup of \(G\). Recently \textit{R. D. Camina} [J. Group Theory 23, No. 5, 917--923 (2020; Zbl 1476.20032)] showed that the conjecture is valid for any \(n\geq 4\), and this is done by applying combinatorial results, the main of which (by \textit{G. A. Freiman} [Proc. Am. Math. Soc. 140, No. 9, 2997--3002 (2012; Zbl 1284.20024)]) concerns subsets with small doubling in a finite group. In this note, the authors solve the case \(n=3\) by appealing to other combinatorial results, such as an estimate of the cardinality of the product of two normal sets in a finite group. The proofs depend on CFSG.