External definability and groups in NIP theories

DOI10.1112/JLMS/JDU019MaRDI QIDQ2874657zbMATHOpenAlexFDO

Authors Artem Chernikov, Pierre Simon, Anand Pillay

Publication date 8 August 2014

Published in Journal of the London Mathematical Society. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1307.4794

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.) (37B05) Model theory of ordered structures; o-minimality (03C64)

Abstract: We prove that many properties and invariants of definable groups in NIP theories, such as definable amenability, G/G^{00}, etc., are preserved when passing to the theory of the Shelah expansion by externally definable sets, M^{ext}, 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 group conjecture relating the Ellis group to G/G^{00} in some new cases, including definably amenable groups in o-minimal structures.

Recommendations

• Topological dynamics and definable groups
• THE ELLIS GROUP CONJECTURE AND VARIANTS OF DEFINABLE AMENABILITY
• Externally definable quotients and NIP expansions of the real ordered additive group
• Definably amenable NIP groups
• Topological dynamics for groups definable in real closed field

Cites work

• scientific article; zbMATH DE number 193253 (Why is no real title available?)
• Connected components of definable groups and o-minimality. I
• Dependent first order theories, continued
• Externally definable sets and dependent pairs
• Externally definable sets and dependent pairs. II
• Forking and dividing in NTP\(_{2}\) theories
• Generically stable and smooth measures in NIP theories
• Groups, measures, and the NIP
• Minimal bounded index subgroup for dependent theories
• Model theoretic connected components of groups
• On NIP and invariant measures
• On compactifications and the topological dynamics of definable groups
• Some model theory of SL(2,R)
• Topological dynamics and definable groups
• Topological dynamics of definable group actions

Cited in

(21)

• Definably topological dynamics of \(p\)-adic algebraic groups
• Externally definable sets and dependent pairs
• Invariant types in NIP theories
• Elementary classes of finite VC-dimension
• Definable convolution and idempotent Keisler measures
• Externally definable sets and dependent pairs. II
• On minimal flows and definable amenability in some distal NIP theories
• Some model theory and topological dynamics of \(p\)-adic algebraic groups
• Topological dynamics and NIP fields
• Amenability, definable groups, and automorphism groups
• Generalised Bohr compactification and model-theoretic connected components
• Definably amenable NIP groups
• On some dynamical aspects of NIP theories
• Invariant measures in simple and in small theories
• Variations on a theme of de Aldama and Shelah
• On minimal flows, definably amenable groups, and o-minimality
• THE ELLIS GROUP CONJECTURE AND VARIANTS OF DEFINABLE AMENABILITY
• Topological dynamics for groups definable in real closed field
• Definable convolution and idempotent Keisler measures. II.
• Externally definable quotients and NIP expansions of the real ordered additive group
• Topological dynamics and definable groups

This page was built for publication: External definability and groups in NIP theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2874657)