Finite flat Noether normalization of an affine hypersurface

ID: finite-flat-noether-normalization-of-an-affine-hypersurface

For a nonconstant polynomial over any field, use triangular substitutions , , where exceeds every exponent in its support. Base- weights distinguish all original monomials, so the transformed polynomial has a unique highest power with coefficient in . Rescale to make it monic. The monic polynomial quotient is finite free over , yielding a finite flat projection. The nonlinear substitution works over finite fields as well as infinite ones; a generic linear-direction argument alone would not do so.

New to topics? Read the docs here!