Every local ring is dominated

by a one-dimensional local ring

Authors:
Robert Gilmer and William Heinzer

Journal:
Proc. Amer. Math. Soc. **125** (1997), 2513-2520

MSC (1991):
Primary 13B02, 13C15, 13E05, 13H99

DOI:
https://doi.org/10.1090/S0002-9939-97-03847-1

MathSciNet review:
1389520

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let be a local (Noetherian) ring. The main result of this paper asserts the existence of a local extension ring of such that (i) dominates , (ii) the residue field of is a finite purely transcendental extension of , (iii) every associated prime of (0) in contracts in to an associated prime of (0), and (iv) . In addition, it is shown that can be obtained so that either is the maximal ideal of or is a localization of a finitely generated -algebra.

**[AM]**M. Atiyah and I. Macdonald,*Introduction to Commutative Algebra*, Addison-Wesley, Reading, MA, 1969. MR**39:4129****[CHL]**P.-J. Cahen, E. G. Houston, and T. G. Lucas,*Discrete valuation overrings of Noetherian domains*, Proc. Amer. Math. Soc.**124**(1996), 1719-1721. MR**96h:13057****[Ch]**C. Chevalley,*La notion d'anneau de de\'{c}omposition*, Nagoya Math. J.**7**(1954), 21-33. MR**16:788g****[C]**I. S. Cohen,*On the structure and ideal theory of complete local rings*, Trans. Amer. Math. Soc.**59**(1946), 54-106. MR**7:509h****[DL]**A.M.S. Doering and Y. Lequain,*The gluing of maximal ideals - spectrum of a Noetherian ring - going up and going down in polynomial rings*, Trans. Amer. Math. Soc.**260**(1980), 583-593. MR**81g:13014****[G]**R. Gilmer,*Multiplicative Ideal Theory*, Queen's Papers Pure Appl. Math. Vol 90, Kingston, 1992. MR**93j:13001****[GH1]**R. Gilmer and W. Heinzer,*The Noetherian property for quotient rings of infinite polynomial rings*, Proc. Amer. Math. Soc.**76**(1979), 1-7. MR**80h:13010****[GH2]**R. Gilmer and W. Heinzer,*Ideals contracted from a Noetherian extension ring*, J. Pure Appl. Algebra**24**(1982), 123-144. MR**84a:13006****[GH3]**R. Gilmer and W. Heinzer,*The family of residue fields of a zero-dimensional commutative ring*, J. Pure Appl. Algebra**82**(1992), 131-153. MR**93k:13019****[GH4]**R. Gilmer and W. Heinzer,*Artinian subrings of a commutative ring*, Trans. Amer. Math. Soc.**336**(1993), 295-310. MR**93e:13028****[GH5]**R. Gilmer and W. Heinzer,*Imbeddability of a commutative ring in a finite-dimensional ring*, Manuscripta Math.**84**(1994), 401-414. MR**95i:13004****[HL]**W. Heinzer and D. Lantz,*Ideal theory in two-dimensional regular local domains and birational extensions*, Comm. in Algebra**23**(1995), 2863-2880. MR**96d:13037****[H]**J. Huckaba,*Commutative Rings with Zero Divisors*, Marcel-Dekker, New York, 1988. MR**89e:13001****[M]**H. Matsumura,*Commutative Ring Theory*, Cambridge University Press, 1986. MR**88h:13001****[N]**M. Nagata,*Local Rings*, Interscience, 1962. MR**27:5790**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC (1991):
13B02,
13C15,
13E05,
13H99

Retrieve articles in all journals with MSC (1991): 13B02, 13C15, 13E05, 13H99

Additional Information

**Robert Gilmer**

Affiliation:
Department of Mathematics, Florida State University, Tallahassee, Florida 32306-3027

Email:
gilmer@math.fsu.edu

**William Heinzer**

Affiliation:
Department of Mathematics, Purdue University, West Lafayette, Indiana 47907-1395

Email:
heinzer@math.purdue.edu

DOI:
https://doi.org/10.1090/S0002-9939-97-03847-1

Received by editor(s):
August 4, 1995

Received by editor(s) in revised form:
March 12, 1996

Communicated by:
Wolmer Vasconcelos

Article copyright:
© Copyright 1997
American Mathematical Society