Un Algoritmo efectivo para el Teorema de los Ceros de Hilbert

Institución otorgante:

Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales

Fecha:

1992

Tipo de documento: 

info:eu-repo/semantics/doctoralThesis
 

Formato:

application/pdf

Idioma:

spa

Descripción:

En esta tesis se demuestra el siguiente teorema de los ceros de Hilbertefectivo: Sea k un cuerpo infinito y perfecto, sean X1.....Xn indeterminadas sobre ky sean f1.....fs polinomios en k[X1,...,Xn]de grado acotado por un número dadod, que satisface d ≥ n. Entonces existe una red aritmética sobre k de tamañoso(1))do(n) y profundidad O(n4 log2 sd) que decide si el ideal generado porf1....,fS en k[X1,...,Xn] es trivial y, si este es el caso, produce un cálculo deevaluación de longitud so(1)do(n) y profundidad 0(n4 log2 sd) en el cuerpode funciones k(X1,...,Xn) que calcula polinomios p1.....ps de k[X1,...,Xn] degrado do(n2) que satisfacen 1 - Σ pjfj. 1 ≤ j ≤ s

Identificador:

https://hdl.handle.net/20.500.12110/tesis_n2524_Sabia