The trailing terms ideal over a valuation domain

Abstract

We prove that if a valuation domain $\mathbf{V}$ has Krull dimension $\le 1$ then for every finitely generated ideal I of $\mathbf{V}[X]$ the trailing terms ideal $\mathrm{t}\mathrm{t}(I)$ of I (that is, the ideal generated by the trailing terms of the nonzero polynomials in I) is also finitely generated. Heinzer and Papick (1989) and then Lombardi, Schuster and Yengui (2012) have shown the analogous result for leading terms ideals. The proof we give is both simple and constructive. The same result is valid for Prüfer domains.

Keywords:

• Syzygies
• monomial orders
• leading terms ideal
• trailing terms ideal
• valuation domains
• Prüfer domains

2020 MATHEMATICS SUBJECT CLASSIFICATION:

• 13Cxx
• 13Dxx
• 13Pxx
• 14Qxx