Roth's theorem in Z_4^n

Abstract

We show that if A is a subset of Z_4^n containing no three-term arithmetic progression in which all the elements are distinct then |A|=o(4^n/n).