In the last set of notes, we obtained the following structural theorem concerning approximate groups:

3,423 more wordsTheorem 1 Let be a finite -approximate group. Then there exists a coset nilprogression of rank and step contained in , such that is covered by left-translates of (and hence also by right-translates of ).