Definición
Teorema que afirma que si R es un anillo conmutativo noetheriano entonces el anillo de polinomios R[x1,…,xn] en un número finito de indeterminadas sobre R también es noetheriano; equivalentemente, todo ideal de R[x1,…,xn] es finitamente generado si R satisface la condición de cadena ascendente sobre ideales.
Principio
Principio
La propiedad noetheriana se preserva al adjoinar un número finito de variables polinómicas: la finitud de generación de ideales en el anillo base impone finitud en la extensión polinómica finita correspondiente.
Demostración
Demostración
Tomar un cuerpo k (noetheriano) y formar k[x1,…,xn]; el teorema asegura que todo ideal de k[x1,…,xn] es finitamente generado. Por ejemplo, el ideal generado por las derivadas parciales de un polinomio f en k[x,y] es finitamente generado, lo que permite procedimientos efectivos de eliminación.
Aplicación incorrecta
Aplicación incorrecta
Suponer que la misma finitud vale para anillos de polinomios en infinitas variables, o creer que un anillo no noetheriano se vuelve noetheriano tras adjuntar variables; ambas afirmaciones son en general falsas.
Consecuencia
Consecuencia
Sienta las bases para argumentos de finitud en geometría algebraica y álgebra conmutativa: existen generadores de ideales, los algoritmos terminan en el caso de variables finitas, y muchas construcciones se reducen a datos finitos.
Inversión
Inversión
La dirección inversa se deduce por cociente: si R[x1,…,xn] es noetheriano entonces R ≅ R[x1,…,xn]/(x1,…,xn) es noetheriano; para un número finito de variables ambas propiedades son equivalentes, aunque la forma habitual destaca la construcción desde R.
Límite
Límite
Requiere un anillo conmutativo con unidad y un número finito de variables polinómicas. No se aplica a álgebras polinomiales con variables infinitas, a construcciones polinomiales no conmutativas comunes, ni a contextos sin la noción noetheriana (ACC en ideales).
Tensión semántica
Tensión semántica
No confundir noetheriano (ACC en ideales) con ser finitamente generado como álgebra; el teorema trata la finitud en términos de ideales y no la generación algebraica sobre un subanillo.
Síntesis
Síntesis
El teorema de la base de Hilbert vincula la condición local de finitud de ideales en el anillo base con una afirmación global de finitud para sus extensiones polinómicas en variables finitas, proporcionando fundamento para presentaciones finitas y control algorítmico.