= Solution
Write $N=[G,G]$ and identify it with $(\mathbb C,+)$ as in part (a). If every two members of $A$ commuted, then $\langle A\rangle$ would be <Abelian>, contrary to hypothesis. Thus some commutator of two members of $A$ is a nonidentity translation in $A^4\cap N$. Consequently the translation-coordinate set
$$
T=\{c\in\mathbb C:f_{1,c}\in A^4\cap N\}
$$
contains both zero and a nonzero element.
The identity
$$
f_{a,b}\circ f_{1,c}\circ f_{a,b}^{-1}=f_{1,ac}
$$
shows that $T\pi(A)$ is contained in the translation coordinates of $A^6\cap N$, while $T+T$ is contained in those of $A^8\cap N$. The <intersection of an approximate group power with a subgroup> therefore gives
$$
|T+T|\leq K^{O(1)}|T|,
\qquad
|T\pi(A)|\leq K^{O(1)}|T|.
$$
Apply the <Solymosi sum-product theorem over the complex numbers> with $U=V=T$ and $W=\pi(A)$. Since $1\in\pi(A)$, its hypotheses hold, and
$$
K^{O(1)}|T|^2
\geq |T+T|\,|T\pi(A)|
\geq\frac1{56}|T|^2|\pi(A)|^{1/2}.
$$
Cancelling $|T|^2$ and absorbing the absolute constant proves
$$
\boxed{|\pi(A)|\leq K^{O(1)}.}
$$
Back to article page
