Existence and Construction of a Gröbner Basis for a Polynomial Ideal

Deepak Kapur, Paliath Narendran

This extended abstract gives a construction for lifting a Gröbner basis algorithm for an ideal in a polynomial ring over a commutative ring R under the condition that R also admits…