A question on the commutativity degree of the monoid of subsets of a finite group

Question

The commutativity degree $d(G)$ of a finite group $G$ is defined as the ratio $$\frac{|\{(x,y)\in G^2 | xy=yx\}|}{|G|^2}.$$It is well known that $d(G)\leq5/8$ for any finite non-abelian group $G$. If $P(G)$ is the monoid of subsets of $G$ with respect to the usual product of group subsets, then the commutativity degree $d(P(G))$ of $P(G)$ can be defined similarly: $$d(P(G))=\frac{|\{(A,B)\in P(G)^2 | AB=BA\}|}{|P(G)|^2}.$$Which are the connections between $d(G)$ and $d(P(G))$? Is there a constant $c\in (0,1)$ such that $d(P(G))\leq c$ for any finite non-abelian group $G$?

Additional Question: Let $P_k(G)$ be the subset of $P(G)$ consisting of all $k$-subsets of $G$ and $$d(P_k(G))=\frac{|\{(A,B)\in P_k(G)^2 | AB=BA\}|}{|P_k(G)|^2}.$$Clearly, $d(P_1(G))=d(G)$ and, for every $k\in\{1,2,3\}$, $G$ is abelian iff $d(P_k(G))=1$. A similar question can be asked for $d(P_k(G))$, $k=2,3$: is there a constant $c_k\in (0,1)$ such that $d(P_k(G))\leq c_k$ for any finite non-abelian group $G$?

Answer 1

@Derek Holt is completely right: as $|G|\to \infty$, the fraction of subsets $(A,B)$ with $AB=G$ tends to $1$, so there is no such $c$.

Indeed, assume that $|G|=n$. Let us choose the subsets $A$ and $B$ uniformly and independently. Fix any $g\in G$; there are $n$ pairs $(a,b)$ with $ab=g$, each pair belongs to $A\times B$ with probability $1/4$, and these events are independent for distinct pairs. Thus the probability that $g\notin AB$ is $(3/4)^n$, so the probability that $AB\neq G$ is at most $n(3/4)^n$ which tends to $0$ as $n\to\infty$.

To conclude: if $n$ is large, almost all pairs $(A,B)\in P(G)\times P(G)$ satisfy $AB=BA=G$.