Teorema que afirma que si R es un anillo Noetheriano (conmutativo con unidad, por lo general), entonces el anillo de polinomios R[x] también es Noetheriano; por inducción, R[x1,...,xn] es Noetheriano para todo n finito. Equivalente: los ideales en dichos anillos de polinomios son finitamente generados.

Principio

Finitud preservada bajo extensión polinómica: la propiedad de ser Noetheriano (ausencia de cadenas ascendentes infinitas de ideales) es estable cuando se adjoinen un número finito de variables polinomiales, organizando la transferencia de propiedades de generación finita del anillo base a las álgebras polinómicas.

Demostración

Si R es Noetheriano, considerar un ideal I en R[x]. Se analizan coeficientes líderes y se construye un conjunto finito de generadores elevando generadores de ideales de coeficientes; por inducción esto muestra que R[x] no alberga cadenas ascendentes infinitas de ideales. Concretamente, para un cuerpo k, el anillo k[x1,...,xn] es Noetheriano y todo ideal tiene una base finita.

Aplicación incorrecta

Suponer que el teorema vale para anillos de polinomios en infinitas variables o para anillos no conmutativos arbitrarios sin verificaciones. Otro mal uso es inferir cotas efectivas sobre generadores o grados a partir del teorema; el resultado garantiza generación finita pero no cotas explícitas en general.

Consecuencia

Muchos resultados estructurales en álgebra y geometría algebraica se derivan: finitud de generadores de ideales, existencia de descomposiciones primarias en anillos de polinomios y fundamentos algorítmicos para teoría de eliminación. Sustenta la idea de que las variedades se describen por un número finito de ecuaciones sobre bases Noetherianas.

Inversión

El caso de fallo aparece cuando el anillo base no es Noetheriano o cuando se añaden infinitas variables: los anillos de polinomios en indeterminadas infinitas suelen dejar de ser Noetherianos y admiten cadenas ascendentes infinitas de ideales. En contextos no conmutativos la estabilidad de la propiedad Noetheriana puede fallar igualmente.

Límite

Las hipótesis importan: el anillo base debe ser Noetheriano (se suelen suponer conmutatividad y unidad para las pruebas estándar), y el teorema se refiere a un número finito de variables polinomiales. No garantiza cotas efectivas de grados ni se extiende automáticamente a variables infinitas o a extensiones arbitrarias de anillos.

Tensión semántica

Tensión entre existencia de generadores finitos y efectividad: Hilbert asegura una base finita pero con frecuencia no constructiva o sin cotas de grado útiles. También tensión con anillos patológicos en los que falla la Noetherianidad o con álgebras en variables infinitas donde reaparecen cadenas ascendentes.

Síntesis

El Teorema de la Base de Hilbert formaliza que la Noetherianidad se conserva al adjuntar un número finito de variables polinomiales: partiendo de un anillo Noetheriano, las álgebras polinómicas siguen teniendo ideales finitamente generados, proporcionando una base de finitud para la geometría algebraica y la álgebra conmutativa.