On the o-minimal Hilbert's fifth problem

MaRDI QIDQ6263545zbMATH OpenFDO

Authors Mário J. Edmundo, Marcello Mamino, Luca Prelli, Janak Ramakrishnan, Giuseppina Terzo

Publication date 13 July 2015

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Sheaf cohomology in algebraic topology (55N30)

Abstract: Let $mathbbM$ be an arbitrary o-minimal structure. Let $G$ be a definably compact definably connected abelian definable group of dimension $n$. Here we compute the new the intrinsic o-minimal fundamental group of $G;$ for each $k>0$, the $k$-torsion subgroups of $G;$ the o-minimal cohomology algebra over $mathbbQ$ of $G.$ As a corollary we obtain a new uniform proof of Pillay's conjecture, an o-minimal analogue of Hilbert's fifth problem, relating definably compact groups to compact real Lie groups, extending the proof already known in o-minimal expansions of ordered fields.

This page was built for publication: On the o-minimal Hilbert's fifth problem

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