Introducción a la geometría algebraica y a la teoría de las bases de Groebner

Estas notas pretenden servir de motivación e introducción al estudio de la geometría algebraica. Se ha escogido un enfoque intermedio que hace uso de métodos tanto abstractos como computacionales. En el primer capítulo se hace un repaso rápido de algunos conceptos del algebra abstracta, tales como anillos, módulos, algebras, etc. Se introduce la noción de módulos y anillos Noetherianos y se demuestra el teorema de la base de Hilbert. Se introduce el concepto de variedad algebraica y se muestran algunas correspondencias elementales entre nociones algebráicas y geométricas. En el segundo capítulo se enuncia el Nullstellensatz de Hilbert, en sus formas débil y fuerte. Se introduce la noción de orden monomial, bases de Groebner y se discute el algoritmo de la división generalizado. En el capítulo tercero se definen los S-polinomios y se demuestra el algoritmo de Bucheberger, que permite el cálculo de bases de Groebner para ideales. Al final hay una discusión del problema de la minimalidad y la unicidad de las bases de Groebner, en el cual se demuestra que estas son únicas si son reducidas. En el cuarto capítulo se discute el problema de extensión. Se introduce la noción de resultante y se da una demostración del Nullstellensatz de Hilbert, en su forma débil. El quinto capítulo comienza con una prueba de la forma fuerte de Nullstellensatz. Se pasa luego a discutir la noción de dimensión de una variedad algebraica, y de dimensión de Krull de un anillo conmutativo. Se prueba el teorema de normalización de Noether, el teorema del “Going up” y se muestran algunas aplicaciones a la teoría de la dimensión. En el sexto y último capítulo se muestra cómo la teoría desarrollada en los capítulos anteriores puede ser usada para diseñar algoritmos que permiten hacer pruebas mecánicas de teoremas de la geometría euclídea elemental.

• Autores: Vélez Caicedo, Juan Diego
• Tipo de recurso: Work document
• Fecha de publicación: 1998
• Institución: Universidad Nacional de Colombia
• Repositorio: Universidad Nacional de Colombia
• Idioma: spa
• OAI Identifier: oai:repositorio.unal.edu.co:unal/3178
• Acceso en línea: https://repositorio.unal.edu.co/handle/unal/3178; http://bdigital.unal.edu.co/1607/
• Palabra clave: 51 Matemáticas / Mathematics; Geometría algebraica; Algebra Abstracta; Algoritmos; Teorema de Normalización de Noether
• Rights: openAccess
• License: Atribución-NoComercial 4.0 Internacional