This paper studies the Ratliff-Rush closure of ideals in integral domains. By definition, the Ratliff-Rush closure of an ideal $I$ of a domain $R$ is the ideal given by $\tilde{I}:=\bigcup(I^{n+1}:_{R}I^{n})$ and an ideal $I$ is said to be a Ratliff-Rush ideal if $\tilde{I}=I$. We completely characterize integrally closed domains in which every ideal is a Ratliff-Rush ideal and we give a complete description of the Ratliff-Rush closure of an ideal in a valuation domain.
In this paper, we introduce the notion of Ratliff-Rush closure of modules and explore whether the condition of the Ratliff-Rush closure coincides with the integral closure. The main result characterizes the condition in terms of the normality of the projective scheme of the Rees algebra, which generalizes the result of S. Goto and N. Matsuoka. In conclusion, we shall give a criterion for the Buchsbaum Rees algebras.
Powers of (monomial) ideals is a subject that still calls attraction in various ways. In this paper we present a nice presentation of high powers of ideals in a certain class in $\mathbb K[x_1, \ldots, x_n]$ and $\mathbb K[[x_1, \ldots, x_n]]$. As an interesting application it leads to an algorithm for computation of the Ratliff--Rush operation on ideals in that class. The Ratliff--Rush operation itself has several applications, for instance, if $I$ is a regular $\mathfrak m$-primary ideal in a local ring $(R,m)$, then the Ratliff--Rush associated ideal $\tilde I$ is the unique largest ideal c…
Let $(R,m)$ be a Cohen-Macaulay local ring of positive dimension $d$ and infinite residue field. Let $I$ be an m-primary ideal and $J$ a minimal reduction of $I$. In this paper, we show that $\widetilde{r_J(I)}\leq r_J(I)$. This answer to a question that made by M.E. Rossi and I. Swanson in [\ref{Rs}, Question 4.6].
Let $R$ be a commutative Noetherian ring, $E$ a non-zero finitely generated $R$-module and $I$ an ideal of $R$. One purpose of this paper is to show that the sequences $\Ass_RE/ \widetilde{I_E^n}$ and $\Ass_R\widetilde{I^n _E}/\widetilde{I^{n+1}_E}$, $n = 1,2, \dots$, of associated prime ideals are increasing and eventually stabilize. This extends the main result of Mirbagheri and Ratliff \cite[Theorem 3.1]{MR}. In addition, a characterization concerning the set $\widetilde{A^*}(I,E)$ is included. A second purpose of this paper is to prove that $I$ has linear growth primary decompositions for …
We establish strong relationships between the Castelnuovo-Mumford regularity and the Ratliff-Rush closure of an ideal. Our results have several interesting consequences on the computation of the Ratliff-Rush closure, the stability of the Ratliff-Rush filtration, the invariance of the reduction number, and the computation of the Castelnuovo-Mumford regularity of the Rees algebra and the fiber ring. In particular, we prove that the Castelnuovo-Mumford regularity of the Rees algebra and of the fiber ring are equal for large classes of monomial ideals in two variables, thereby verifying a conjectu…
Let $(R,\fm)$ be a Cohen-Macaulay local ring of positive dimension $d$ and infinite residue field. Let $I$ be an $\fm$-primary ideal of $R$ and $J$ be a minimal reduction of $I$. In this paper we show that if $\widetilde{I^k}=I^k$ and $J\cap I^n=JI^{n-1}$ for all $n\geq k+2$, then $\widetilde{I^n}=I^n$ for all $n\geq k$. As a consequence, we can deduce that if $r_J(I)=2$, then $\widetilde{I}=I$ if and only if $\widetilde{I^n}=I^n$ for all $n\geq 1$. Moreover, we recover some main results [\ref{Cpv}] and [\ref{G}]. Finally, we give a counter example for question 3 of [\ref{P1}].
Let $R$ be a commutative ring with identity. In this note, we study the property: If $ I \subsetneqq J$ are ideals in $R$, then $ I^n \subsetneqq J^n$ for all $ n\geq 1$. We define the notion of a big ideal (Definition 1.2). It is noted that the property has close relationship with the notions of reduction of an ideal and Ratliff-Rush ideal [7]. Apart from other results, it is proved that a Noetherian domain satifies the property if and only if every ideal in $R$ is a Ratliff-Rush ideal. We also prove that ideals having no proper reduction are big ideals, and maximal ideals in regular rings ar…
We show that a ring $R$ is regular if $Tor_{i}^{R}(R^{+},k) = 0$ for some $i\geq 1$ assuming further that $R$ is a $\mathbb{N}$-graded ring of dimension $2$ finitely generated over an equi-characteristic zero field $k$. This answers a question of Bhatt, Iyengar, and Ma. We use almost mathematics over $R^{+}$ to deduce properties of the noetherian ring $R$ and rational surface singularities. Moreover we show that $R^{+}$ in equi-characteristic zero is $m$-adically ideal(wise) separated, a condition which appears in the proof of local criterion for flatness. In dimension $2$ it is Ohm-Rush and i…
