Groups definable in two orthogonal sorts

DOI10.1007/S11856-015-1205-5zbMATH Open1382.03064OpenAlexW1634855865MaRDI QIDQ891089FDOQ891089

Authors Alessandro Berarducci, Marcello Mamino

Publication date 16 November 2015

Published in Israel Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

group extensionsLie structureLascar rankunstable sort

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) General properties and structure of other Lie groups (22E20)

Abstract: This work can be thought as a contribution to the model theory of group extensions. We study the groups G which are interpretable in the disjoint union of two structures (seen as a two-sorted structure). We show that if one of the two structures is superstable of finite Lascar rank and the Lascar rank is definable, then G is an extension of a group internal to the (possibly) unstable sort by a definable subgroup internal to the stable sort. In the final part of the paper we show that if the unstable sort is an o-minimal expansion of the reals, then G has a natural Lie structure and the extension is a topological cover.

Recommendations

• scientific article; zbMATH DE number 7604935
• Groups definable in ordered vector spaces over ordered division rings
• ON 2-ORDERED GROUPS
• On some classes of orderable groups
• scientific article; zbMATH DE number 3557860
• ON THE THEORY OF 2-ORDERED GROUPS
• scientific article; zbMATH DE number 1421722
• A characterization of some orthogonal groups
• The Classification of Groups of Order 2p
• scientific article; zbMATH DE number 4172990

Cites work

• scientific article; zbMATH DE number 1002918 (Why is no real title available?)
• A course in model theory
• COVERS OF THE MULTIPLICATIVE GROUP OF AN ALGEBRAICALLY CLOSED FIELD OF CHARACTERISTIC ZERO
• Definable Compactness and Definable Subgroups of o-Minimal Groups
• Definable quotients of locally definable groups
• Discrete subgroups of locally definable groups
• Group covers, o-minimality, and categoricity
• Groups, group actions and fields definable in first-order topological structures
• Interpretable groups are definable
• On central extensions and definably compact groups in o-minimal structures
• On groups and fields definable in o-minimal structures
• On the homotopy type of definable groups in an o-minimal structure
• Ranks and definability in superstable theories
• The universal covering homomorphism in o‐minimal expansions of groups
• Type-definable and invariant groups in o-minimal structures

Cited in

(5)

• scientific article; zbMATH DE number 1064589 (Why is no real title available?)
• Orthogonal decomposition of definable groups
• One Lie group to define them all
• The right angle to look at orthogonal sets
• On Pillay's conjecture in the general case

This page was built for publication: Groups definable in two orthogonal sorts

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