On subsets of abelian groups with no 3-term arithmetic progression

Abstract A short proof of the following result of Brown and Buhler is given: For any ϵ > 0 there exists n 0 = n 0 ( ϵ ) such that if A is an abelian group of odd order | A | > n 0 and B ⊆ A with | B | > ϵ | A |, then B must contain three distinct elements x , y , z satisfying x + y = 2 z .