Résume | Une sous-partie d'un groupe infini est IP si elle contient tous les produits finis (sans répétitions) d'un sous-ensemble infini. Le célèbre théorème de Hindman affirme que, pour toute coloration finie des entiers positifs, il existe un ensemble IP monochromatique. Au delà du cas abélien, Bergelson et Tao ont repris un travail de Gowers pour montrer qu'une sous-partie “large” dans un ultraproduit de groupes finis simples non-abéliens est IP.
Dans un travail en commun avec D. Palacin (Freiburg), nous allons donner dans cet exposé une démonstration alternative du résultat précédent, avec des techniques modèles-théoriques élémentaires. |