Stable group theory and approximate subgroups

  title={Stable group theory and approximate subgroups},
  author={Ehud Hrushovski},
  journal={arXiv: Logic},
We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite subset X with |X X \^{-1} X |/ |X| bounded is close to a finite subgroup, or else to a subset of a proper algebraic subgroup of G. We also find a connection with Lie groups, and use it to obtain some consequences suggestive of topological nilpotence. Combining these methods with Gromov's proof, we show… 

Probabilistically-like nilpotent groups

We give a model-theoretic proof of a result of Shalev on probabilistically finite nilpotent groups. More generally, we prove that a group where the equation $[x_1,\ldots,x_k]=1$ holds on a wide set,

Growth in finite simple groups of Lie type of bounded rank

We prove that if L is a finite simple group of Lie type and A a symmetric set of generators of L, then A grows i.e |AAA| > |A|^{1+epsilon} where epsilon depends only on the Lie rank of L, or AAA=L.

Fundamental Groups and Limits of Almost Homogeneous Spaces

We show that for a sequence of proper length spaces $X_n$ with groups $\Gamma_n$ acting discretely and almost transitively by isometries, if they converge to a proper semilocally simply connected

Stability in a group

  • G. Conant
  • Mathematics
    Groups, Geometry, and Dynamics
  • 2021
We develop local stable group theory directly from topological dynamics, and extend the main results in this subject to the setting of stability "in a model". Specifically, given a group $G$, we

Locally definable and approximate subgroups of semialgebraic groups

We prove the following instance of a conjecture stated in arXiv:1103.4770. Let $G$ be an abelian semialgebraic group over a real closed field $R$ and let $X$ be a semialgebraic subset of $G$. Then

Approximate subgroups of residually nilpotent groups

We show that a K -approximate subgroup A of a residually nilpotent group G is contained in boundedly many cosets of a finite-by-nilpotent subgroup, the nilpotent factor of which is of bounded step.

The structure of approximate groups

Let K⩾1 be a parameter. A K-approximate group is a finite set A in a (local) group which contains the identity, is symmetric, and such that A⋅A is covered by K left translates of A.The main result of

Good Models, Infinite Approximate Subgroups and Approximate Lattices.

We define good models of approximate subgroups and use them to study various classes of approximate subgroups. In particular, we show a closed-approximate-subgroup theorem, we extend to all amenable


  • F. Wagner
  • Mathematics
    The Journal of Symbolic Logic
  • 2020
This work deduces chain conditions for groups, definability results for fields and domains, and shows that a pseudofinite group of dimension 1 contains a soluble subgroup of dimension 2.

Both scatteredness and asymptotic freedom concern a complete type p within a piecewise interpretable

We study Hilbert spaces H interpreted, in an appropriate sense, in a first-order theory. Under a new finiteness hypothesis that we call scatteredness we prove that H is a direct sum of asymptotically



Finite subgroups of algebraic groups

Generalizing a classical theorem of Jordan to arbitrary characteristic, we prove that every finite subgroup of GLn over a field of any characteristic p possesses a subgroup of bounded index which

Product decompositions of quasirandom groups and a Jordan type theorem

We first note that a result of Gowers on product-free sets in groups has an unexpected consequence: If k is the minimal degree of a representation of the finite group G, then for every subset B of G

Model Theory with Applications to Algebra and Analysis: Counting and dimensions

We prove a theorem comparing a well-behaved dimension notion to a second, more rudimentary dimension. Specialising to a non-standard counting measure, this generalizes a theorem of Larsen and Pink on

A Finitary Version of Gromov’s Polynomial Growth Theorem

We show that for some absolute (explicit) constant C, the following holds for every finitely generated group G, and all d > 0: If there is someR0 > exp(exp(CdC)) for which the number of elements in a

Introduction to stability theory

The aim of this course is to give an introduction to stability theory and some of its generalizations, and to survey some applications and connections to other subjects such as set theory, algebra and combinatorics.

Approximate Subgroups of Linear Groups

We establish various results on the structure of approximate subgroups in linear groups such as SLn(k) that were previously announced by the authors. For example, generalising a result of Helfgott

Freiman's theorem for solvable groups

  • T. Tao
  • Mathematics
    Contributions Discret. Math.
  • 2010
Freiman's theorem is extended further to solvable groups of bounded derived length, in which the coset progressions are replaced by the more complicated notion of a ``coset nilprogression'', and a strengthening of the Milnor-Wolf theorem that all solvablegroups of polynomial growth are virtually nilpotent.

Groups, measures, and the NIP

We discuss measures, invariant measures on definable groups, and genericity, often in an NIP (failure of the independence property) environment. We complete the proof of the third author’s

Gromov's theorem on groups of polynomial growth and elementary logic

A quantitative version of the idempotent theorem in harmonic analysis

Suppose that G is a locally compact abelian group, and write M(G) for the algebra of bounded, regular, complex-valued measures under convolution. A measure // G M(G) is said to be idempotent if /x*/i