Topics on the Ratliff-Rush Closure of an Ideal

Authors
Abstract
Introduction

Let be a Noetherian ring with unity and be a regular ideal of , that is, contains a nonzerodivisor. Let . Then . The :union: of this family, , is an interesting ideal first studied by Ratliff and Rush in [15]. ‎ The Ratliff-Rush closure of is defined by‎ . ‎ A regular ideal for which ‎‎ is called Ratliff-Rush ideal.‎‎ ‎

The present paper, reviews some of the known properties, and compares properties of Ratliff-Rush closure of ‎‎‎an ‎ideal ‎with ‎its integral closure. We discuss some general properties of Ratliff-Rush ideals, consider the behaviour of the Ratliff-Rush property with respect to certain ideal and ring-theoretic operations, and try to indicate how one might determine whether a given ideal is Ratliff-Rush or not.

‎‎‎For a proper regular ideal , we denote by ‎‎‎‎ the graded ring (or form ring) ‎‎‎ . All powers of ‎ ‎ are Ratliff-Rush ideals if and only if its positively graded ideal‎‎‎‎contains a nonzerodivisor. ‎An ideal is called a reduction of ‎‎ if ‎ ‎ for some A reduction ‎‎‎‎ is called a minimal reduction of ‎‎ if it does not properly contain a reduction of . The least such is called the reduction number of with respect to ‎, and denoted by . A regular ideal I is always a reduction of its associated Ratliff-Rush ideal

The Hilbert-Samuel function of ‎ is the numerical function that measures the growth of the length of ‎‎ for all ‎. This function, ‎, is a polynomial in, for all large ‎‎‎. ‎Finally, ‎in ‎t‎he ‎last ‎section, ‎we review some facts on Hilbert function of the Ratliff-Rush closure of an ideal.

Ratliff and Rush [15, (2.4)] prove that every nonzero ideal in a Dedekind domain is concerning a Ratliff-Rush ideal. They also [15, Remark 2.5] express interest in classifying the Noetherian domains in which every nonzero ideal is a Ratliff-Rush ideal. This interest motivated the next sequence of results. A domain with this property has dimension at most one.

Results and discussion

The present paper compares properties of Ratliff-Rush closure of ‎‎‎an ‎ideal ‎with ‎its integral closure. Furthermore, ideals in which their associated graded ring has positive depth, are introduced as ideals for which all its powers are Ratliff-Rush ideals. While stating that each regular ideal is always a reduction of its associated Ratliff-Rush ideal, it expresses the command for calculating the Rutliff-Rush closure of an ideal by its reduction. This fact that Hilbert polynomial of an ideal has the same Hilbert polynomial its Ratliff-Rush closure, is from our other results.

Conclusion

T‎he Ratliff-Rush closure of ideals is a good operation with respect to many properties, it carries information about associated primes of powers of ideals, about zerodivisors in the associated graded ring, preserves the Hilbert function of zero-dimensional ideals, etc.

./files/site1/files/51/%D9%85%D8%A7%D9%81%DB%8C.pdf
Keywords

1. ‎ Atiyah‎ M‎. ‎F., MacDonald I‎. ‎G. ‎, "Introduction to Commutative Algebra"‎, ‎Addison-Wesley‎, ‎(1969)‎. 2. ‎D'Anna M., Guerrieri A., Heinzer W.‎, "Invariants of ideals having principal reductions"‎, ‎Comm‎. ‎Algebra‎, ‎29 (2) (2001) 889-906‎. 3. ‎Grayson D‎. ‎R.‎, ‎Stillman M‎. ‎E.‎ , Macaulay2‎, ‎"a software system for research in algebraic geometry"‎, ‎Available at‎ ‎http://www.math.uiuc.edu/Macaulay2‎. 4. Heinzer W.‎, ‎ Lantz D., Shah K.‎, "The Ratliff-Rush ideals in a Noetherian ring"‎, ‎Comm‎. ‎Algebra‎, ‎20 (1992) 591-622‎. 5. Heinzer W.‎, ‎Johnston B.‎, ‎Lantz D., Shah K.‎, "Coefficient ideals in and blowups of a commutative Noetherian domain", ‎J‎. ‎Algebra‎, ‎162 (1993) 355-391‎. 6. ‎Heinzer W.‎, ‎ Johnston B.‎, ‎ Lantz D., Shah K.‎, "The Ratliff-Rush ideals in a Noetherian ring‎: ‎a survey"‎, ‎Lecture Notes in Pure and Appl‎. ‎Math.‎, ‎vol‎. ‎140‎, ‎Dekker‎, ‎New York‎, ‎(1993) 149-159‎. 7. ‎ Huckaba S.‎, "Reduction numbers for ideals of analytic spread one", J‎. ‎Algebra‎, ‎108 (1987) ‎. ‎503-512‎. 8. Huneke C., "On the associated graded ring of an Ideal", Ill. J. Math, 26 (1982). 121-137. 9. ‎ Huneke C‎.,‎ ‎ Swanson I.,‎ "Integral Closure of Ideals‎, ‎Rings‎, ‎and Modules"‎, ‎London Mathematical Society Lecture Note Series‎, ‎vol.336‎, ‎Cambridge University Press‎, ‎Cambridge‎, ‎(2006)‎. 10. ‎Kunz E.‎, "Introduction to Commutative Algebra and Algebraic Geometry"‎, ‎Birkhuauser‎, ‎Boston‎, ‎(1985)‎. 11. ‎‎Lipman J.‎‎, "Stable ideals and Arf rings"‎, ‎Amer‎. ‎J‎. ‎Math.‎, ‎93 (1971) 649-685‎. 12. ‎Larsen M‎. ‎D., McCarthy P‎. ‎J. ‎, "Multiplicative Theory of Ideals"‎, ‎Academic Press‎, ‎New York and London‎, ‎(1971)‎. 13. ‎Matsumura H., "Commutative Ring Theory"‎, ‎Cambridge Univ‎. ‎Press‎, ‎Cambridge‎, ‎(1986)‎. 14. ‎ Northcott D‎. ‎G., Rees D., "Reductions of Ideals in local rings"‎, ‎Proc‎. ‎Cambridge Philos‎. ‎Soc.‎, ‎50 (1954) 145-158‎. 15. ‎Ratliff L‎. ‎J.‎, D‎. ‎ Rush E.‎, "Two notes on reductions of Ideals"‎, ‎Indiana Univ‎. ‎Math‎. ‎J.‎, ‎27 (1978) 929-934‎. 16. ‎Rossi M‎. ‎E.‎, ‎Swason I., "Notes on the behavior of the Ratliff-Rush filtration"‎, ‎American Mathematical Society‎, ‎Providence‎, ‎RI (2003) 313-328‎ . 17. ‎Rossi M‎. ‎E.‎, ‎Valla G., "The Hilbert function of the Ratliff–Rush filtration"‎, ‎J‎. ‎Pure and Appl‎. ‎Algebra‎, ‎201 (2005) 25-41‎ . 18. Sally J‎, "Ideals whose Hilberrt function and Hilbert polynomial agree at n=1"‎, ‎J‎. ‎Algebra‎, ‎157 (1993) 534-547‎ . 19. ‎ Valla G.‎, "On form rings which are Cohen–Macaulay"‎, ‎J‎. ‎Algebra‎, ‎58 (1979) 247-250‎.