Showing 2019Show all
2 papers · 1 filter
math.AC2019
Valuative dimension and monomial orders
Gregor Kemper, Ihsen Yengui
The main result from this note provides a constructive characterization of the valuative dimension, which bears a strong analogy to Lombardi's constructive characterization of the…
math.AC2019
The syzygy theorem for Bézout rings
Maroua Gamanda, Henri Lombardi, Stefan Neuwirth +1
We provide constructive versions of Hilbert's syzygy theorem for Z and Z/nZ following Schreyer's method. Moreover, we extend these results to arbitrary coherent strict Bézout rings…