On characterization of a finite group with non-simple socle by the set of conjugacy class sizes (Q6100744)

Let \(G\) be a finite group and \(N(G)\) be the set of its conjugacy class sizes excluding \(1\). In 1987, John G. Thompson conjectured that if \(S\) is a finite non-abelian simple group and \(G\) is a finite group with trivial center such that \(N(G)=N(S)\), then \(G\cong L\) (briefly, \(S\) is said to be recognizable by class sizes). Since then, many authors have made much progress for many families of non-abelian simple groups until in 2019 the proof of the validity of Thompson's conjecture was completed. In this paper, the author proposes a question that goes further: If \(S\) is a finite non-abelian simple group, is it true that \(S^n\) is recognizable by class sizes for every \(n\in {\mathbb{N}}\)? The author gives an affirmative answer for the case \(L_2(q)\times L_2(q)\) where \(3< q\) is an odd prime-power and the numbers \(q-1\) and \(q+1\) are not powers of \(2\). The author himself has previously solved this problem for the particular case \(\mathrm{Alt}(5)\times\mathrm{Alt}(5)\) [J. Algebra Appl. 21, No. 11, Article ID 2250226, 8 p. (2022; Zbl 07596149)].