A Freĭman-type theorem for locally compact Abelian groups (Q734597): Difference between revisions

The main result of the paper under review reads as follows: Suppose that \(G\) is a locally compact abelian group and \(A\subset G\) is a compact symmetric neighborhood of the identity with \(\mu(nA)\leq n^d\mu(A)\) for all \(n\geq d\log d\), where \(\mu\) is a Haar measure. Then \(A\) is contained in an \(O(d\log^3 d)\)-dimensional ball, \(B\), of positive radius in some continuous translation invariant pseudo-metric and \(\mu(B)\leq\exp(O(d\log d))\mu(A)\). A new method of proof is suggested. There is only a conjecture for non-abelian groups.