Gröbner-coherent rings and modules (Q2188692): Difference between revisions

The article under review introduce a class of graded \(R\)-modules called Gröbner-coherent modules, where \(R\) is a graded ring. Roughly speaking, these are graded \(R\)-modules that are coherent as ungraded modules and admit an adequate theory of Gröbner bases. The class of Gröbner-coherent modules is formally similar to the class of coherent modules: for instance, it is an abelian category closed under extension. However, Gröbner-coherent modules enjoy an advantage over coherent modules in that they come with effective computation procedures. This article also develops the theory of Gröbner bases to study inhomogeneous submodules of graded modules over an arbitrary graded ring.