Lema que afirma que toda álgebra A de tipo finito sobre un cuerpo k admite un mapa k‑algebra finito e inyectivo desde un subanillo polinómico k[y1,…,yd], donde d = trdeg_k(Frac(A)); equivalente a que, tras un cambio lineal genérico de coordenadas, A es integral y finita sobre un subanillo polinómico en d variables.

Principio

Mediante una proyección genérica a un subespacio de coordenadas se encuentran elementos algebraicamente independientes de modo que la álgebra original es finita sobre la álgebra polinómica que generan; esto reduce álgebras complicadas a extensiones finitas de anillos de polinomios.

Demostración

Para el anillo de coordenadas k[x,y]/(y^2−x^3−x) de una curva afín plana, la normalización de Noether produce un cambio lineal que lleva una coordenada a una base de trascendencia; el anillo de la curva resulta finito sobre k[t], mostrándolo como módulo de tipo finito sobre un polinomio en una variable.

Aplicación incorrecta

Suponer que la normalización produce un isomorfismo con un anillo polinómico en lugar de solo una extensión integral y finita, o intentar la misma construcción sin hipótesis de finitud (por ejemplo generación infinita) conduce a errores.

Consecuencia

Proporciona una reducción fundamental para la teoría de la dimensión: muestra que la dimensión coincide con el grado de trascendencia para álgebras de tipo finito sobre cuerpos, permite aplicar técnicas de anillos de polinomios y es un paso en muchas demostraciones estructurales.

Inversión

La inversa—que toda extensión finita de un anillo polinómico surge como una álgebra de tipo finito del grado de trascendencia dado—es en esencia tautológica, pero el contenido del lema es la existencia de un subanillo polinómico apropiado dentro de una álgebra cualquiera de tipo finito.

Límite

Se formula habitualmente para álgebras de tipo finito sobre un cuerpo (o más generalmente para álgebras de tipo finito sobre un dominio noetheriano con precauciones); puede fallar o requerir modificación sobre anillos base arbitrarios o sin hipótesis de finitud.

Tensión semántica

Tensión entre las nociones 'integral sobre' y 'finito sobre': la normalización de Noether garantiza una extensión integral finita de un subanillo polinómico, no que la álgebra sea en sí misma un anillo polinómico—confundir esto debilita el uso correcto.

Síntesis

La normalización de Noether inserta un subanillo polinómico finito dentro de una álgebra de tipo finito, presentando objetos geométricos como cubiertas finitas del espacio afín de dimensión mínima y reduciendo así muchos problemas al caso polinómico.