Scifaro

中文

微分草甸

环与代数 2009-02-07 v1 计算机科学中的逻辑交换代数

作者: Jan A. Bergstra , Alban Ponse

在 arXiv 上查看 ↗ PDF ↗

摘要

草甸是一种零全化域（ $0^{-1}=0$ ），而消去草甸是不含非零零因子的草甸。本文研究微分草甸，即配备微分算子的草甸。我们给出了这些算子的等式公理化，从而获得了微分消去草甸的有限基。利用 Zariski 拓扑，我们证明了微分消去草甸的存在性。

关键词

草甸微分草甸消去草甸等式公理化零全化域 Zariski 拓扑

引用

@article{arxiv.0804.3336,
  title  = {Differential Meadows},
  author = {Jan A. Bergstra and Alban Ponse},
  journal= {arXiv preprint arXiv:0804.3336},
  year   = {2009}
}

备注

8 pages, 2 tables