1: \begin{abstract}
2: We prove a conjecture of Helfgott and Lindenstrauss on the structure of sets of bounded tripling in bounded rank,
3: which states the following.
4: Let $A$ be a finite symmetric subset of $\GL_n(\F)$ for any field $\F$ such that $|A^3| \leq K|A|$.
5: Then there are subgroups $H \nsgp \Gamma \nsgp \langle A \rangle$ such that
6: $A$ is covered by $K^{O_n(1)}$ cosets of $\Gamma$,
7: $\Gamma / H$ is nilpotent of step at most $n-1$, and
8: $H$ is contained in $A^{O_n(1)}$.
9: This theorem includes the Product Theorem for finite simple
10: groups of bounded rank as a special case.
11: As an application of our methods we also show that
12: the diameter of highly perfect finite linear groups is poly-logarithmic.
13: \end{abstract}
14: