Powers of subsets in free groups.

From MaRDI portal



Abstract: We prove that |A^n| > c_n |A|^{[frac{n+1}{2}]} for any finite subset A of a free group if A contains at least two noncommuting elements, where c_n>0 are constants not depending on A. Simple examples show that the order of these estimates are the best possible for each n>0.


It is proved by \textit{M.-C. Chang}, [J. Inst. Math. Jussieu 7, No. 1, 1-25 (2008; Zbl 1167.20328)], that there exist constants \(c,\delta>0\) such that \(|A^3|>c\cdot |A|^{1+\delta}\) for any subset \(A\) of the group \(\text{SL}_2(\mathbb C)\) not contained in any virtually Abelian subgroup. The latter estimation result is improved by \textit{A. A. Razborov}, [A product theorem in free groups, preprint (2007), \url{http://www.mi.ras.ru/~razborov/free_group.pdf}] in a special case: there exists a constant \(c>0\) such that \(|A\cdot A\cdot A|\geq\frac{|A|^2}{(\log|A|)^c}\) for any finite subset \(A\) of a free group not contained in any cyclic subgroup.NEWLINENEWLINE The main result of the paper under review is the following: Theorem 1. There exist constants \(c_n>0\) such that for any finite subset \(A\) of a free group not contained in any cyclic subgroup we have \(|A^n|\geq c_n\cdot |A|^{[(n+1)/2]}\) for all positive integers \(n\).











This page was built for publication: Powers of subsets in free groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2880047)