Algoritmos de álgebra conmutativa en anillos de polinomios

En esta tesis nos enfocamos en los aspectos algorítmicos de algunos de los tópicos más importantes del álgebra conmutativa. Estudiamos el cálculo de radicales y primos y minimales, la normalización de anillos e ideales y otros problemas relacionados. En los últimos años, se desarrollaron varios prog...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Laplagne, Santiago Jorge
Formato: Tesis Doctoral
Lenguaje:Inglés
Publicado: 2012
Materias:
Acceso en línea:https://hdl.handle.net/20.500.12110/tesis_n5119_Laplagne
Aporte de:
Descripción
Sumario:En esta tesis nos enfocamos en los aspectos algorítmicos de algunos de los tópicos más importantes del álgebra conmutativa. Estudiamos el cálculo de radicales y primos y minimales, la normalización de anillos e ideales y otros problemas relacionados. En los últimos años, se desarrollaron varios programas de álgebra computacional con implementaciones muy eficientes de las herramientas básicas para trabajar con polinomios, ideales y anillos. Esto renovó el interés por algoritmos eficientes para resolver algunos problemas difíciles del área. Proponemos nuevos algoritmos para algunos de estos problemas, basándonos en ideas matemáticas y resultados nuevos. Hemos implementado todos los algoritmos en esta tesis en Singular (Decker et al., 2011), uno de los programas de álgebra computacional más comúnmente utilizados, y están actualmente disponibles para su uso por toda la comunidad matemática. Si bien para la mayoría de estos problemas ya existían algoritmos, los nuevos algoritmos propuestos los superan en la mayoría de los casos, siendo ahora los algoritmos por default en SINGULAR.