Related papers: When are the rings $I:I$ Gorenstein?
Let $(R, \mathfrak{m}) $ be a Gorenstein local ring of dimension $d > 0$ and let $I$ be an ideal of $R$ such that $(0) \ne I \subsetneq R$ and $R/I$ is a Cohen-Macaulay ring of dimension $d$. There is given a complete answer to the question…
This paper gives a necessary and sufficient condition for Gorensteinness in Rees algebras of the $d$-th power of parameter ideals in certain Noetherian local rings of dimension $d\ge 2$. The main result of this paper produces many…
Let $(A,{\mathfrak m})$ be a Cohen-Macaulay local ring and let $I$ be an ideal of $A$. We prove that the Rees algebra ${\mathcal R}(I)$ is an almost Gorenstein ring in the following cases: (1) $(A,{\mathfrak m})$ is a two-dimensional…
The question of when the Rees algebra ${\mathcal R} (I)= \bigoplus_{n \ge 0}I^n$ of $I$ is an almost Gorenstein graded ring is explored, where $R$ is a two-dimensional regular local ring and $I$ a contracted ideal of $R$. It is known that…
Let $A$ be a Cohen-Macaulay local ring with $\operatorname{dim} A = d\ge 3$, possessing the canonical module ${\mathrm K}_A$. Let $a_1, a_2, \ldots, a_r$ $(3 \le r \le d)$ be a subsystem of parameters of $A$ and set $Q= (a_1, a_2, \ldots,…
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…
Given a Noetherian local ring (R,m) it is shown that there exists an integer l such that R is Gorenstein if and only if some system of parameters contained in m^l generates an irreducible ideal. We obtain as a corollary that R is Gorenstein…
We investigate the existence of ideals $I$ in a one-dimensional Gorenstein local ring $R$ satisfying $\mathrm{Ext}^{1}_{R}(I,I)=0$.
Quasi-socle ideals, that is the ideals $I$ of the form $I= Q : \mathfrak{m}^q$ in a Noetherian local ring $(A, \mathfrak{m})$ with the Gorenstein tangent cone $\mathrm{G}(\mathfrak{m}) = \bigoplus_{n \geq…
Let I be an m-primary ideal of a Noetherian local ring (R,m). We consider the Gorenstein and complete intersection properties of the associated graded ring G(I) and the fiber cone F(I) of I as reflected in their defining ideals as…
The purpose of this article is to provide a new characterization of Cohen-Macaulay local rings. As a consequence we deduce that a local (Noetherian) ring $R$ is Gorenstein if and only if every parameter ideal of $R$ is irreducible.
We consider trace ideals in Noetherian rings and focus our attention to one-dimensional analytically irreducible local rings. For such rings we classify those Gorenstein rings which admit only a finite number of trace ideals.
We answer a question of Celikbas, Dao, and Takahashi by establishing the following characterization of Gorenstein rings: a commutative noetherian local ring $(R,\mathfrak m)$ is Gorenstein if and only if it admits an integrally closed…
Let $(R,\mathfrak{m})$ be a two-dimensional regular local ring with infinite residue class field. Then the Rees algebra $\mathcal{R} (I)= \bigoplus_{n \ge 0}I^n$ of $I$ is an almost Gorenstein graded ring in the sense of…
For an Ulrich ideal in a Gorenstein local ring, the quotient ring is again Gorenstein. Aiming to further develop the theory of Ulrich ideals, this paper investigates a naive question of how many non-principal ideals whose quotient rings are…
Let $A$ be a two-dimensional excellent normal Gorenstein local domain. In this paper, we characterize elliptic ideals $I \subset A$ for its normal tangent cone $\overline{G}(I)$ to be Gorenstein. Moreover, we classify all those ideals in a…
This paper explores the structure of quasi-socle ideals I=Q:m^2 in a Gorenstein local ring A, where Q is a parameter ideal and m is the maximal ideal in A. The purpose is to answer the problem of when Q is a reduction of I and when the…
Quasi-socle ideals, that is the ideals $I$ of the form $I= Q : \mathfrak{m}^q$ in Gorenstein numerical semigroup rings over fields are explored, where $Q$ is a parameter ideal, and $\mathfrak{m}$ is the maximal ideal in the base local ring,…
A commutative noetherian local ring $(R,\mathfrak{m})$ is Gorenstein if and only if every parameter ideal of $R$ is irreducible. Although irreducible parameter ideals may exist in non-Gorenstein rings, Marley, Rogers, and Sakurai show there…
Let $(A,\mathfrak m)$ be a two-dimensional excellent normal Gorenstein local domain containing an algebraically closed filed. Let $I =H^0(X,\mathcal{O}_X(-Z)) \subset A$ be an $\mathfrak m$-primary integrally closed ideal represented by an…