Intrinsic height estimates for the nullstellensatz
- Haegele Hans, Klemens
- Luis Miguel Pardo Vasallo Doktorvater/Doktormutter
Universität der Verteidigung: Universidad de Cantabria
Jahr der Verteidigung: 1998
- Tomás Jesús Recio Muñiz Präsident/in
- Carlos Andradas Heranz Sekretär
- Eberhard Becker Vocal
- Gerhard Phister Vocal
- Francisco Marcellán Español Vocal
Art: Dissertation
Zusammenfassung
En esta memoria se desarrolla un estudio de las alturas y de los grados de los polinomios que aparecen en la identidad de Bézout que se tiene para sistemas inconsistentes como afirmado por el teorema de los ceros o Nullstellensatz, Para dicho estudio se introducen nuevas invariantes intrínsecas asociadas a la naturaleza geométrica y diofántica del objeto que permitan una mejor interpretación semántica del problema que las acotaciones anteriormente obtenidas a partir de los parámetros de una representación puramente sintáctica. Se dan dos resultados principales donde se demuestra que, tanto la complejidad del proceso de división implicado de la identidad de Bézout, como la altura de los polinomios que aparecen en el mismo, se pueden acotar por cantidades polinomiales en todos los parámetros involucrados, tanto sintácticos como semánticos. Cabe destacar, que es la primera vez que se obtiene un Nullstellensatz aritmético con cotas polinomiales en las invariantes intrínsecas.