Berarducci, A. orcid.org/0000-0002-9927-1147, Eleftheriou, P.E. and Mamino, M. orcid.org/0000-0001-9037-5903 (2023) Orthogonal Decomposition of Definable Groups. The Journal of Symbolic Logic. ISSN 0022-4812
Abstract
Orthogonality in model theory captures the idea of absence of non-trivial interactions between definable sets. We introduce a somewhat opposite notion of cohesiveness, capturing the idea of interaction among all parts of a given definable set. A cohesive set is indecomposable, in the sense that if it is internal to the product of two orthogonal sets, then it is internal to one of the two. We prove that a definable group in an o-minimal structure is a product of cohesive orthogonal subsets. If the group has dimension one, or it is definably simple, then it is itself cohesive. As an application, we show that an abelian group definable in the disjoint union of finitely many o-minimal structures is a quotient, by a discrete normal subgroup, of a direct product of locally definable groups in the single structures.
Metadata
Authors/Creators: |
|
||||
---|---|---|---|---|---|
Copyright, Publisher and Additional Information: | © The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic. This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited. | ||||
Keywords: | model theory, definable groups, o-minimality, NIP theories | ||||
Dates: |
|
||||
Institution: | The University of Leeds | ||||
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds) | ||||
Funding Information: |
|
||||
Depositing User: | Symplectic Publications | ||||
Date Deposited: | 19 Oct 2023 15:35 | ||||
Last Modified: | 01 Feb 2024 01:14 | ||||
Published Version: | https://www.cambridge.org/core/journals/journal-of... | ||||
Status: | Published online | ||||
Publisher: | Cambridge University Press | ||||
Identification Number: | https://doi.org/10.1017/jsl.2023.56 |
Downloads
Filename: orthogonal-decomposition-of-definable-groups.pdf
Licence: CC-BY 4.0