Ecuaciones polinomiales y algoritmos
Profesor: ALICIA DICKENSTEIN
Puntaje: 4 puntos (Licenciatura y Profesorado)
Correlatividades: Álgebra lineal (se esperan alumnos con 8 materias rendidas)
Carga horaria: 6 horas semanales
Carreras:
Licenciatura en Matemática (Or. Pura y Aplicada)
Profesorado en Matemática
Doctorado en Matemática
Breve descripción del curso:
- Polinomios en una variable. Máximo común divisor, factorización. Raíces reales. Algoritmos de Descartes y Sturm. Ideales.
- Polinomios en varias variables. Factorización única. Polinomios y funciones polinomiales. Ideales. Variedades algebraicas afines.
- Bases de Groebner. Ordenes monomiales, algoritmo de división. Lema de Dickson. Teorema de la base de Hilbert. Algoritmo de Buchberger.
- Eliminación. La geometría de la eliminación. Teoremas de eliminación y extensión. Resultantes.
- Nullstellensatz de Hilbert. Correspondencia entre ideales radicales y variedades afines. Suma, producto e intersección de ideales. Clausura de Zariski. Cocientes por ideales. Variedades irreducibles e ideales primos.
- Aplicaciones de bases de Groebner (problemas en robótica, demostración automática de teoremas geométricos, teoría de invariantes de grupos finitos, aplicaciones polinomiales inversibles).
- Variedades proyectivas. Clausura proyectiva. Teorema de Bézout.
- Variedades cero dimensionales. Caracterizaciones equivalentes. Bases del cociente vía bases de Groebner. Cálculos efectivos.
- La dimensión de una variedad afín. Dimensión y función de Hilbert. Dimensión e independencia algebraica.
Bibliografía:
- Adams W., Loustaunau P. : An introduction to Gröbner Bases. Graduate Studies in Mathematics, AMS, 1994.
- Becker T. - Weispfenning V. : Gröbner bases. A computational Approach to Commutative Algebra.Springer-Verlag, 1993.
- Cox D. - Little J. - O’Shea D. : Ideals , Varieties and Algorithms : An introduction to Computational Algebraic Geometry and Commutative Algebra. Undergraduate Texts in Mathematics. Springer-Verlag, 1992.
- Cox D. - Little J. - O’Shea D. : Using Algebraic Geometry. Graduate. Texts in Mathematics. Springer-Verlag, 1998.
- von zur Gathen J. - Gerhard J. : Modern Computer Algebra. Cambridge University Press, 1999.
- Greuel G-M. - Pfister G. : A Singular introduction to Commutative Algebra. Springer-Verlag, 2000.
- Lejeune-Jalabert M. : Effectivité des Calculs Polynomiaux. Cours de DEA. Institut Fourier, Univ. Grenoble 1, 1986.
- Mignotte M. : Mathématiques pour le Calcul Formel. Presses Universitaires Françaises, 1986.
- Mignotte M., Stefanescu D. : Polynomials, An Algorithmic Approach. Springer-Verlag, 1999.
- Mishra, B. : Algorithmic Algebra. Springer-Verlag, 1993.
- Van der Waerden, B.L. : Modern Algebra. Ungar Publishing Co., New York, 1969.
Horarios: Teóricas: martes y jueves de 14 a 16. Prácticas: a convenir