English

Small doubling in groups with moderate torsion

Number Theory 2020-10-27 v2

Abstract

We determine the structure of a finite subset AA of an abelian group given that 2A<3(1ϵ)A|2A|<3(1-\epsilon)|A|, ϵ>0\epsilon>0; namely, we show that AA is contained either in a "small" one-dimensional coset progression, or in a union of fewer than ϵ1\epsilon^{-1} cosets of a finite subgroup. The bounds 3(1ϵ)A3(1-\epsilon)|A| and ϵ1\epsilon^{-1} are best possible in the sense that none of them can be relaxed without tightened another one, and the estimate obtained for the size of the coset progression containing AA is sharp. In the case where the underlying group is infinite cyclic, our result reduces to the well-known Freiman's (3n3)(3n-3)-theorem; the former thus can be considered as an extension of the latter onto arbitrary abelian groups, provided that there is "not too much torsion involved".

Keywords

Cite

@article{arxiv.2008.09380,
  title  = {Small doubling in groups with moderate torsion},
  author = {Vsevolod F. Lev},
  journal= {arXiv preprint arXiv:2008.09380},
  year   = {2020}
}

Comments

Minor refinements and explanations added in the Introduction as compared to the previous version

R2 v1 2026-06-23T18:00:49.447Z