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.

Principe

En projetant de façon générique sur un sous‑espace de coordonnées on trouve des éléments algébriquement indépendants tels que l'algèbre initiale devienne finie sur l'algèbre polynomiale qu'ils engendrent : cela ramène des algèbres complexes à des extensions finies de polynômes.

Démonstration

Pour l'anneau de coordonnées k[x,y]/(y^2−x^3−x) d'une courbe affine plane, la normalisation de Noether fournit un changement linéaire envoyant une coordonnée sur une base de transcendance ; l'anneau de la courbe devient fini sur k[t], montrant qu'il est un module de type fini sur un anneau polynomial en une variable.

Mauvaise application

Penser que la normalisation donne un isomorphisme avec un anneau polynomial plutôt qu'une extension intégrale et finie, ou tenter la construction sans hypothèses de finitude (p. ex. génération infinie) conduit à des erreurs.

Conséquence

Permet une réduction fondamentale en théorie de la dimension : montre que la dimension coïncide avec le degré de transcendance pour les algèbres de type fini sur un corps, permet d'utiliser des techniques pour les anneaux de polynômes et intervient dans de nombreuses démonstrations structurelles.

Inversion

La réciproque—toute extension finie d'un anneau polynomial apparaît comme une algèbre de type fini du degré de transcendance donné—est en substance tautologique, mais le contenu du lemme est l'existence d'un sous‑anneau polynomial convenable à l'intérieur d'une algèbre quelconque de type fini.

Limite

Énoncé habituellement pour des algèbres de type fini sur un corps (ou plus généralement pour des algèbres de type fini sur un domaine noethérien avec précautions supplémentaires) ; il peut échouer ou demander des modifications sur des anneaux de base arbitraires ou sans hypothèses de finitude.

Tension sémantique

Tension entre les notions « entier sur » et « fini sur » : la normalisation de Noether garantit une extension intégrale et finie d'un sous‑anneau polynomial, mais pas que l'algèbre soit elle‑même un anneau polynomial ; confondre ces notions affaiblit l'usage correct du lemme.

Synthèse

La normalisation de Noether insère un sous‑anneau polynomial fini à l'intérieur d'une algèbre de type fini, présentant les objets géométriques comme des recouvrements finis de l'espace affine de dimension minimale et réduisant ainsi de nombreux problèmes au cas polynomial.