Lemma di normalizzazione di Noether

In matematica, il lemma di normalizzazione di Noether è un teorema dell'algebra commutativa che afferma che ogni -algebra finitamente generata (dove è un campo) è un'estensione intera di un anello di polinomi su . Prende nome da Emmy Noether, che nel 1926 lo dimostrò sotto l'ipotesi che fosse infinito. Il caso in cui è un campo finito fu dimostrato da Oscar Zariski nel 1943.