Determinantal formulae for the solution set of zero-dimensional ideals (Q1181435)

The author studies the properties of a construction related with the problem of computing a basis for the ideal generated by \(n\) polynomials \(F_ 1,\ldots,F_ n\) in \(K[X_ 1,\ldots,X_ n]\) allowing to determine in an easy way ist zeros and its radical for the zero-dimensional case. This construction is achieved by generalizing to \(K[X_ 1,\ldots,X_ n]\) the definition of subresultants of indices 0 and 1 and so, the coefficients of the polynomials in the new basis are defined as the determinants of certain matrices constructed with the coefficients of the polynomials \(F_ 1,\ldots,F_ n\). --- The construction is introduced for the generic case and it is showed that its specialization works for all zero-dimensional ideals in general position with respect to \(X_ n\) except when the coefficients of the polynomials \(F_ 1,\ldots,F_ n\) are in some hypersurface in \(K^ n\) the equation of which the author gives in an explicit way. --- A basis with a similar structure to the one introduced here can be computed using Gröbner basis imposing the radicality hypothesis to the initial ideal. The paper includes systems of \(n\) polynomial equations in \(n-1\) variables and in \(n\) variables with indeterminate coefficients; specialization; conclusions and examples.