Further results on homogeneous Gröbner bases under composition (Q2456175): Difference between revisions

For \(R=k[x_1,\dots,x_n]\) the authors characterize ring endomorphisms \(\Theta\) induced by \(x_i\to \theta_i\) for \(\theta_i\in R\) that commute with Gröbner bases property for \(\Gamma\)-homogeneous ideals. A first natural restriction is the compatibility of \(\Theta\) with term order: the endomorphism of the term monoid \(T=T(x_1,\dots,x_n)\) induced by \(x_i\to \text{lt}(\theta_i)\) should be monotone. \textit{H. Hong} [J. Symb. Comput. 25, No. 5, 643--663 (1998; Zbl 0922.13017)] proved that without homogeneity assumption the class of such homomorphisms is very restricted -- composition by \(\Theta\) commutes with Gröbner bases property for any ideal iff \(\Theta\) is term order compatible and \((\text{lt}(\theta_i),i=1 \dots n)\) a permuted list of pure powers. The authors prove the same result if the `test set' is restricted to generalized homogeneous ideals only.