A group version of stable regularity

Abstract

AbstractWe prove that, given ε > 0 and k ≥ 1, there is an integer n such that the following holds. Suppose G is a finite group and A ⊆ G is k-stable. Then there is a normal subgroup H ≤ G of index at most n, and a set Y ⊆ G, which is a union of cosets of H, such that |A △ Y| ≤ε|H|. It follows that, for any coset C of H, either |C ∩ A|≤ ε|H| or |C \ A| ≤ ε |H|. This qualitatively generalises recent work of Terry and Wolf on vector spaces over $\mathbb{F}_p$.