If has positive density in a finite abelian group, then contains a structured neighbourhood of zero. In a finite-dimensional vector space this neighbourhood can be taken to be a large vector subspace; in a cyclic group it can be taken to be a Bohr set.
New to topics? Read the docs here!