Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



Finite generation of powers of ideals

Authors: Robert Gilmer, William Heinzer and Moshe Roitman
Journal: Proc. Amer. Math. Soc. 127 (1999), 3141-3151
MSC (1991): Primary 13A15, 13E99, 13G05
Published electronically: May 4, 1999
MathSciNet review: 1646305
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Suppose $M$ is a maximal ideal of a commutative integral domain $R$ and that some power $M^n$ of $M$ is finitely generated. We show that $M$ is finitely generated in each of the following cases: (i) $M$ is of height one, (ii) $R$ is integrally closed and $\operatorname{ht} M=2$, (iii) $R = K[X;\tilde S]$ is a monoid domain over a field $K$, where $\tilde S = S \cup \{0\}$ is a cancellative torsion-free monoid such that $\bigcap _{m=1}^\infty mS=\emptyset$, and $M$ is the maximal ideal $(X^s:s\in S)$. We extend the above results to ideals $I$ of a reduced ring $R$ such that $R/I$ is Noetherian. We prove that a reduced ring $R$ is Noetherian if each prime ideal of $R$ has a power that is finitely generated. For each $d$ with $3 \le d \le \infty$, we establish existence of a $d$-dimensional integral domain having a nonfinitely generated maximal ideal $M$ of height $d$ such that $M^2$ is $3$-generated.

References [Enhancements On Off] (What's this?)

  • 1. P. Eakin and A. Sathaye, Prestable ideals, J. Algebra 41 (1976), 439-454. MR 54:7449
  • 2. S. Gabelli, Complete integrally closed domains and t-ideals, Bolletino U.M.I (7) (1989), 327-342. MR 90h:13019
  • 3. R. Gilmer, On factorization into prime ideals, Commentarii Math. Helvetici 47 (1972), 70-74. MR 46:5310
  • 4. R. Gilmer, Multiplicative Ideal Theory, Queen's Papers Pure Appl. Math. Vol 90, Kingston, 1992. MR 37:5198
  • 5. R. Gilmer, Commutative Semigroup Rings, Chicago Lectures in Math., Chicago, 1984. MR 85e:20058
  • 6. W. Heinzer, D. Lantz, and K. Shah, The Ratliff-Rush ideals in a Noetherian ring, Comm. in Algebra 20 (1992), 591-622. MR 93c:13002
  • 7. I. Kaplansky, Commutative Rings, Revised Edition, The University of Chicago Press, 1974. MR 49:10674
  • 8. M. Nagata Local Rings , Interscience, New York, 1962. MR 27:5790
  • 9. J. Ohm and R. Pendleton, Rings with Noetherian spectrum, Duke Math. J. 35 (1968), 631-639; Addendum, 875. MR 37:5201
  • 10. L. J. Ratliff, Jr., and D. E. Rush, Two notes on reductions of ideals, Indiana Univ. Math. J. 27 (1978), 929-934. MR 58:22034

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (1991): 13A15, 13E99, 13G05

Retrieve articles in all journals with MSC (1991): 13A15, 13E99, 13G05

Additional Information

Robert Gilmer
Affiliation: Department of Mathematics, Florida State University Tallahassee, Florida 32306-4510

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

Moshe Roitman
Affiliation: Department of Mathematics, University of Haifa, Mount Carmel, Haifa 31905, Israel

Keywords: Cohen's theorem, finite generation, maximal ideal, monoid ring, Noetherian, power of an ideal, Ratliff-Rush closure
Received by editor(s): January 26, 1998
Published electronically: May 4, 1999
Additional Notes: The first two authors acknowledge with thanks the hospitality of the mathematics department of the University of North Carolina at Chapel Hill. Partial support of the work of the second author by the National Science Foundation is also gratefully acknowledged.
Communicated by: Wolmer V. Vasconcelos
Article copyright: © Copyright 1999 American Mathematical Society

American Mathematical Society