Noether-Normalisierung

Ein Verfahren, das für eine endlich erzeugte k-Algebra A (bzw. eine affine k-Varietät) eine polynomiale Unteralgebra S ≃ k[t1,…,td] in A erzeugt, so dass A über S integral und damit endlich ist; geometrisch liefert dies einen endlichen surjektiven Morphismus von Spec A auf den affinen d-Raum.