Pseudofinite groups with NIP theory and definability in finite simple groups
نویسندگان
چکیده
We show that any pseudofinite group with NIP theory and with a finite upper bound on the length of chains of centralisers is soluble-by-finite. In particular, any NIP rosy pseudofinite group is soluble-by-finite. This generalises, and shortens the proof of, an earlier result for stable pseudofinite groups. An example is given of an NIP pseudofinite group which is not soluble-by-finite. However, if C is a class of finite groups such that all infinite ultraproducts of members of C have NIP theory, then there is a bound on the index of the soluble radical of any member of C. We also survey some ways in which model theory gives information on families of finite simple groups, particularly concerning products of images of word maps.
منابع مشابه
Remarks on compactifications of pseudofinite groups
We discuss the Bohr compactification of a pseudofinite group, motivated by a question of Boris Zilber. Basically referring to results in the literature we point out that (i) the Bohr compactification of an ultraproduct of finite simple groups is trivial, and (ii) the “definable” Bohr compactification of any pseudofinite group G, relative to an ambient nonstandard model of set theory in which it...
متن کاملGroups in supersimple and pseudofinite theories
We consider groups G interpretable in a supersimple finite rank theory T such that T eq eliminates ∃∞. It is shown that G has a definable soluble radical. If G has rank 2, then if G is pseudofinite it is soluble-by-finite, and partial results are obtained under weaker hypotheses, such as unimodularity of the theory. A classification is obtained when T is pseudofinite and G has a definable and d...
متن کاملExternal definability and groups in NIP theories
We prove that many properties and invariants of definable groups in NIP theories, such as definable amenability, G/G00, etc., are preserved when passing to the theory of the Shelah expansion by externally definable sets, Mext, of a model M . In the light of these results we continue the study of the “definable topological dynamics” of groups in NIP theories. In particular we prove the Ellis gro...
متن کاملStable pseudofinite groups
The main theorem is that if G is a pseudofinite group with stable theory, then G has a definable normal soluble subgroup of finite index.
متن کاملCoherence and Uniform Definability of Types Over Finite Sets
We define a notion of a coherent theory, and show that it is sufficient to imply uniform definability of types over finite sets (UDTFS). This gives additional information on the NIP ↔ UDTFS conjecture, discussed in [3] and [1]. We show that dp-minimal theories are coherent in their minimal formulas.
متن کامل