# Gorenstein ring

In commutative algebra, a **Gorenstein local ring** is a Noetherian commutative local ring *R* with finite injective dimension, as an *R*-module. There are many equivalent conditions, some of them listed below, most dealing with some sort of duality condition.

Gorenstein rings were introduced by Grothendieck, who named them because of their relation to a duality property of singular plane curves studied by Template:Harvs (who was fond of claiming that he did not understand the definition of a Gorenstein ring). The zero-dimensional case had been studied by Template:Harvtxt. Template:Harvtxt and Template:Harvtxt publicized the concept of Gorenstein rings.

Noncommutative analogues of 0-dimensional Gorenstein rings are called Frobenius rings.

## Definitions

A **Gorenstein ring** is a commutative ring such that each localization at a prime ideal is a Gorenstein local ring. The Gorenstein ring concept is a special case of the more general Cohen–Macaulay ring.

The classical definition reads:

A local Cohen–Macaulay ring *R* is called **Gorenstein** if there is a maximal *R*-regular sequence in the maximal ideal generating an irreducible ideal.{{ safesubst:#invoke:Unsubst||date=__DATE__ |$B=
{{#invoke:Category handler|main}}{{#invoke:Category handler|main}}^{[citation needed]}
}}

For a Noetherian commutative local ring of Krull dimension , the following are equivalent:

- has finite injective dimension as an -module;
- has injective dimension as an -module;
- for and is isomorphic to ;
- for some ;
- for all and is isomorphic to ;
- is an -dimensional Gorenstein ring.

A (not necessarily commutative) ring *R* is called Gorenstein if *R* has finite injective dimension both as a left *R*-module and as a right *R*-module. If *R* is a local ring, we say *R* is a local Gorenstein ring.

## Examples

- Every local complete intersection ring, in particular every regular local ring, is Gorenstein.

- The ring
*k*[*x*,*y*,*z*]/(*x*^{2},*y*^{2},*xz*,*yz*,*z*^{2}–*xy*) is a 0-dimensional Gorenstein ring that is not a complete intersection ring.

- The ring
*k*[*x*,*y*]/(*x*^{2},*y*^{2},*xy*) is a 0-dimensional Cohen–Macaulay ring that is not a Gorenstein ring.

## Properties

A noetherian commutative local ring is Gorenstein if and only if its completion is Gorenstein.^{[1]}

The canonical module of a graded Gorenstein ring *R* is isomorphic to *R* with some degree shift.

## See also

## References

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- Template:Eom
- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- Hideyuki Matsumura,
*Commutative Ring Theory*, Cambridge studies in advanced mathematics 8. - {{#invoke:citation/CS1|citation

|CitationClass=citation }}