Existence and Construction of a Gr\"obner Basis for a Polynomial Ideal
Commutative Algebra
2023-06-19 v1 Symbolic Computation
Algebraic Geometry
Abstract
This extended abstract gives a construction for lifting a Gr\"obner basis algorithm for an ideal in a polynomial ring over a commutative ring R under the condition that R also admits a Gr\"obner basis for every ideal in R.
Cite
@article{arxiv.2306.09602,
title = {Existence and Construction of a Gr\"obner Basis for a Polynomial Ideal},
author = {Deepak Kapur and Paliath Narendran},
journal= {arXiv preprint arXiv:2306.09602},
year = {2023}
}