Procédé qui, pour une algèbre A de type fini sur un corps k (ou une variété affine), construit une sous-algèbre polynomiale S ≃ k[t1,…,td] contenue dans A telle que A soit entière, donc finie, sur S ; géométriquement cela donne un morphisme fini et surjectif de Spec A vers l'espace affine de dimension d.

Principe

Choisir une combinaison linéaire générique des coordonnées (ou des formes linéaires) de façon que l'anneau des coordonnées soit de type fini comme module sur la sous-algèbre engendrée par d combinaisons linéaires algébriquement indépendantes, où d = dimension de Krull(A). La généricité garantit l'intégralité et la finitude.

Démonstration

Pour A = k[x,y]/(y^2 - x^3), prendre S = k[x] via x ↦ x. L'élément y satisfait l'équation monique y^2 - x^3 = 0 à coefficients dans S, donc A est entière sur S ; par conséquent Spec A se projette de façon finie et surjective sur A^1_k via la projection x. Pour une surface affine de dimension deux on choisira deux formes linéaires génériques pour obtenir S ≃ k[t1,t2].

Mauvaise application

Appliquer la même projection linéaire sans vérifier la généricité peut produire une sous-algèbre sur laquelle A n'est pas finie ; supposer que la normalisation de Noether fournit une isomorphie birationnelle plutôt qu'une simple application finie est généralement faux.

Conséquence

Les questions portant sur A (dimension, intégralité, multiplicités, fibres génériques) se réduisent à des questions sur des anneaux polynomiaux de même dimension ; les stratégies computationnelles et les invariants deviennent souvent accessibles en travaillant sur S et en retraçant l'extension finie.

Inversion

À l'inverse, forcer une projection non générique ou choisir moins de formes linéaires que la dimension conduit généralement à une application ni finie ni surjective ; A peut ne pas être entière sur la sous-algèbre choisie.

Limite

S'applique aux algèbres de type fini sur un corps (schémas affines de type fini). Ne s'applique pas directement aux anneaux non noethériens, aux algèbres de dimension infinie ni aux schémas non affines sans localiser ou modifier la construction.

Tension sémantique

La normalisation de Noether est souvent confondue avec la normalisation (clôture intégrale de A dans son corps des fractions) ; la première produit une application finie vers l'espace affine, la seconde produit la clôture intégrale — constructions liées mais distinctes.

Synthèse

La normalisation de Noether repère une sous-algèbre polynomiale de même dimension sur laquelle l'algèbre affine devient finie ; cette projection linéaire générique réduit les questions structurelles et algorithmiques à l'étude d'anneaux polynomiaux plus simples.