Definable Groups in DCFA
arXiv:1904.11586
Abstract
E. Hrushovski proved that the theory of difference-differential fields of characteristic zero has a model-companion. We denote it DCFA. In this paper we study definable groups in a model of DCFA. First we prove that such a group is embeds on an algebraic group. Then we study 1-basedeness, stability and stable embeddability of abelian definable groups.
11 pages