We examine the degree relationship between the elements of an ideal I ⊆R[x] and the elements of f(I ) where f: 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 Greobner basis remains a Greobner 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 arametric univariate polynomials. We also apply this result to solve parametric systems of polynomial equations and to reexamine the extension theorem for such systems.

Degree Reduction under Specialization

FORTUNA, ELISABETTA;GIANNI, PATRIZIA;
2001-01-01

Abstract

We examine the degree relationship between the elements of an ideal I ⊆R[x] and the elements of f(I ) where f: 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 Greobner basis remains a Greobner 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 arametric univariate polynomials. We also apply this result to solve parametric systems of polynomial equations and to reexamine the extension theorem for such systems.
2001
Fortuna, Elisabetta; Gianni, Patrizia; Trager, B.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/177085
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 10
social impact