Every local ring is dominated by a one-dimensional local ring

R. Gilmer, W. Heinzer

Let (R,m) be a local (Noetherian) ring. The main result of this paper asserts the existence of a local extension ring S of R such that (i) S dominates R, (ii) the residue field of S is a finite purely transcendental extension of R/m, (iii) dim(S) \le 1. In addition, it is shown that S can be obtained so that either m S is the maximal ideal of S or S is a localization of a finitely generated R-algebra.