On Subsets of Finite Abelian Groups with No 3-Term Arithmetic Progressions

Abstract Let G be a finite abelian group of odd order and let D(G) denote the maximal cardinality of a subset A ⊂ G which does not contain a 3-term arithmetic progression. It is shown that D(Zk1 ⊕ ⋯ ⊕ Zkn) ⩽ 2((k1 ⋯ kn/n). Together with results of Szemeredi and Heath-Brown it implies that there exists a β > 0 such that D(G) = O(∥G∥/(log ∥G∥)β) for all G.