One-dimensional groups definable in o-minimal structures (Q1339385): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: A generalization of the Tarski-Seidenberg theorem, and some nondefinability results / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: One-dimensional Nash groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On groups and fields definable in o-minimal structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Definable Sets in Ordered Structures. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: One-dimensional groups over an o-minimal structure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Euler characteristic in semialgebraic and other o-minimal groups / rank | |||
Normal rank |
Latest revision as of 10:45, 23 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | One-dimensional groups definable in o-minimal structures |
scientific article |
Statements
One-dimensional groups definable in o-minimal structures (English)
0 references
1 December 1994
0 references
The setting is an o-minimal structure whose domain has definably the structure of an ordered field \(R\) (which will have to be real closed), and there is a definable one-dimensional group \(G\). It is shown that \(G\) is definably isomorphic to an Abelian group \(H\) on (0,1) or \(S'\), with continuous group action. In particular, \(G\) cannot have Euler characteristic 1. It is also shown that if \(R= \mathbb{R}\), then there is a (possibly not definable) group homomorphism \(\phi: (\mathbb{R},+)\to H\) such that if \(H= (0,1)\), then \(\phi\) is a homeomorphism, and if \(H= S'\), then \(\phi\) is a covering.
0 references
one-dimensional groups
0 references
real closed field
0 references
o-minimal structure
0 references