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...
- 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/
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. |
---|