Lema de Normalización de Noether

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.