Introduction
Let
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image002.gif)
be a Noetherian ring with unity and
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
be a regular ideal of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image002.gif)
, that is,
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
contains a nonzerodivisor. Let
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image006.gif)
. Then
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image008.gif)
. The :union: of this family,
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image010.gif)
, is an interesting ideal first studied by Ratliff and Rush in [15]. The Ratliff-Rush closure of
is defined by
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image012.gif)
. A regular ideal
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
for which
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image014.gif)
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
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
, we denote by
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image016.gif)
the graded ring (or form ring)
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image018.gif)
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image020.gif)
. All powers of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image022.gif)
are Ratliff-Rush ideals if and only if its positively graded ideal
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image024.gif)
contains a nonzerodivisor. An ideal
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image026.gif)
is called a reduction of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image022.gif)
if
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image028.gif)
for some
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image030.gif)
A reduction
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image032.gif)
is called a minimal reduction of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
if it does not properly contain a reduction of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
. The least such
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image034.gif)
is called the reduction number of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
with respect to
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image032.gif)
, and denoted by
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image036.gif)
. A regular ideal I is always a reduction of its associated Ratliff-Rush ideal
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image040.gif)
The Hilbert-Samuel function of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
is the numerical function that measures the growth of the length of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image042.gif)
for all
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image044.gif)
. This function,
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image046.gif)
, is a polynomial in, for all large
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image048.gif)
. 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
The 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
Type of Study:
S |
Subject:
alg Received: 2017/09/16 | Revised: 2019/07/10 | Accepted: 2018/02/21 | Published: 2019/07/13 | ePublished: 2019/07/13