The Average Sylow Multiplicity Character and the Solvable Residual

Abstract

Let G be a finite group, and let p1,…, pm be the distinct prime divisors of |G|. Given a sequence 𝒫 =P1,…, Pm, of Sylow pi-subgroups of G, and g ∈ G, denote by m𝒫(g) the number of factorizations g = g1…gm such that gi ∈ Pi. The properly normalized average of m𝒫 over all 𝒫 is a complex character over G whose kernel contains the solvable radical of G [7]. The present paper characterizes the solvable residual of G in terms of this character.