The Kernel of the Average Sylow Multiplicity Character and the Solvable Radical

Abstract

Let G be a finite group, and let p ₁,…, p _m be the distinct prime divisors of |G|. Given a sequence 𝒫 =P ₁,…, P _m , where P _i is a Sylow p _i -subgroup of G, and g ∈ G, denote by m _𝒫(g) the number of factorizations g = g ₁…g _m such that g _i  ∈ P _i . Previously, it was shown that the properly normalized average of m _𝒫 over all 𝒫 is a complex character over G termed the Average Sylow Multiplicity Character. The present article identifies the kernel of this character as the subgroup of G consisting of all g ∈ G such that m _𝒫(gx) = m _𝒫(x) for all 𝒫 and all x ∈ G. This result implies a close connection between the kernel and the solvable radical of G.

Key Words:

• Average Sylow Multiplicity Character
• Solvable radical
• Sylow sequences

2000 Mathematics Subject Classification:

• 20D25
• 20C15

Acknowledgments

¹All groups considered in this article are assumed to be finite.

Notes

Communicated by A. Turull.