Noether Normalization

A procedure that, for a finitely generated algebra A over a field k (equivalently an affine k-variety), produces a polynomial subalgebra S ≃ k[t1,…,td] contained in A such that A is integral and therefore finite over S; geometrically this yields a finite surjective morphism from the affine variety Spec A to affine d-space.