具有自由算子的微分域的模型伴
逻辑
2014-08-11 v1
摘要
证明了特征为零且配备有与导子交换的自由算子的偏微分域理论存在模型伴。此处的自由算子引自 [R. Moosa 和 T. Scanlon, Model theory of fields with free operators in characteristic zero, Preprint 2013]。证明依赖于微分代数中的一个新提升引理：即针对微分闭域上局部有限代数的微分版本 Hensel 引理。
引用
@article{arxiv.1408.1941,
title = {The model companion of differential fields with free operators},
author = {Omar Leon Sanchez and Rahim Moosa},
journal= {arXiv preprint arXiv:1408.1941},
year = {2014}
}