We give an arithmetic version of the recent proof of the triangle removal lemma by Fox [Fox11], for the group
This problem was first studied by Green [Gre05] who proved a lower bound on
The improved lower bound was already known to follow (for triangle-removal in all groups) using Fox’s removal lemma for directed cycles and a reduction by Král, Serra, and Vena~\cite{KSV09} (see [Fox11, CF13]). The purpose of this note is to provide a direct Fourier-analytic proof for the group
1970-2025 CP (Manitoba, Canada) unless otherwise stated.