Characterization of the solvable radical by Sylow multiplicities (Q6051007)

Let \(G\) be a finite group and let \(p_1, \ldots, p_m\) be the distinct prime divisors of \(|G|\). Given a sequence \(\mathcal{P} = P_1, \ldots, P_m\), where \(P_i\) is a Sylow \(p_i\)-subgroup of \(G\), and \(g\in G\), denote by \(m_{\mathcal{P}}(g)\) the number of factorizations \(g = g_1\cdots g_m\) such that \(g_i\in P_i\), called the multiplicity of \(g\) in \(\mathcal{P}\). Previous work showed that the multiplicities of elements in \(G\) determine the solvability of \(G\) and suggested that they may also provide a new characterization of the solvable radical. The author of this paper proves a nice result: The subgroup of \(G\) consisting of all \(g\in G\) such that \(m_{\mathcal{P}}(gx) = m_{\mathcal{P}}(x)\) for all \(\mathcal{P}\) and all \(x\in G\), is the solvable radical of \(G\). Consequently, the solvable radical of \(G\) is the kernel of the average Sylow multiplicity character, the character that assigns to each \(g\in G\) the average of \(m_{\mathcal{P}}(g)\) over all possible \(\mathcal{P}\) (up to a global normalization constant).