On the critical pair theory in Z/pZ

Let A and B be subsets of Z/pZ such that |A+B| < |A|+|B|+2. We prove that, if |A|>3, |B|>4, |A+B|<p-4 and p > 52, then A and B are included in arithmetic progressions with the same difference and of size |A|+2 and |B|+2 respectively. This extends the well-known theorem of Vosper and a recent result of Rodseth and one of the present authors.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.