Flat modules and Gr\"obner bases over truncated discrete valuation rings
Abstract
We present basic properties of Gr\"obner bases of submodules of a free module of finite rank over a polynomial ring R with coefficients in a graded truncated discrete valuations ring A. As an application, we give a criterion for a finitely generated R-module to be flat over A. Its non-graded version is also given.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.