A generalization of Stickelberger's theorem (Q924361)

Let \(K\) be a field of characteristic \(0\) with algebraic closure \(\Omega\), and let \(K[x_1, \ldots, x_n]\) be the polynomial ring over \(K\) in \(n\) variables \(x_1, \ldots, x_n.\) For a finite subset \(F\) of \(K[x_1, \ldots, x_n]\), denote by \(Id(F)\) (resp. \(Id_{\Omega}(F)\)) the ideal of \(K[x_1, \ldots, x_n]\) (resp. \(\Omega[x_1, \ldots, x_n]\)) generated by \(F\), and write \(Z_{\Omega}(F):= \{ (\alpha_1, \ldots, \alpha_n) \in \Omega^n/\;f(\alpha_1, \ldots, \alpha_n)=0 \text{ for all}\;f \in F\}\) for the zero set of \(F\). Write \(V_{K}^{F}\) (resp. \(V_{\Omega}^{F}\)) for the ring \(K[x_1, \ldots, x_n]/Id(F)\) (resp. \(\Omega[x_1, \ldots, x_n]/Id_{\Omega}(F)\)) of residue classes. Assume that \(Z_{\Omega}(F)\) consists of finitely many zeros (i.e. the ideal \(Id(F)\) is zero-dimensional), Stickelberger's theorem states that: for \(h \in K[x_1, \ldots, x_n]\), denote by \(L_h\) the \(K\)-linear transformation of \(V_{K}^{F}\) defined by \(L_h(p + Id(F))= hp + Id(F)\) for all \(p \in K[x_1, \ldots, x_n]\). Then the eigenvalues of \(L_h\) are exactly \(h(\alpha),\;\alpha \in Z_{\Omega}(F)\), and their multiplicities are respectively \[ \sum_{\beta \in {Z_{\Omega}(F)}, h(\beta)= h(\alpha)} \mu(\beta), \] where \(\mu(\beta)\) stands for the multiplicity of \(\beta.\) Stickelberger's theorem is very useful in computer algebra and algorithmic algebra; for some important applications of this theorem and for more references, we refer for example to \textit{F. Rouillier}'s paper [Appl. Algebra Engrg. Comm. Comput. 9, No. 5, 433--461 (1999; Zbl 0932.12008)]. In the paper under review, the goal is to generalize this theorem to more general zero-dimensional systems, which consists of polynomial equations and polynomial inequations over a field of characteristic zero.