Lemme de Normalisation de Noether

Lemme affirmant que toute algèbre A de type fini sur un corps k admet une injection k‑algébrique finie depuis un sous‑anneau polynomial k[y1,…,yd], où d = degré de transcendance de Frac(A) sur k ; autrement dit, après un changement linéaire générique de coordonnées A est entière et finie sur un sous‑anneau polynomial en d variables.