Denote the commuting probability (the probability that two randomly chosen elements commute) of a finite group $G$ by $\operatorname{cp}(G)$. By a result of Gustafson [2], $\operatorname{cp}(G)=\operatorname{k}(G)/|G|$, where $\operatorname{k}(G)$ is the number of conjugacy classes of $G$. My question is the following:

Does there exist a function $f:\left(0,1\right]\rightarrow\left[0,\infty\right)$ such that the following holds: "If $G$ is a finite group, $\rho\in\left(0,1\right]$, and $\operatorname{cp}(G)\geq\rho$, then $G$ has an abelian normal subgroup of index at most $f(\rho)$."?

Equivalently: Does there exist no sequence $(G_n)_{n\geq 1}$ of finite groups such that $\operatorname{cp}(G_n)$ is bounded away from $0$, yet the minimal index of an abelian normal subgroup in $G_n$ converges to $\infty$ as $n\to\infty$?

This question arose while I was thinking about different definitions of "almost-abelianity" of finite groups $G$, each of which generalizes abelianity in a quantitative way and which I briefly discuss now for the sake of motivation.

- For $I,C\in\left[0,\infty\right)$, say that $G$ is
$(I,C)$-almost abelianif and only if $[G:\operatorname{Fit}(G)]\leq I$ and $\operatorname{cl}(\operatorname{Fit}(G))\leq C$. Here, $\operatorname{Fit}(G)$ denotes the Fitting-subgroup of $G$, and $\operatorname{cl}(H)$ the nilpotency class of a nilpotent group $H$.- For $\rho\in\left(0,1\right]$, say that $G$ is
$\rho$-almost abelianif and only if $\operatorname{cp}(G)\geq\rho$.- For $I\in\left[0,\infty\right)$, say that $G$ is
$I$-virtually abelianif and only if $G$ has an abelian normal subgroup of index at most $I$.

Each of the following facts about finite groups $G$ is either not difficult to see or follows from results in the literature:

**Virtual abelianity implies almost-abelianity in the second sense."**More precisely, there is a function $f:\left[0,\infty\right)\rightarrow\left[0,1\right)$ such that if $G$ is $I$-virtually abelian, then $G$ is $f(I)$-almost abelian. Actually, one can choose $f:I\mapsto I^{-2}$.**"Almost-abelianity in the second sense implies almost-abelianity in the first sense."**More precisely, there are functions $f_1,f_2:\left(0,1\right]\rightarrow\left(0,\infty\right)$ such that if $G$ is $\rho$-almost abelian, then $G$ is $(f_1(\rho),f_2(\rho))$-almost abelian (the existence of $f_1$ is by [1, Theorems 4(iii) and 8(ii)], and the existence of $f_2$ follows from [1, Lemma 2(ii)] and the fact that $\operatorname{cp}(G)\leq 5/8<1$ for all nonabelian finite groups $G$ [2]).**"Almost-abelianity in the first sense does not imply almost-abelianity in the second sense."**More precisely, even if both the index and the class of the Fitting subgroup of $G$ are bounded, $\operatorname{cp}(G)$ can be arbitrarily small.

Hence the later a property is defined in the list above, the stronger it is, and the second property is strictly stronger than the first. My question asks whether the third property is also strictly stronger than the second.

References:

[1] W. H. Gustafson, What is the probability that two group elements commute?,

Amer. Math. Monthly80(1973), 1031-1034.

[2] R. M. Guralnick and G. R. Robinson, On the commuting probability in finite groups,J. Algebra300(2006), 509-528.