抽象代数中的隐藏构造：分配格与交换环的Krull维数
交换代数
2018-01-03 v1
摘要
我们给出交换环与分配格的Krull维数理论的建设性版本。这些建设性版本的基础归功于Joyal、Español以及本文作者。我们表明，Krull维数的概念具有显式的计算内容，其形式为某些代数恒等式的存在（或不存在）。我们由此能够获得显式的计算内容，其中关于维数的抽象结果被用于证明具体元素的存在。这可被视为对经典抽象交换代数的希尔伯特纲领的部分实现。
引用
@article{arxiv.1801.00097,
title = {Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings},
author = {Thierry Coquand and Henri Lombardi},
journal= {arXiv preprint arXiv:1801.00097},
year = {2018}
}
备注
This paper has been published in 2003. Here we have updated the bibliography. arXiv admin note: substantial text overlap with arXiv:1712.04725