Perfect sumsets in finite Abelian groups Original Research Article

We prove that if G is a finite abelian group of odd order n and A subset of G is of size a such that for every g ε G there exist u, v ε A with g = u + v, then n ≤ [(a - 1)2 + 1]/2 if a is even and n ≤ [(a - 1)2 + 2]/2 if a is odd. We show that equality occurs if and only if n ε {3, 5, 9, 13, 25, 243}.