Prefer a chat interface with context about you and your work?
Roth’s theorem in ℤ<sub>4</sub><sup><i>n</i></sup>
We show that if A ⊂ ޚ n 4 contains no three-term arithmetic progressions in which all the elements are distinct then |A| = o(4 n /n).