# Structure and regularity for subsets of groups with finite VC-dimension

### Gabriel Conant

University of Cambridge, UK### Anand Pillay

University of Notre Dame, USA### Caroline Terry

University of Chicago, USA

## Abstract

Suppose $G$ is a finite group and $A\subseteq G$ is such that $\{gA:g\in G\}$ has VC-dimension strictly less than $k$. We find algebraically well-structured sets in $G$ which, up to a chosen $\epsilon>0$, describe the structure of $A$ and behave regularly with respect to translates of $A$. For the subclass of groups with uniformly fixed finite exponent $r$, these algebraic objects are normal subgroups with index bounded in terms of $k$, $r$, and $\epsilon$. For arbitrary groups, we use Bohr neighborhoods of bounded rank and width inside normal subgroups of bounded index. Our proofs are largely model-theoretic, and heavily rely on a structural analysis of compactifications of pseudofinite groups as inverse limits of Lie groups. The introduction of Bohr neighborhoods into the nonabelian setting uses model-theoretic methods related to the work of Breuillard, Green, and Tao [8] and Hrushovski [28] on approximate groups, as well as a result of Alekseev, Glebskiĭ, and Gordon [1] on approximate homomorphisms.

## Cite this article

Gabriel Conant, Anand Pillay, Caroline Terry, Structure and regularity for subsets of groups with finite VC-dimension. J. Eur. Math. Soc. 24 (2022), no. 2, pp. 583–621

DOI 10.4171/JEMS/1111