# Questions tagged [gorenstein]

The tag has no usage guidance.

34 questions
Filter by
Sorted by
Tagged with
67 views

### Example of Gorenstein ring that has infinite Krull dimension?

Let $R$ be a Noetherian commutative ring. If $R$ is local, then $R$ is Gorenstein if $inj.dim(R)<\infty$. Otherwise $R$ is Gorenstein if $R_P$ Gorenstein for all prime ideals $P$.\ There is a ...
47 views

### $k[[x,y]]/I$ is a Gorenstein ring implies that $I$ is generated by 2 elements

I have a problem $k[[x,y]]/I$ is a Gorenstein ring implies that $I$ is generated by 2 elements. I am stuck since I do not have many techniques to prove that an ideal is generated by 2 elements. ...
51 views

### check Gorenstein ring

I have a problem saying "Check that $k[[x,y,z]]/(x^3-z^2,y^2-xz,z^3)$ is a Gorenstein ring while $k[[x,y,z]]/(x,y,z)^2$ is not, given $k$ is a field." Anyway, easily check that Krull dimensions of ...
64 views

### Equivalent definition of maximal Cohen-Macaulay modules over a Gorenstein local ring

$\newcommand{\Ext}{\mathop{\rm Ext}\nolimits} \newcommand{\depth}{\mathop{\rm depth}\nolimits} \newcommand{\dim}{\mathop{\rm dim}\nolimits}$ A module $M$ is a maximal Cohen-Macaulay ...
69 views

78 views

### When homogeneous coordinate ring of an Abelian variety is Gorenstein?

Let $A$ be an abelian variety of dimension at least $2$. If $A$ is embedded into a projective space by a very ample line bundle $\mathcal{L}$ under which assumptions on $\mathcal{L}$ the homogeneous ...
65 views

168 views

### Localization of Gorenstein ring

Let $R$ be a Gorenstein local ring and $S=R \setminus Z(R)$. I want to prove $S^{-1}R =⊕_{ht\ p=0} R_p$ and $S^{-1}R$ is injective $R$-module. I can see the above $p$'s are minimal, $id_{R_p} R_p=0$ ...
177 views

### Gorenstein, complete intersection

Let $S = k[X_1,...,X_n]$ Example 3.2.11(b) of Bruns-Herzog's book "Cohen-Macaulay Rings", gives a Gorenstein ring that is a complete intersection iff $n \leq 2$. They have proved it as a special case ...
219 views

### Tor functor for the quotient of a Gorenstein local ring

Let $(R,m)$ be a Gorenstein local ring, $I\subset R$ a perfect ideal of grade $g$ and $S = R/I$. Prove that $S$ is Gorenstein iff $\operatorname{Tor}_g^R(S,S)=S$. This question is Exercise 3.3.25(c) ...
503 views

### What is a hypersurface ring and why is it Gorenstein?

My question is about this and this: In the first link Graham Leuschke says: "That is a hypersurface ring, so Gorenstein, so the canonical module is the ring itself." What is a hypersurface ...
235 views

### Note or book on Examples of regular, Gorenstein, Cohen Macaulay, … rings

I need a good note or book with plenty of examples in commutative algebra and algebraic geometry which surveyed being regular, Gorenstein, Cohen Macaulay, .... Can you help? thanks.
370 views

### On Gorenstein ring of dimension zero

Let $R$ be an Artinian local ring. Then $R$ is a Gorenstein ring (i.e., $R$ is an injective $R$-module) iff for any ideal $I$ of $R$, Ann$($Ann$(I))=I$. Why? (We call $R$ Gorenstein if injective ...
835 views

### Gorenstein ring VS. Gorenstein singularity

A normal variety is said to have Gorenstein singularity iff its canonical divisor is a Cartier divisor (one can always define the canonical divisor on a normal variety and it can be proved to be a ...
274 views

### The geometric interpretation of Gorenstein local ring

Many local rings have geometric interpretations. Cohen–Macaulay rings correspond to equi-dimensionality, and regular local rings correspond to non-singularity, but what is a geometric interpretation ...
245 views

### A Gorenstein domain that is not a complete intersection

Could you give me an example (with proof) of a Gorenstein domain that is not a complete intersection?
204 views

### The Gorenstein dimension of a ring

I'm studying on these notes. I have a question about page 64, the remark. A local ring is Gorenstein if and only if the Gorenstein dimension of the residue field is finite. Of course if the ring ...
300 views

### Are the rings $k[[t^3,t^4,t^5]]$ and $k[[t^4,t^5,t^6]]$ Gorenstein? (Matsumura, Exercise 18.8)

Here is question 18.8 of Matsumura's Commutative Ring Theory. It asks whether the rings $k[[t^3,t^4,t^5]]$, $k[[t^4,t^5,t^6]]$ are Gorenstein. I got that 1) is not Gorenstein, but 2) is Gorenstein (...
99 views

### A non-graded Gorenstein Artin $k$-algebra such that its associated graded ring is also Gorenstein

I am wondering if there is a non-graded Gorenstein Artin $k$-algebra $R$ such that its associated graded ring, $\mathrm{gr}(R)$, is also Gorenstein. All the non-graded Gorenstein rings I tried so ...
477 views

### Bruns-Herzog problem 3.1.25

This is problem 3.1.25 (page 97) in Cohen-Macaulay Rings by Bruns and Herzog. The direction I am interested in is the following. Let $R$ be a Gorenstein local ring and $M$ a finite $R$-module. If ...
310 views

Is it true that in a (non-local) Gorenstein ring, every maximal ideal has the same height? It seems a little strange, but I don't see any reason why it shoudn't.
356 views

### Gorenstein ring of dimension zero

Let $(R, \mathfrak m)$ be a local ring and in the same time a finite dimensional algebra over the complex numbers. How one can prove that if $\operatorname{Ann}_R(m)$ has dimension one then $R$ is an ...
Let $(R,m)$ be an artinian local ring. Show that if $I \cap J \neq 0$ for all non-zero ideals $I$ and $J$, then $R$ is a Gorenstein ring. Another formulation could be: show that if $(0)$ is an ...
Let $R$ be a Gorenstein (not necessarily commutative) ring and let $I$ be an injective finitely generated module over $R$. Is it true that if $\operatorname{Ext}_R^i(I, R)=0$ for $i > 0$, then $I$ ...