Characterizing o-minimal groups in tame expansions of o-minimal structures

DOI10.1017/S1474748019000392MaRDI QIDQ5854902zbMATH OpenOpenAlexFDO

Authors Pantelis E. Eleftheriou

Publication date 12 March 2021

Published in Journal of the Institute of Mathematics of Jussieu (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

independent setdefinable groupo-minimalitydimension functiontame expansion

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64) Other classical first-order model theory (03C68)

Abstract: We establish the first global results for groups definable in tame expansions of o-minimal structures. Let $mathcalN$ be an expansion of an o-minimal structure $mathcalM$ that admits a good dimension theory. The setting includes dense pairs of o-minimal structures, expansions of $mathcalM$ by a Mann group, or by a subgroup of an elliptic curve, or a dense independent set. We prove: (1) a Weil's group chunk theorem that guarantees a definable group with an o-minimal group chunk is o-minimal, (2) a full characterization of those definable groups that are o-minimal as those groups that have maximal dimension; namely their dimension equals the dimension of their topological closure, (3) if $mathcalN$ expands $mathcalM$ by a dense independent set, then every definable group is o-minimal.

Recommendations

• Structure theorems in tame expansions of o-minimal structures by a dense set
• Groups definable in linear o-minimal structures: the non-compact case
• Structure theorems for o-minimal expansions of groups
• Definable Compactness and Definable Subgroups of o-Minimal Groups
• On groups and fields definable in o-minimal structures

Cites work

• scientific article; zbMATH DE number 3937151 (Why is no real title available?)
• scientific article; zbMATH DE number 1187511 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 1444018 (Why is no real title available?)
• A growth dichotomy for o-minimal expansions of ordered groups
• An open mapping theorem for o-minimal structures
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• Definable groups as homomorphic images of semi-linear and field-definable groups
• Dimension of definable sets, algebraic boundedness and Henselian fields
• Expansions of o-minimal structures by dense independent sets
• Expansions which introduce no new open sets
• Fields with a dense-codense linearly independent multiplicative subgroup
• Geometric structures with a dense independent subset
• Groups, group actions and fields definable in first-order topological structures
• Groups, measures, and the NIP
• Interpretable groups are definable
• Non-standard lattices and o-minimal groups
• Open core and small groups in dense pairs of topological structures
• Returning to semi-bounded sets
• Solution of a problem of Tarski
• Structure theorems in tame expansions of o-minimal structures by a dense set
• Structures having o-minimal open core
• THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
• The Mordell-Lang conjecture for function fields
• The choice property in tame expansions of o‐minimal structures
• The model theory of the field of reals with a subgroup of the unit circle
• The rational points of a definable set
• The real field with the rational points of an elliptic curve
• Thorn independence in the field of real numbers with a small multiplicative group
• Weil's group chunk theorem: A topological setting
• \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)

Cited in

(7)

• Structure theorems in tame expansions of o-minimal structures by a dense set
• Structure theorems for o-minimal expansions of groups
• Definable groups in dense pairs of geometric structures
• The choice property in tame expansions of o‐minimal structures
• scientific article; zbMATH DE number 7145391 (Why is no real title available?)
• Companionability characterization for the expansion of an o-minimal theory by a dense subgroup
• Strong cell decomposition property in o-minimal traces

This page was built for publication: Characterizing o-minimal groups in tame expansions of o-minimal structures

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