Interpretable groups are definable

DOI10.1142/S0219061314500020MaRDI QIDQ2878779zbMATH OpenOpenAlexFDO

Authors Pantelis E. Eleftheriou, Janak Ramakrishnan, Ya'acov Peterzil

Publication date 5 September 2014

Published in Journal of Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

o-minimalitydefinable groupselimination of imaginariesinterpretable groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) General properties and structure of real Lie groups (22E15) Applications of logic to group theory (20A15)

Abstract: We prove that in an arbitrary o-minimal structure, every interpretable group is definably isomorphic to a definable one. We also prove that every definable group lives in a cartesian product of one-dimensional definable group-intervals (or one-dimensional definable groups). We discuss the general open question of elimination of imaginaries in an o-minimal structure.

Recommendations

• On interpretability in varieties of groups
• Definable groups in DCFA
• Groups and Fields Interpretable in Separably Closed Fields
• scientific article; zbMATH DE number 1064589
• Definability of abelian groups
• scientific article; zbMATH DE number 1789948
• Groups definable in separably closed fields
• Definability and definable groups in simple theories
• Definable groups in models of Presburger arithmetic
• INTERPRETABLE GROUPS, STABLY EMBEDDED SETS, AND VAUGHTIAN PAIRS

Cites work

• A trichotomy theorem for o-minimal structures
• Constructing a group-interval in \(O\)-minimal structures
• DEFINABLY COMPACT ABELIAN GROUPS
• Dedekind Completeness and the Algebraic Complexity of o-Minimal Structures
• Definably simple groups in o-minimal structures
• Local analysis for semi-bounded groups
• On central extensions and definably compact groups in o-minimal structures
• On groups and fields definable in o-minimal structures
• Returning to semi-bounded sets
• Solvable groups definable in o-minimal structures.
• Some remarks on definable equivalence relations in O-minimal structures
• Type-definable and invariant groups in o-minimal structures

Cited in

(17)

• INTERPRETING GROUPS INSIDE MODULAR STRONGLY MINIMAL HOMOGENEOUS MODELS
• Invariance of o-minimal cohomology with definably compact supports
• Groups definable in two orthogonal sorts
• On groups interpretable in various valued fields
• Characterizing o-minimal groups in tame expansions of o-minimal structures
• Beautiful groups
• Interpretable sets in dense o-minimal structures
• INTERPRETABLE GROUPS, STABLY EMBEDDED SETS, AND VAUGHTIAN PAIRS
• Fundamental group in o-minimal structures with definable Skolem functions
• Euler characteristic of imaginaries in o‐minimal structures
• scientific article; zbMATH DE number 1064589 (Why is no real title available?)
• Orthogonal decomposition of definable groups
• Division rings with ranks
• scientific article; zbMATH DE number 4077182 (Why is no real title available?)
• On Pillay's conjecture in the general case
• Topologizing interpretable groups in \(p\)-adically closed fields
• Linearity of groups definable in o-minimal structures

This page was built for publication: Interpretable groups are definable

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