Groups definable in partial differential fields with an automorphism

Abstract

In this paper we study groups definable in existentially closed partial differential fields of characteristic 0 with an automorphism which commutes with the derivations. In particular, we study Zariski dense definable subgroups of simple algebraic groups, and show an analogue of Phyllis Cassidy’s result for partial differential fields. We also show that these groups have a smallest definable subgroup of finite index.