Interpretable groups are definable

DOI10.1142/S0219061314500020zbMATH Open1337.03053arXiv1110.6581OpenAlexW1965210706MaRDI QIDQ2878779FDOQ2878779

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)

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.

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

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

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)

Cites Work

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

Cited In (17)

• 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
• Euler characteristic of imaginaries in o‐minimal structures
• Fundamental group in o-minimal structures with definable Skolem functions
• Title not available (Why is that?)
• Orthogonal decomposition of definable groups
• Division rings with ranks
• Title not available (Why is that?)
• On Pillay's conjecture in the general case
• Topologizing interpretable groups in \(p\)-adically closed fields
• INTERPRETING GROUPS INSIDE MODULAR STRONGLY MINIMAL HOMOGENEOUS MODELS
• 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)