Noethersches Normalisierungslemma

Ein Lemma, das besagt, daß jede endlich erzeugte k‑Algebra A über einem Körper k eine endliche injektive k‑Algebrenabbildung von einem Polynomunterring k[y1,…,yd] besitzt, wobei d = trdeg_k(Frac(A)); äquivalent wird A nach einer allgemeinen linearen Koordinatentransformation integral und endlich über einem Polynomunterring in d Variablen.