加载中…
We show that an infinite group definable in a -h-minimal field admits a strictly -differentiable structure with respect to which is a (weak) Lie group, and show that definable local subgroups sharing the same Lie algebra have the same germ at the identity. We conclude that infinite fields definable in are definably isomorphic to finite extensions of and that -dimensional groups definable in are finite-by-abelian-by-finite. Along the way we develop the basic theory of definable weak -manifolds and definable morphisms between them.

生成讲解博客的中文版本

生成AI智能校验的中文版本