English

Finite groups, commuting probability, and coprime automorphisms

Group Theory 2025-11-12 v1

Abstract

Given two subgroups H,KH,K of a finite group GG, the probability that a pair of random elements from HH and KK commutes is denoted by Pr(H,K)Pr(H,K). Suppose that a finite group GG admits a group of coprime automorphisms AA and let ϵ>0\epsilon>0. We show that, if for any distinct primes p,qπ(G)p,q\in\pi(G) there is an AA-invariant Sylow pp-subgroup PP and an AA-invariant Sylow qq-subgroup QQ of GG for which Pr([P,A],[Q,A])ϵPr([P,A],[Q,A])\ge\epsilon, then F2([G,A])F_2([G,A]) has ϵ\epsilon-bounded index in [G,A][G,A] (Theorem 1.2). Here F2(K)F_2(K) stands for the second term of the upper Fitting seris of a group KK. We also show that, if G=[G,A]G=[G,A] and for any prime pp dividing the order of GG there is an AA-invariant Sylow pp-subgroup PP such that Pr([P,A],[P,A]x)ϵ\Pr([P,A], [P,A]^x)\geq\epsilon for all xGx\in G, then GG is bounded-by-abelian-by-bounded (Theorem 1.4).

Keywords

Cite

@article{arxiv.2511.07597,
  title  = {Finite groups, commuting probability, and coprime automorphisms},
  author = {Eloisa Detomi and Robert M. Guralnick and Marta Morigi and Pavel Shumyatsky},
  journal= {arXiv preprint arXiv:2511.07597},
  year   = {2025}
}
R2 v1 2026-07-01T07:30:48.193Z