Groebner-Shirshov bases and polynomial compositions (Q2431859)

Let \(k[X]\) be a polynomial ring with \(n\) variables \(x_i, 1\leq i\leq n\) over a field \(k\), \(F\) be an \(n\)-elements set in \(k[X]\) of non-constant polynomials \(f_i\). For any finite set \(G\) of polynomials, let \(G\cdot F\) be obtained from from \(F\) by replacing \(x_i\) with \(f_i, 1\leq i\leq n\). \textit{H. Hong} [J. Symb. Comput., 25, 643-663 (1998; Zbl 0922.13017)] characterised a set \(F\) such that for any Gröbner basis \(G\) in \(k[X]\), the set \(G\cdot F\) is still a Gröbner basis with respect to the same order. Let us call this property of \(F\) the Hong's property. Let us formulate two results of the paper as examples: 1) \(F\) has the Hong's property with respect to the inverse-lex order iff \(\text{lm}(f_i)=x_i^{l_i}\), where \(l_i>0, 1\leq i\leq n\) (Theorem 3.10). 2) \(F\) has the Hong's property with respect to the deg-lex order iff \(\text{lm}(f_i)=x_i^l\), where \(l>0, 1\leq i\leq n\) (Theorem 3.11).