Abstract
We show that an infinite group G definable in a 1-h-minimal field admits a strictly K-differentiable structure with respect to which G is a (weak) Lie group, and we show that definable local subgroups sharing the same Lie algebra have the same germ at the identity. We conclude that infinite fields definable in K are definably isomorphic to finite extensions of K and that 1-dimensional groups definable in K are finite-by-Abelian-by-finite. Along the way, we develop the basic theory of definable weak K-manifolds and definable morphisms between them.
Original language | American English |
---|---|
Journal | Journal of the Institute of Mathematics of Jussieu |
DOIs | |
State | Accepted/In press - 1 Jan 2024 |
Keywords
- groups
- lie groups
- model theory
- valuation
All Science Journal Classification (ASJC) codes
- General Mathematics