半正规环（据Thierry Coquand）
交换代数
2026-03-03 v2
摘要
Traverso-Swan定理指出：一个约化环A是半正规的，当且仅当从Pic(A)到Pic(A[X])的自然同态是一个同构。我们在此给出理解Thierry Coquand于论文On seminormality. J. Algebra 305, no. 1-3, 577-584, (2006)中给出的该结果的初等构造性证明所需的全部细节。在这个新版本中，我们修正了定理3.8中的一个小笔误：原先遗漏了半正规这一假设。
引用
@article{arxiv.2310.09763,
title = {Seminormal Rings (following Thierry Coquand)},
author = {Henri Lombardi and Claude Quitté},
journal= {arXiv preprint arXiv:2310.09763},
year = {2026}
}