Abstract
We show that for $G$ a simple compact Lie group, the infinitesimal subgroup $G^{00}$ is bi-intepretable with a real closed valued field. We deduce that for $G$ an infinite definably compact group definable in an o-minimal expansion of a field, $G^{00}$ is bi-interpretable with the disjoint union of a (possibly trivial) $\mathbb{Q}$-vector space and finitely many (possibly zero) real closed valued fields. We also describe the isomorphisms between such infinitesimal subgroups, and along the way prove that every {\em definable} field in a real closed convexly valued field $R$ is definably isomorphic to $R$.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.