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 leadi…