On the commuting probability of $π$-elements in finite groups

Juan Martínez

Published 2023-07-19Version 1

Let $G$ be a finite group and let $\pi$ be a set of primes. In this work, we prove that $G$ possesses a normal and abelian Hall $\pi$-subgroup if and only if the probability that two random $\pi$-elements of $G$ commute is larger than $\frac{p^2+p-1}{p^3}$, where $p$ is the smallest prime in $\pi$. We also prove that if $x$ is a $\pi$-element not lying in $O_{\pi}(G)$, then the proportion of $\pi$-elements commuting with $x$ is at most $1/p$, where $p$ is the smallest prime in $\pi$.