TY - JOUR

T1 - ON DEFINABLE GROUPS and D-GROUPS in CERTAIN FIELDS with A GENERIC DERIVATION

AU - Peterzil, Ya'Acov

AU - Pillay, A. N.A.N.D.

AU - Point, Françoise

N1 - Publisher Copyright:
© 2024 Cambridge University Press. All rights reserved.

PY - 2024

Y1 - 2024

N2 - We continue our study from [18] of finite dimensional definable groups in models of the theory T, the model companion of an o-minimal L-Theory T expanded by a generic derivation as in [9]. We generalize Buium's notion of an algebraic D-group to Ldefinable D-groups, namely (G, s), where G is a L-definable group in a model of T, and s : G → (G) is an L-definable group section. Our main theorem says that every definable group of finite dimension in a model of T is definably isomorphic to a group of the form (G, s) = {g G : s(g) = g}, for some L-definable D-group (G, s) (where (g) = (g, g)). We obtain analogous results when T is either the theory of padically closed fields or the theory of pseudo-finite fields of characteristic 0.

AB - We continue our study from [18] of finite dimensional definable groups in models of the theory T, the model companion of an o-minimal L-Theory T expanded by a generic derivation as in [9]. We generalize Buium's notion of an algebraic D-group to Ldefinable D-groups, namely (G, s), where G is a L-definable group in a model of T, and s : G → (G) is an L-definable group section. Our main theorem says that every definable group of finite dimension in a model of T is definably isomorphic to a group of the form (G, s) = {g G : s(g) = g}, for some L-definable D-group (G, s) (where (g) = (g, g)). We obtain analogous results when T is either the theory of padically closed fields or the theory of pseudo-finite fields of characteristic 0.

UR - http://www.scopus.com/inward/record.url?scp=85182916162&partnerID=8YFLogxK

U2 - 10.4153/S0008414X24000063

DO - 10.4153/S0008414X24000063

M3 - Article

AN - SCOPUS:85182916162

SN - 0008-414X

JO - Canadian Journal of Mathematics

JF - Canadian Journal of Mathematics

ER -