English
Related papers

Related papers: When are trace ideals finite?

200 papers

Let $I$ and $J$ be two ideals of a commutative Noetherian ring $R$ and $M$ be an $R$-module of dimension $d$. If $R$ is a complete local ring and $M$ is finite, then attached prime ideals of $H^{d-1}_{I,J}(M)$ are computed by means of the…

Commutative Algebra · Mathematics 2015-02-18 Kh. Ahmadi Amoli , Z. Habibi , M. Jahangiri

In this paper, we consider whether parameter test ideals, conductors, $F$-ideals, and trace ideals are contained in an ideal whose quotient ring has finite phantom projective dimension (for example, ideals generated by a system of…

Commutative Algebra · Mathematics 2025-01-29 Kaito Kimura

In the present paper, we investigate a conjecture of J\"urgen Herzog. Let $S$ be a local regular ring with residue field $K$ or a positively graded $K$-algebra, $I\subset S$ be a perfect ideal of grade two, and let $R=S/I$ with canonical…

Commutative Algebra · Mathematics 2024-06-12 Antonino Ficarra

Let R be a commutative noetherian ring. We prove that if R is either an equidimensional finitely generated algebra over a perfect field, or an equidimensional equicharacteristic complete local ring with a perfect residue field, then the…

Commutative Algebra · Mathematics 2023-08-22 Jian Liu

Let $R$ be a Noetherian local ring. We prove that $R$ is regular of dimension at most four if, and only if, every prime ideal, defining a Gorenstein quotient ring, is syzygetic. We deduce a characterization of these rings in terms of the…

Commutative Algebra · Mathematics 2022-03-22 Francesc Planas-Vilanova

Let $R$ be a commutative noetherian ring, $I,J$ be two ideals of $R$, $M$ be an $R$-module, and $\mathcal{S}$ be a Serre class of $R$-modules. A positive answer to the Huneke$^,$s conjecture is given for a noetherian ring $R$ and minimax…

Commutative Algebra · Mathematics 2012-11-20 M. Aghapournahr , KH. Ahmadi-amoli , M. Y. Sadeghi

In this paper we prove the following generalization of a result of Hartshorne: Let $(S,\n)$ be a regular local ring of dimension $4$. Assume that $x,y,u,v$ is a regular system of parameters for $S$ and $a:=xu+yv$. Then for each finitely…

Commutative Algebra · Mathematics 2019-01-23 Kamal , Bahmanpour

Given a commutative Noetherian ring $R$ with total ring of fractions $Q(R)$, and a finitely generated $R$-submodule $M$ of $Q(R)$, we prove an equality between trace ideal, and certain annihilator of Ext and Tor of $M$. As a consequence, we…

Commutative Algebra · Mathematics 2022-10-11 Souvik Dey

Let R be a (not necessarily local) Noetherian ring and M a finitely generated R-module of finite dimension d. Let \fa be an ideal of R and \fM denote the intersection of all prime ideals \fp in Supp_RH^d_{\fa}(M). It is shown that…

Commutative Algebra · Mathematics 2007-05-23 Kamran Divaani-Aazar

Consider a Noetherian domain $R$ and a finite group $G \subseteq Gl_n(R)$. We prove that if the ring of invariants $R[x_1, \ldots, x_n]^G$ is a Cohen-Macaulay ring, then it is generated as an $R$-algebra by elements of degree at most…

Commutative Algebra · Mathematics 2022-05-30 David Mundelius

We study rings which have Noetherian cohomology under the action of a ring of cohomology operators. The main result is a criterion for a complex of modules over such a ring to have finite injective dimension. This criterion generalizes, by…

Commutative Algebra · Mathematics 2012-05-14 Jesse Burke

The aim of this paper is to extend the main result of C. Huneke and G. Lyubeznik in [Adv. Math. 210 (2007), 498--504] to the class of rings that are images of Cohen-Macaulay local rings. Namely, let $R$ be a local Noetherian domain of…

Commutative Algebra · Mathematics 2016-03-15 Pham Hung Quy

Let $\fa$ be an ideal of a $d$-dimensional commutative Noetherian ring $R$. In this paper we give some information on some last non-zero local cohomology modules known as top local cohomology modules in particular, $H^{d-1}_{\fa}(R)$.

Commutative Algebra · Mathematics 2018-09-03 Majid Eghbali

In this article, we generalize the well-known result that ideals of Noetherian polynomial rings have only finitely many initial ideals to the situation of ascending ideal chains in non-Noetherian polynomial rings. More precisely, we study…

Commutative Algebra · Mathematics 2017-08-28 Felicitas Lindner

Let $R$ denote a commutative Noetherian (not necessarily local) ring, $M$ an arbitrary $R$-module and $I$ an ideal of $R$ of dimension one. It is shown that the $R$-module $\Ext^i_R(R/I,M)$ is finitely generated (resp. weakly Laskerian) for…

Commutative Algebra · Mathematics 2013-08-29 Kamal Bahmanpour , Reza Naghipour , Monireh Sedghi

Let $R$ be a regular local ring of dimension at least 2. Associated to each valuation domain birationally dominating $R$, there exists a unique sequence $\{R_n\}$ of local quadratic transforms of $R$ along this valuation domain. We consider…

Commutative Algebra · Mathematics 2016-10-04 W. Heinzer , K. A. Loper , B. Olberding , H. Schoutens , M. Toeniskoetter

Let $I$ denote an ideal of a local Gorenstein ring $(R, \mathfrak m)$. Then we show that the local cohomology module $H^c_I(R), c = \height I,$ is indecomposable if and only if $V(I_d)$ is connected in codimension one. Here $I_d$ denotes…

Commutative Algebra · Mathematics 2008-10-28 Peter Schenzel

Let $T$ be a complete local (Noetherian) ring of characteristic zero. We find necessary and sufficient conditions for $T$ to be the completion of a quasi-excellent local domain. In the case that $T$ contains the rationals, we provide…

Commutative Algebra · Mathematics 2023-10-03 David Baron , Ammar Eltigani , S. Loepp , AnaMaria Perez , M. Teplitskiy

There has arisen in recent years a substantial theory of "multiplier ideals'' in commutative rings. These are integrally closed ideals with properties that lend themselves to highly interesting applications. But how special are they among…

Commutative Algebra · Mathematics 2007-05-23 Joseph Lipman , Keiichi Watanabe

We show that every integrally closed $\mathfrak{m}$-primary ideal $I$ in a commutative Noetherian local ring $(R,\mathfrak{m},k)$ has maximal complexity and curvature, i.e., $ {\rm cx}_R(I) = {\rm cx}_R(k) $ and $ {\rm curv}_R(I) = {\rm…

Commutative Algebra · Mathematics 2023-08-02 Dipankar Ghosh , Tony J. Puthenpurakal