Teorema da Base de Hilbert

1. Introdução e Justificativa

Na teoria de álgebra comutativa, um anel Noetheriano é um anel comutativo que satisfaz a condição

da cadeia ascendente para ideais ou, equivalentemente, é um anel em que todo ideal é finitamente
gerado. O termo anel Noetheriano é uma homenagem à matemática alemã Emmy Noether, por seus
trabalhos inovadores sobre teoria de ideais.

Os anéis Noetherianos são fundamentais na teoria de anéis e em áreas que intensivamente lidam
com o conceito de anéis, como a geometria algébrica e a teoria de singularidades. A razão disto é
que a propriedade Noetheriana é uma espécie de conceito de finitude na teoria dos anéis. Por
exemplo, o fato de o anel de polinômios com coeficientes em um corpo ser Noetheriano, significa
que um sistema com infinitas equações polinomiais pode ser substituído por um sistema com uma
quantidade finita de equações polinomiais com o mesmo conjunto solução. Outra importante
aplicação ocorre na teoria da dimensão com o Teorema do Ideal Principal de Krull, que garante que
todo ideal principal em um anel comutativo Noetheriano tem altura 1.

Em 1888, o matemático alemão David Hilbert demonstrou um importante teorema, conhecido como
Teorema da Base de Hilbert, que estabelece que todo ideal em um anel de polinômios em várias
variáveis com coeficientes em um anel Noetheriano é finitamente gerado. Este resultado descreve
uma conexão entre a álgebra e a geometria, pois representa na teoria de geometria algébrica que
toda variedade algébrica sobre um corpo pode ser descrita como o conjunto das raízes comuns a
uma quantidade finita de equações polinomiais.

Este tema de pesquisa oferecido através de um projeto de iniciação científica proporciona ao aluno
a oportunidade de ampliar seus conhecimentos para temas que vão além do que se estuda em um
curso de álgebra da graduação e pode contribuir para o seu desenvolvimento acadêmico e na
pesquisa científica.

2. Objetivos

Os objetivos específicos deste projeto compreendem:

1. Fazer uma introdução sobre anéis, corpos e ideais: conceitos, propriedades e exemplos;
2. Estudar a classe dos anéis Noetherianos, sua caracterizações, propriedades e exemplos;
3. Compreender as principais propriedades dos anéis de polinômios e seus ideais;
4. Entender e demonstrar o Teorema da Base de Hilbert, e compreender a relação que este resultado
estabelece entre a álgebra e a geometria algébrica.

3. Metodologia

A metodologia consiste de estudos direcionados das referências bibliográficas [1-6]. O professor

orientador fará um planejamento dos tópicos a serem estudados e reuniões semanais serão
realizadas para discussão, exposição e análise dos assuntos abordados. Para complementar a
compreensão dos temas, artigos científicos poderão ser indicados para consulta. Além disso, a
utilização de softwares matemáticos como Sagemath, Magma e Gap serão úteis nos estudos de
exemplos e resultados.
 4. Referências

[1] GARCIA, A.; LEQUAIN, Y. Elementos de álgebra. Rio de Janeiro: IMPA, 2006.
[2] DOMINGUES, H.; IEZZI, G. Álgebra moderna. São Paulo: Atual, 1982.
[3] ATIYAH, M. F., Introduction to Commutative Algebra. University of Oxford. Addison-Wesley,
1997.
[4] HARTSHORNE, R., Algebraic Geometry, (Graduate texts in mathematics: 52. Springer-Verlag
Berlin Heidelberg New York, 1997.
[5] FULTON, W., Algebraic Curves: An Introduction to Algebraic Geometry, 3nd edition. Ad-
vanced Book Classics, 2008.
[6] EISENBUD, D., Commutative Algebra (with a view toward Algebraic Geo- metry). Graduate
Texts in Mathematics, vol. 150, Springer-Verlag, 1995.