Definability of continuous isomorphisms of groups definable in o-minimal expansions of the real field

arXiv2302.04251MaRDI QIDQ6508752FDOQ6508752

Abstract: In this paper, we study the relation between the category of real Lie groups and that of groups definable in o-minimal expansions of the real field (which we will refer to as ``definable groups). It is known (cite{Pi88}) that any group definable in an o-minimal expansion of the real field is a Lie group, and in cite{COP} a complete characterization of when a Lie group has a ``definable group which is Lie isomorphic to it was given. In this paper we continue the analysis by explaining when a Lie homomorphism between definable groups is a definable isomorphism.

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) General properties and structure of real Lie groups (22E15)

This page was built for publication: Definability of continuous isomorphisms of groups definable in o-minimal expansions of the real field

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