贝祖环的合冲定理
交换代数
2024-01-31 v4
摘要
我们遵循施赖尔（Schreyer）的方法，给出了希尔伯特合冲定理在Z和Z/nZ上的构造性版本。此外，我们将这些结果推广到任意相干严格贝祖环，在首项模有限生成的有限生成模情形下带有可除性检验。
引用
@article{arxiv.1905.08117,
title = {The syzygy theorem for B\'ezout rings},
author = {Maroua Gamanda and Henri Lombardi and Stefan Neuwirth and Ihsen Yengui},
journal= {arXiv preprint arXiv:1905.08117},
year = {2024}
}
备注
This version differs from the published version for the statement and proof of Theorem 5.5, the statement of Theorems 5.8 and 6.2, as well as the free resolution at the end of Example 6.7. The changes have been typeset in green