Elementos computacionales de la teoría de invariantes polinomiales de grupos finitos

En este documento mostramos un procedimiento para calcular polinomios generadores del anillo de invariantes cuando nos es dada la acción de un grupo finito sobre un álgebra polinomial. El primer resultado presentado en este trabajo es el Teorema de la base de Hilbert, el cual permitió concluir que l...

Full description

Autores:
Silvera Vega, Heloísa del Mar
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2021
Institución:
Universidad de los Andes
Repositorio:
Séneca: repositorio Uniandes
Idioma:
spa
OAI Identifier:
oai:repositorio.uniandes.edu.co:1992/55711
Acceso en línea:
http://hdl.handle.net/1992/55711
Palabra clave:
Polinomios
Análisis matemático
Ecuaciones diferenciales
Algebra
Matemáticas
Rights
openAccess
License
http://creativecommons.org/licenses/by-nc-sa/4.0/
Description
Summary:En este documento mostramos un procedimiento para calcular polinomios generadores del anillo de invariantes cuando nos es dada la acción de un grupo finito sobre un álgebra polinomial. El primer resultado presentado en este trabajo es el Teorema de la base de Hilbert, el cual permitió concluir que las álgebras polinomiales son noetherianas. A partir de este resultado, profundizamos en la prueba del teorema de Noether que establece que el álgebra de invariantes es finitamente generada. Dadas estas herramientas, presentamos una primera prueba del Teorema de la cota de Noether, el cual establece cotas para el número de generadores del álgebra de invariantes y para el grado de dichos generadores cuando el campo base es de característica cero o mayor que el orden del grupo. Esta prueba provee un primer procedimiento para calcular un conjunto finito de polinomios que generan el álgebra de invariantes. Más adelante, introducimos los polinomios orbitales y las clases orbitales de Chern como herramientas para calcular el álgebra de invariantes. Dados estos conceptos, mostramos una segunda prueba de la cota de Noether.