Definably compact groups definable in real closed fields.II

arXiv1705.07370MaRDI QIDQ6286922FDOQ6286922

Authors: Eliana Barriga 

Publication date: 20 May 2017

Abstract: We continue the analysis of definably compact groups definable in a real closed field $mathcalR$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $mathcalR$ there are a connected $R$-algebraic group $H$, a definable injective map $phi$ from a generic definable neighborhood of the identity of $G$ into the group $Hleft(Right)$ of $R$-points of $H$ such that $phi$ acts as a group homomorphism inside its domain. The above result and our study of locally definable covering homomorphisms for locally definable groups combine to prove that if such group $G$ is in addition abelian, then its o-minimal universal covering group $widetildeG$ is definably isomorphic, as a locally definable group, to a connected open locally definable subgroup of the o-minimal universal covering group $widetildeHleft(Right{)}^0$ of the group $Hleft(Right{)}^0$ for some connected $R$-algebraic group $H$.

Mathematics Subject Classification ID

Linear algebraic groups over the reals, the complexes, the quaternions (20G20) Model theory of ordered structures; o-minimality (03C64) General properties and structure of real Lie groups (22E15) Locally compact abelian groups (LCA groups) (22B99) Other classical first-order model theory (03C68)

This page was built for publication: Definably compact groups definable in real closed fields.II

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