English

Commuting probability for the Sylow subgroups of a finite group

Group Theory 2023-11-20 v1

Abstract

For subsets X,YX,Y of a finite group GG, let Pr(X,Y)Pr(X,Y) denote the probability that two random elements xXx\in X and yYy\in Y commute. Obviously, a finite group GG is nilpotent if and only if Pr(P,Q)=1Pr(P,Q)=1 whenever PP and QQ are Sylow subgroups of GG of coprime orders. Suppose that GG is a finite group in which for any distinct primes p,qπ(G)p,q\in\pi(G) there is a Sylow pp-subgroup PP and a Sylow qq-subgroup QQ of GG such that Pr(P,Q)ϵPr(P,Q) \ge \epsilon. We show that F2(G)F_2(G) has ϵ\epsilon-bounded index in GG. If GG is a finite soluble group in which for any prime pπ(G)p\in\pi(G) there is a Sylow pp-subgroup PP and a Hall pp'-subgroup HH such that Pr(P,H)ϵPr(P,H)\ge \epsilon, then F(G)F(G) has ϵ\epsilon-bounded index in GG. Moreover, we establish criteria for nilpotency and solubility of GG such as: If for any primes p,qπ(G)p,q\in\pi(G) the group GG has a Sylow pp-subgroup PP and a Sylow qq-subgroup QQ with Pr(P,Q)>2/3Pr(P,Q)>2/3, then GG is nilpotent. If for any primes p,qπ(G)p,q\in\pi(G) the group GG has a Sylow pp-subgroup PP and a Sylow qq-subgroup QQ with Pr(P,Q)>2/5Pr(P,Q)>2/5, then GG is soluble.

Keywords

Cite

@article{arxiv.2311.10454,
  title  = {Commuting probability for the Sylow subgroups of a finite group},
  author = {Eloisa Detomi and Andrea Lucchini and Marta Morigi and Pavel Shumyatsky},
  journal= {arXiv preprint arXiv:2311.10454},
  year   = {2023}
}