Normalización de Noether

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.