On the Connection Between Ritt Characteristic Sets and Buchberger–Gröbner Bases

For any polynomial ideal $$\mathcal {I}$$I, let the minimal triangular set contained in the reduced Buchberger–Gröbner basis of $$\mathcal {I}$$I with respect to the purely lexicographical term order be called the W-characteristic set of $$\mathcal {I}$$I. In this paper, we establish a strong connection between Ritt’s characteristic sets and Buchberger’s Gröbner bases of polynomial ideals by showing that the W-characteristic set $$\mathbb {C}$$C of $$\mathcal {I}$$I is a Ritt characteristic set of $$\mathcal {I}$$I whenever $$\mathbb {C}$$C is an ascending set, and a Ritt characteristic set of $$\mathcal {I}$$I can always be computed from $$\mathbb {C}$$C with simple pseudo-division when $$\mathbb {C}$$C is regular. We also prove that under certain variable ordering, either the W-characteristic set of $$\mathcal {I}$$I is normal, or irregularity occurs for the jth, but not the $$(j+1)$$(j+1)th, elimination ideal of $$\mathcal {I}$$I for some j. In the latter case, we provide explicit pseudo-divisibility relations, which lead to nontrivial factorizations of certain polynomials in the Buchberger–Gröbner basis and thus reveal the structure of such polynomials. The pseudo-divisibility relations may be used to devise an algorithm to decompose arbitrary polynomial sets into normal triangular sets based on Buchberger–Gröbner bases computation.