A Generalization of Vosper’s Theorem

Abstract

Let ℤ/mℤ be the ring of residual classes modulo m, and let A and B be nonempty subsets of ℤ/mℤ. In this paper, the authors give the structure of A and B for which ∣A + B∣ = ∣A∣ + ∣B∣ − 1 = m − 2.

Keywords

Sumsets / Inverse problem / Vosper’s theorem / Kemperman’s theorem / 11B13

References

[1] Cauchy A L. Recherches sur les nombres. J. École polytech.. 1813, 9: 99-116

[2] Chen Y G. On addition of two sets of integers. Acta Arith.. 1997, 80: 83-87

[3] Chowla S. A theorem on the addition of residue classes: Applications to the number Γ(s) in Waring’s problem. Proc. Indian Acad. Sci.. 1935, 2: 242-243

[4] Christine B, Oriol S, Gilles Z. An analogue of Vosper’s theorem for extension fields. Math. Proc. Cambridge Philos. Soc.. 2017, 163: 423-452

[5] Davenport H. On the addition of residue classes. J. London Math. Soc.. 1935, 10: 30-32

[6] Du S S, Pan H. Restricted sumsets in finite nilpotent groups. Acta Arith.. 2017, 178: 101-123

[7] Guo S G. Restricted sumsets in a finite abelian group. Discrete Math.. 2009, 309: 6530-6534

[8] Kemperman J H B. On small sumsets in an abelian group. Acta Math.. 1960, 103: 63-88

[9] Lev V F. Restricted set addition in groups. I. The classical setting. J. London Math. Soc.. 2000, 62: 27-40

[10] Nathanson M B. Additive number theory. The classical bases. 1996, New York, Springer-Verlag

[11] Oriol, S. and Gilles, Z., On a generalization of a theorem by Vosper, 0, 2000, 10pp.

[12] Shen X S, Yuan P Z. An extension of the Kemperman structure theorem. Acta Math. Sinica (Chin. Ser.). 2006, 49: 1339-1346

[13] Tomas, B., Matt, D. and Amanda, M., A new proof of Kemperman’s theorem, 15, 2015, 20pp.

[14] Vosper A G. The critical pairs of subsets of a group of primes order. J. London Math. Soc.. 1956, 31: 200-205

[15] Vosper A G. Addendum to “The critical pairs of subsets of a group of primes order”. J. London Math. Soc.. 1956, 31: 280-282