Small doubling in groups with moderate torsion
Abstract
We determine the structure of a finite subset of an abelian group given that , ; namely, we show that is contained either in a "small" one-dimensional coset progression, or in a union of fewer than cosets of a finite subgroup. The bounds and 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 is sharp. In the case where the underlying group is infinite cyclic, our result reduces to the well-known Freiman's -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".
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