Noether normalization lemma

Let F be a field and K a finitely-generated commutative algebra over F. There there exists a non-negative integer n and elements x1,,xnA, algebraically independentMathworldPlanetmath over F, such that K is integral over F[x1,,xn].

Title Noether normalization lemma
Canonical name NoetherNormalizationLemma
Date of creation 2013-03-22 14:14:36
Last modified on 2013-03-22 14:14:36
Owner dooder0001 (4288)
Last modified by dooder0001 (4288)
Numerical id 7
Author dooder0001 (4288)
Entry type Theorem
Classification msc 16-00
Synonym Noetherian normalization lemma