Related papers: The equality I^2=QI in Buchsbaum rings

We present a comprehensive formalization in the Lean4 theorem prover of the Auslander--Buchsbaum--Serre criterion, which characterizes regular local rings as those Noetherian local rings with finite global dimension. Rather than following…

The classical "generalized principal ideal theorems" of Macaulay, Eagon-Northcott, and others give sharp bounds on the heights of determinantal ideals in arbitrary rings. But in regular local rings (or graded polynomial rings) these are far…

Let $R$ be a noetherian local ring. We consider the following quastion: Does there exist an integer $n$ such that all idelas generated by a system of parameters contained in the $n$-th power of the maximal ideal have the same Betti numbers?…

Let $R=K[x_1,\ldots, x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I$ be monomial ideal of $R$. In this paper, we show that if $I$ is a generic monomial ideal, then $R/I$ is pretty clean if and only if $R/I$ is…

Hochster's and Takayama's formulas describes the multigraded components of local cohomology modules of monomial ideals in terms of simplicial complexes. In this paper, we develop a relative version of these formulas for quotients $I/J$ of…

Expanding on the work of Fouli and Vassilev \cite{FV}, we determine a formula for the *-$\rm{core}$ of an ideal in two different settings: (1) in a Cohen--Macaulay local ring of characteristic $p>0$, perfect residue field and test ideal of…

In this paper, we study non-Cohen--Macaulay Buchsbaum Stanley--Reisner rings with linear free resolution. In particular, for given integers $c$, $d$, $q$ with $c \ge 1$, $2 \le q \le d$, we give an upper bound $h_{c,d,q}$ on the dimension…

The third named author and P\'{e}rez proved that under certain conditions the test ideal of a module closure agrees with the trace ideal of the module closure. We use this fact to compute the test ideals of various rings with respect to the…

Let $(R, {\frak m})$ be a local ring, $I$ a proper ideal of $R$ and $M$ a finitely generated $R$-module of dimension $d$. We discuss the local homology modules of $H^d_I(M)$. When $M$ is Cohen-Macaulay, it is proved that $H^d_{{\frak…

The aim of this paper is to elucidate the relationship between the Gorenstein Rees algebra $\R(I):=\bigoplus_{i\ge 0}I^i$ of an ideal $I$ in a complete Noetherian local ring $A$ and the graded canonical module of the extended Rees algebra…

In this paper, we study the properties of noetherian rings with uniform annihilators. It turns out that all these rings should be universally catenary and locally equidimensional. We will give a necessary and sufficient condition for these…

The Auslander-Reiten conjecture is a notorious open problem about the vanishing of Ext modules. In a Cohen-Macaulay complete local ring $R$ with a parameter ideal $Q$, the Auslander-Reiten conjecture holds for $R$ if and only if it holds…

Let Q be a parameter ideal of a Noetherian local ring (R,m). The Goto number g(Q) of Q is the largest integer g such that Q:m^g is integral over Q. We examine the values of g(Q) as Q varies over the parameter ideals of R. We concentrate…

Let $\mathfrak{q}$ be an ideal of a Noetherian local ring $(A,\mathfrak{m})$ and $M$ a non-zero finitely generated $A$-module. We present a criterion of Cohen-Macaulayness of the form module $G_M(\mathfrak{q})$ in terms of (non-)vanishing…

We introduce a new class of commutative noetherian DG-rings which generalizes the class of regular local rings. These are defined to be local DG-rings $(A,\bar{\mathfrak{m}})$ such that the maximal ideal $\bar{\mathfrak{m}} \subseteq…

It is shown that in a Cohen-Macaulay local ring, the generic linkage of an ideal $I$ is a deformation of the arbitrary linkage of $I$. This fact does not need $I$ to be a Cohen-Macaulay ideal. The same holds for $s$-residual intersections…

By definition, an $\m$-primary ideal $I$ in a 2-dimensional regular local ring $(R, \m)$ is contracted if $I=R \cap IR[\m/x]$ for some $x \in \m \setminus \m^2$. Contracted ideals have been introduced by Zariski and used for proving the…

In this expository paper we survey results that relate Hilbert coefficients of an m-primary ideal I in a Cohen-Macaulay local ring (R, m) with depth of the associated graded ring G(I). Several results in this area follow from two theorems…

Let $R$ be a noetherian commutative ring. Of great interest is the question whether one can find an explicit integer $k$ such that $\overline{I^{k+n}}\subseteq I^n$ for each ideal $I$ and each integer $n\geq 1$ (the notation…

A not necessarily noetherian local ring O is called regular if every finitely generated ideal I of O possesses finite projective dimension. In the article localizations O of a finitely presented, flat algebra A over a Pruefer domain R at a…