Related papers: Computing Gorenstein Colength

We examine the ideal $I=(x_1^2, \dots, x_n^2, (x_1+\dots+x_n)^2)$ in the polynomial ring $Q=k[x_1, \dots, x_n]$, where $k$ is a field of characteristic zero or greater than $n$. We also study the Gorenstein ideal $G$ linked to $I$ via the…

Let $A$ and $B$ be rings, $U$ a $(B,A)$-bimodule and $T=\begin{pmatrix} A&0\\U&B \end{pmatrix}$ the triangular matrix ring. In this paper, several notions in relative Gorenstein algebra over a triangular matrix ring are investigated. We…

Let $I ~(\ne A)$ be an ideal of a $d$-dimensional Noetherian local ring $A$ with $\operatorname{ht}_AI \ge 2$, containing a non-zerodivisor. The problem of when the ring $I:I=\operatorname{End}_AI$ is Gorenstein is studied, in connection…

Fix a pair of positive integers d and n. We create a ring R and a complex G of R-modules with the following universal property. Let P be a polynomial ring in d variables over a field and let I be a grade d Gorenstein ideal in P which is…

We introduce a new numerical invariant $\gamma_I(M)$ associated to a finite-length $R$-module $M$ and an ideal $I$ in an Artinian local ring $R$. This invariant measures the ratio between $\lambda(IM)$ and $\lambda(M/IM)$. We establish…

Let $(A, \mathfrak{m})$ be a Gorenstein local ring, and $\mathcal{F} =\{F_n \}_{n\in \mathbb{Z}}$ a Hilbert filtration. In this paper, we give a criterion for Gorensteinness of the associated graded ring of $\mathcal{F}$ in terms of the…

In this article we investigate when a complete ideal in a two-dimensional regular local ring is a multiplier ideal of some ideal with an integral multiplying parameter. In particular, we show that this question is closely connected to the…

We provide a characterization of one-dimensional almost Gorenstein rings in terms of the trace ideal. As an application, we investigate the almost Gorenstein property of certain $\mathbb{Z}_2$-graded rings.

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.

Let $(S, \mathfrak n) $ be a regular local ring and let $I \subseteq \mathfrak n^2 $ be a perfect ideal of $S. $ Sharp upper bounds on the minimal number of generators of $I$ are known in terms of the Hilbert function of $R=S/I. $ Starting…

Let $k$ be a field and $G \subseteq Gl_n(k)$ be a finite group with $|G|^{-1} \in k$. Let $G$ act linearly on $A = k[X_1, \ldots, X_n]$ and let $A^G$ be the ring of invariant's. Suppose there does not exist any non-trivial one-dimensional…

The notion of almost Gorenstein ring given by Barucci and Fr{\"o}berg \cite{BF} in the case where the local rings are analytically unramified is generalized, so that it works well also in the case where the rings are analytically ramified.…

Assume $R$ is a polynomial ring over a field and $I$ is a homogeneous Gorenstein ideal of codimension $g\ge3$ and initial degree $p\ge2$. We prove that the number of minimal generators $\nu(I_p)$ of $I$ that are in degree $p$ is bounded…

We investigate nearly Gorenstein property for a normal graded ring $R = \bigoplus_{n\ge 0}R_n$ finitely generated over a field. For that purpose, we investigate ${K_R}^{-1}$, the inverse of $K_R$ (the canonical module of $R$) and introduce…

Let R be a local Noetherian commutative ring. We prove that R is an Artinian Gorenstein ring if and only if every ideal in R is a trace ideal. We discuss when the trace ideal of a module coincides with its double annihilator.

We prove that modules over an Artinian Gorenstein local ring $R$ have rational Poincar\'e series sharing a common denominator if $R/\soc(R)$ is a Golod ring. If $R$ is a Gorenstein local ring with square of the maximal ideal being generated…

Let $I$ be a homogeneous ideal in $R=\mathbb K[x_0,\ldots,x_n]$, such that $R/I$ is an Artinian Gorenstein ring. A famous theorem of Macaulay says that in this instance $I$ is the ideal of polynomial differential operators with constant…

Suppose $R$ is a $\mathbb{Q}$-Gorenstein $F$-finite and $F$-pure ring of prime characteristic $p>0$. We show that if $I\subseteq R$ is a compatible ideal (with all $p^{-e}$-linear maps) then there exists a module finite extension $R\to S$…

For any group $G$, the Gorenstein homological dimension ${\rm Ghd}_RG$ is defined to be the Gorenstein flat dimension of the coefficient ring $R$, which is considered as an $RG$-module with trivial group action. We prove that ${\rm Ghd}_RG…

Motivated by the notion of geometrically linked ideals, we show that over a Gorenstein local ring $R$, if a Cohen-Macaulay $R$-module $M$ of grade $g$ is linked to an $R$-module $N$ by a Gorenstein ideal $c$, such that $Ass_R(M)\cap…