Definable groups in topological fields with a generic derivation

Abstract

We continue the study of a class of topological L-fields endowed with a generic derivation δ, focussing on describing definable groups. We show that one can associate to an L ∪ {δ} definable group a type L-definable topological group. We use the group configuration tool in o-minimal structures as developed by K. Peterzil.