从构造性视角重访Zariski主定理
交换代数
2016-02-02 v1
摘要
本文讨论1965年发表的Peskine版Zariski主定理并探讨若干应用。文章以Bishop构造性数学的风格写成。由于是构造性的，本文中的每个证明都可解释为从假设显式构造结论的算法。Peskine证明中的主要非构造性论证是使用了极小素理想。本质上，我们用两个动态论证替代此点：一个关于利用子结式的最大公因子，另一个利用我们的强超越概念。特别地，我们获得了多元Hensel引理与拟有限代数结构定理的算法版本。
引用
@article{arxiv.1602.00597,
title = {Revisiting Zariski Main Theorem from a constructive point of view},
author = {Alonso M. Emilia and Coquand Thierry and Lombardi Henri},
journal= {arXiv preprint arXiv:1602.00597},
year = {2016}
}
备注
This paper appeared in Journal of Algebra, vol. 406, (2014), 46--68. Here, we have fixed two typos