About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
Journal of Pure and Applied Algebra
Paper
Degree reduction under specialization
Abstract
We examine the degree relationship between the elements of an ideal I⊆R[x] and the elements of φ(I) where φ:R→R is a ring homomorphism. When R is a multivariate polynomial ring over a field, we use this relationship to show that the image of a Gröbner basis remains a Gröbner basis if we specialize all the variables but one, with no requirement on the dimension of I. As a corollary we obtain the GCD for a collection of parametric univariate polynomials. We also apply this result to solve parametric systems of polynomial equations and to reexamine the extension theorem for such systems. © 2001 Elsevier Science B.V.