Transitivity for weak and strong Gröbner bases (Q2366111)

Let \(k\) be a noetherian integral domain, \(R:=k[y_ 1,\dots,y_ m]\) and \(R[x]:=R[x_ 1,\dots,x_ n]\) polynomial rings over \(k\) and \(R\), and let \(<_ x\) resp. \(<_ y\) be term orders on \(\mathbb{Z}^ n\) resp. \(\mathbb{Z}^ m\). The ``elimination order'' \(<\) on \(\mathbb{Z}^ m\times\mathbb{Z}^ n\) is defined by \((a,b)<(c,d)\) iff \((b<_ xd\) or \((b=d\) and \(a<_ yc))\). The authors study the relation between Gröbner bases in \(R[x]\) with respect to \(<_ x\) and Gröbner bases with respect to \(<\) in \(R[x]=k[x,y]\). --- Their main result is: Let \(F\) be a Gröbner basis in \(R[x]\) with respect to \(<_ x\) and Gröbner bases with respect to \(<\) in \(R[x]=k[x,y]\). -- Their main result is: Let \(F\) be a Gröbner basis in \(R[x]\) with respect to \(<_ x\). Then \(F\) is a Gröbner basis in \(k[x,y]\) with respect to \(<\) iff the set of leading coefficients (with respect to \(<_ x)\) of \(S\) is a Gröbner basis in \(R\) (with respect to \(<_ y)\), for all subsets \(S\) of \(F\).