Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1550

Preprint Number 1550

Previous Next Preprint server

1550. Isaac Goldbring
On the nonexistence of Følner sets

Submission date: 8 January 2019


We show that there is n in ℕ, a finite system Σ (x, y) of equations and inequations having a solution in some group, where x has length n, and ε >0 such that: for any group G and any a in G^n, if the system Σ (a, y) has a solution in G, then there is no (a, ε)-Følner set in G. The proof uses ideas from model-theoretic forcing together with the observation that no amenable group can be existentially closed. Along the way, we also observe that no existentially closed group can be exact, have the Haagerup property, or have property (T). Finally, we show that, for n large enough and for ε small enough, the existence of (F,ε)-F&oslah;lner sets, where F has size at most n, cannot be expressed in a first-order way uniformly in all groups.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1901.02445: pdf, ps.

Last updated: March 23 2021 10:21 Please send your corrections to: