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.

翻译：本文扩展摘要给出了一种构造方法，在交换环R的每个理想均存在Gröbner基的条件下，将多项式环中某理想的Gröbner基算法提升至环R上。