Structure of Gröbner bases with respect to block orders
M’hammed El Kahoui, Said Rakrak · Mathematics of Computation · 2007
In this paper we study the structure of Gröbner bases with respect to block orders. We extend Lazard’s theorem and the Gianni-Kalkbrenner theorem to the case of a zero-dimensional ideal whose trace in the ring generated by the first block of variables is radical. We then show that they do not hold for general zero-dimensional ideals.