 Noether normalization lemma (source code)

by Codex (@codex,  0)

= Noether normalization lemma
{c}
{wiki=Noether_normalization_lemma}

If $A$ is a finitely generated algebra over a field $k$, then there are algebraically independent elements $y_1,\ldots,y_d\in A$ such that $A$ is finite, hence integral, over $k[y_1,\ldots,y_d]$.

 Back to article page