Kneser's theorem (combinatorics)

In mathematics, in the field of additive combinatorics, Kneser's theorem is a statement about set addition in finite groups.

Statement

Let G be a non-trivial abelian group and A, B finite subsets. If |A| + |B| ≤ |G| then there is a proper subgroup H of G such that

$|A+B|\geq |A|+|B|-|H|.$

References

• Nathanson, Melvyn B. (1996). Additive Number Theory: Inverse Problems and the Geometry of Sumsets. Graduate Texts in Mathematics. Vol. 165. Springer-Verlag. pp. 109–132. ISBN 0-387-94655-1. Zbl 0859.11003.