Dans son article Stable group theory and approximatesubgroups (2011), Hrushovski montre (et utilise de manière essentielle)un résultat, auquel on se réfère depuis comme le théorème dustabilisateur, qui permet sous certaines hypothèse locales(mais sansstabilité ni simplicité) de construire des groupes (stabilisateurs d'untype, dans un certain sens) infiniment définissables.Tout récemment, dans un travail sur les Groups with f-generics in NTP_2and PRC fields, Montenegro, Onshuus et Simon en démontrent uneversion un petit peu différente, avec des hypothèses un peu plus fortes,mais une preuve plus simple. C'est cette version dont je me propose devous […]

A longueur de chaîne finie fixée N+2, nous axiomatisons la théorie commune à tous les groupes valués (Z, +, v, I), c'est-à-dire la théorie commune à toutes les structures obtenues en munissant le groupe additif de Z de prédicats pour N sous-groupes non nuls formant une chaîne strictement décroissante. Nous présentons un langage dans lequel tout modèle de cette théorie a l'élimination des quantificateurs. Ces deux résultats découlent d'un même lemme que l'on démontre en se ramenant à une paire de groupes (c'est-à-dire à une chaîne de valuation de longueur […]