Showing math.ACShow all
3 papers · 1 filter
math.AC2025
Valuative dimension, constructive points of view
Stefan Neuwirth, Henri Lombardi, Ihsen Yengui
There are several classical characterisations of the valuative dimension of a commutative ring. Constructive versions of this dimension have been given and proven to be equivalent…
math.AC2024
Note on the coincidence of two henselisations
MarÃa Emilia Alonso GarcÃa, Henri Lombardi, Stefan Neuwirth
We compare two henselisations of a residually discrete valuation domain. Our constructive proof that a certain natural morphism is an isomorphism is also a proof in classical mathe…
math.AC2024
Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings
Stefan Neuwirth, Henri Lombardi, Ihsen Yengui
Let M be a finitely generated submodule of a free module over a multivariate polynomial ring with coefficients in a discrete coherent ring. We prove that its module MLT(M ) of lead…