Procedimiento que, para una álgebra A de tipo finito sobre un cuerpo k (equivalente a una variedad afín), construye una subálgebra polinómica S ≃ k[t1,…,td] contenida en A tal que A es integral y por tanto finita sobre S; geométricamente esto proporciona un morfismo finito y sobreyectivo de Spec A al espacio afín d-dimensional.

Principio

Elegir una combinación lineal genérica de las coordenadas (o formas lineales) de modo que el anillo de coordenadas sea de tipo finito como módulo sobre la subalgebra generada por d combinaciones lineales algebraicamente independientes, donde d = dimensión de Krull(A). La genericidad asegura integridad y finitud.

Demostración

Tomemos A = k[x,y]/(y^2 - x^3) y S = k[x] embebido por x ↦ x. El elemento y satisface la ecuación mónica y^2 - x^3 = 0 con coeficientes en S, por lo que A es integral sobre S; así Spec A se proyecta finita y sobreyectivamente sobre A^1_k mediante la proyección en la coordenada x. Para una superficie afín de dimensión dos se eligen dos formas lineales genéricas para obtener S ≃ k[t1,t2].

Aplicación incorrecta

Aplicar la misma proyección lineal sin comprobar la genericidad puede producir una subálgebra sobre la que A no es finita; suponer que la normalización de Noether proporciona una isomorfía birracional en vez de un mapa finito es generalmente incorrecto.

Consecuencia

Problemas sobre A (dimensión, integralidad, multiplicidades, fibras genéricas) pueden reducirse a problemas en anillos polinómicos de la misma dimensión; las estrategias computacionales y los invariantes suelen ser accesibles trabajando sobre S y controlando la extensión finita.

Inversión

Invertir la idea—forzar una proyección no genérica o elegir menos formas lineales que la dimensión—suele producir un mapa que no es ni finito ni sobreyectivo; A puede dejar de ser integral sobre la subálgebra elegida.

Límite

Se aplica a álgebras de tipo finito sobre un cuerpo (esquemas afines de tipo finito). No se aplica directamente a anillos no noetherianos, álgebras de dimensión infinita ni a esquemas no afines sin localizaciones u otras modificaciones.

Tensión semántica

La normalización de Noether se confunde a menudo con la normalización (cierre integral de A en su cuerpo de fracciones); la primera produce un mapa finito al espacio afín, la segunda el cierre integral — son construcciones relacionadas pero distintas.

Síntesis

La normalización de Noether identifica una subalgebra polinómica de la misma dimensión sobre la cual la álgebra afín original es finita; esta proyección lineal genérica reduce cuestiones estructurales y computacionales al contexto más simple de anillos polinómicos.