Noether normalization (algebraic geometry)

Every finitely generated reduced k-algebra A of Krull dimension d is a finite module over a polynomial subring k[t_1, …, t_d]. Geometrically: every affine variety X = Spec A of dimension d admits a finite surjective morphism to affine…