Gröbner-coherent rings and modules

DOI10.1216/JCA.2020.12.107MaRDI QIDQ2188692zbMATH OpenOpenAlexFDO

Authors Rohit Nagpal, Andrew Snowden

Publication date 11 June 2020

Published in Journal of Commutative Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1606.03429, https://projecteuclid.org/euclid.jca/1589335259

zbMATH Keywords

Buchberger's algorithmcoherencedivided power algebraGröbner-basis

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational aspects of associative rings (general theory) (16Z05)

Abstract: Let $R$ be a graded ring. We introduce a class of graded $R$-modules called Gr"obner-coherent modules. Roughly, these are graded $R$-modules that are coherent as ungraded modules because they admit an adequate theory of Gr"obner bases. The class of Gr"obner-coherent modules is formally similar to the class of coherent modules: for instance, it is an abelian category closed under extension. However, Gr"obner-coherent modules come with tools for effective computation that are not present for coherent modules.

Review text

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.

Recommendations

• Gröbner bases with coefficients in rings
• Commutative graded-coherent rings
• Gröbner bases for the modules over noetherian polynomial commutative rings
• Gröbner rings
• scientific article; zbMATH DE number 569811

Cites work

• Anneaux et modules cohérents
• Commutative coherent rings
• Critères de platitude et de projectivité. Techniques de platification d'un module. (Criterial of flatness and projectivity. Technics of flatification of a module.)
• The module theory of divided power algebras

Cited in

(18)

• The module theory of divided power algebras
• n-coherent rings and modules
• scientific article; zbMATH DE number 4079669 (Why is no real title available?)
• scientific article; zbMATH DE number 124444 (Why is no real title available?)
• scientific article; zbMATH DE number 1159506 (Why is no real title available?)
• Gröbner bases and products of coefficient rings
• A constructive approach to the module of twisted global sections on relative projective spaces
• scientific article; zbMATH DE number 1416131 (Why is no real title available?)
• Uniformly graded-coherent rings
• scientific article; zbMATH DE number 7267022 (Why is no real title available?)
• Commutative graded-coherent rings
• scientific article; zbMATH DE number 5024583 (Why is no real title available?)
• Self-orthogonal modules over coherent rings
• Graded amalgamated algebras along an ideal
• Weakly uniformly graded-coherent rings
• Graded finite conductor rings
• A Grothendieck module with applications to Poincaré rationality
• Constructing coherently G-invariant modules

This page was built for publication: Gröbner-coherent rings and modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2188692)