Every finite subset of an abelian group is an asymptotic approximate group (Q1651975)

Let \(A\) be a non-empty subset (not necessarily finite or symmetric or containing the identity) of a (not necessarily commutative) group \(G\). \(A\) is said to be \((r,\ell)\)-approximate group if there exists a subset \(X\subseteq G\) such that \(|X|\leq \ell\) and \(A^r\subseteq XA\) and \(A\) is asymptotic \((r,\ell)\)-approximate group if \(A^h\) is \((r,\ell)\)-approximate in \(G\) for every sufficiently high \(h\) (\(h,r,\ell\) are positive integers). In the paper the author studies commutative groups (written additively), however the first result of the paper (Theorem 1) shows that there are finite subsets of groups that are not asymptotic \((r,\ell)\)-approximate group for any integers \(r\geq2\) and \(\ell\geq 1\) (e.g. if \(G\) ia a free group of rank 2 generated by the set \(A=\{a_1,a_2\}\)). On the other hand it is proved (Theorem 6) that every nonempty finite subset of a commutative group is an asymptotic approximate group (this extends the author's result [``Every finite set of integers is an asymptotic approximate group'', Preprint, \url{arXiv:1511.06478}] that every finite set of integers is an asymptotic approximate group). Similarly, it is proved in the paper that every polytope in a real vector space is an asymptotic \((r,\ell)\)-approximate group or that every finite set of lattice points is an asymptotic \((r,\ell)\)-approximate group.