关于某些带有通用导数的域中可定义群和D群
摘要：有限维可定义群在通过泛洪升级的o-minimal L-理论T的模型中的研究继续进行，就像[F-K]中介绍的那样。 我们推广Buium对于代数D-群的概念到L-可定义D-群，即(G,s)，其中G是T理论模型中的L-可定义群，s是G的延拓的L-可定义群截面。我们的主要定理表明，在T理论的模型中，每个有限维可定义群都可定义同构于L-可定义D-群的“尖锐”点。 当T是p-完全闭域理论或零特征伪有限域理论时，我们得到类似的结果。
作者：Ya'acov Peterzil, Anand Pillay and Francoise Point
论文ID：2305.16747
分类：Logic
分类简称：math.LO
提交时间：2023-05-29