Restricted sumsets in a finite abelian group (Q1045192)

In this nice paper the author generalizes a result of the reviewer et al. [see, J. Lond. Math. Soc. (2) 65, No. 3, 513--523 (2002; Zbl 1014.05065)] from the cyclic group \(\mathbb Z/n\mathbb Z\) to a general finite abelian (additive) group \(G\). We put \(G_2\) the subset of \(x \in G\) such that \(2x=0.\) For given sets \(C,D\) we put also \(C r D\) the set of all sums \(c+d\) with \(c \in C, d\in D\) and \(c \neq d.\) More precisely, the author proves (a) If \(A,B\) are subsets of \(G\) with \(\text{card}(A)+\text{card}(B) = \text{card}(G) + \text{card}(G_2)\) then \(\text{card}(G) - \text{card}(A r B) \leq 2.\) (b) The equality case in (a) is completely described.