Embedding stable groups into algebraic groups

Abstract

Adapting a proof of Bouscaren and Delon, we show that every type-definable connected group in a given stable theory of fields embeds into an algebraic group, under a condition on the definable closure. We also present general hypotheses which yield a uniform description of the definable closure in such theories of fields. The setting includes in particular the theories of separably closed fields of arbitrary degree of imperfection and differentially closed fields of arbitrary characteristic.

Categories