将域上无限可数个变元的多项式环的理想的Grobner基理论推广到动态Grobner基上,并讨论了动态既约Grobner基的一个重要性质。
The theory of Grobner bases for the ideals in a polynomial ring with countably infinite variables over a field is extended to that of dynamical Grobner bases. An important property of the dynamical reduced Grobner bases is discussed.