{"id":"arxiv/2605.20976","url":"https://arxiv.org/abs/2605.20976","tags":["math.GR"],"score":0,"title":"A compensation theorem for the Sylow-integral invariant and counterexamples to an \\texorpdfstring{$A_5$}{A5}-characterization conjecture","domain":"math.GR","source":"arxiv","authors":["Yutong Zhang","Yaoran Yang"],"reviews":0,"subject":"math.GR","summary":"Let \\(ν_p(G)\\) be the number of Sylow \\(p\\)-subgroups of a finite group \\(G\\), let \\(σ_p(G)\\) be their common order, and set \\[ γ(G)=\\int_0^1\\sum_{p\\inπ(G)}ν_p(G)x^{σ_p(G)}\\,dx =\\sum_{p\\inπ(G)}\\frac{ν_p(G)}{σ_p(G)+1}. \\] A recent conjectural extension of the simple-group theorem for this invariant asserted that a nonsolvable finite group has \\(γ(G)=9/2\\) precisely when \\(G\\cong A_5\\). We disprove this assertion by a direct and verifiable construction. More generally, we prove an exact direct-product compensation formula for \\(A_5\\) with an arbitrary nilpotent factor. The formula reduces the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-20","reactions":{}}