Some criteria for Gröbner bases and their applications (Q1757000)

Let $K$ be a field and $f,g\in K[x_1,\ldots ,x_n]$ two polynomials. Let $f=p_1^{\lambda_1}\cdots p_\ell^{\lambda_\ell}$ and $g=p_1^{\mu_1}\cdots p_\ell^{\mu_\ell}$ be factorisations of $f,g$ where $p_i$'s are irreducible and pairwise coprime. In this paper, the authors consider two following problems: \par $(1)$ When $\{f+s,g+t\}$ forms a Gröbner basis for all $s,t\in K$? \par $(2)$ When $\{f^\lambda, g^\sigma\}$ forms a Gröbner basis for all natural numbers $\lambda, \sigma$? \par It has been shown that $(1)$ holds iff the leading monomials of $f,g$ are coprime. Furthermore, it is proved that $(2)$ holds iff for all $i,j$ with $i\ne j$ either the leading monomials of $p_i,p_j$ are coprime or $\lambda_i \mu_j=\lambda_j \mu_i$. The paper is concluded by investigating the applications of these criteria in the theory of Gröbner bases under composition as well as in the theory of super Gröbner bases.