Definably compact groups definable in real closed fields.II

MaRDI QIDQ6286922zbMATH OpenFDO

Authors Eliana Barriga

Publication date 20 May 2017

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)

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$.

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)