Splitting definably compact groups in o-minimal structures

DOI10.2178/JSL/1309952529zbMATH Open1247.03062arXiv1001.2229OpenAlexW2963527221MaRDI QIDQ3173535FDOQ3173535

Marcello Mamino

Publication date: 10 October 2011

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: An argument of A.Borel shows that every compact connected Lie group is homeomorphic to the Cartesian product of its derived subgroup and a torus. We prove a parallel result for definably compact definably connected groups definable in an o-minimal expansion of a real closed field. As opposed to the Lie case, however, we provide an example showing that the derived subgroup may not have a definable semidirect complement.

Full work available at URL: https://arxiv.org/abs/1001.2229

zbMATH Keywords

fibre bundleso-minimalitydefinable groups

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Sectioning fiber spaces and bundles in algebraic topology (55S40)

Cites Work

• Title not available (Why is that?)
• On groups and fields definable in o-minimal structures
• Sous-groupes commutatifs et torsion des groupes de Lie compacts connexes
• ON O-MINIMAL HOMOTOPY GROUPS
• Euler characteristic in semialgebraic and other o-minimal groups
• Definable Compactness and Definable Subgroups of o-Minimal Groups
• One-dimensional Nash groups
• Higher homotopy of groups definable in o-minimal structures

Cited In (4)

• A reduction to the compact case for groups definable in o-minimal structures
• On Levi subgroups and the Levi decomposition for groups definable in \(o\)-minimal structures
• Constructing a group-interval in \(O\)-minimal structures
• Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions

This page was built for publication: Splitting definably compact groups in o-minimal structures

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