Families of Gorenstein and almost Gorenstein rings

Abstract

Starting with a commutative ring $R$ and an ideal $I$, it is possible to define a family of rings $R(I{)}_{a,b}$, with $a,b\in R$, as quotients of the Rees algebra ${\oplus }_{n\ge 0}{I}^n{t}^n$; among the rings appearing in this family we find Nagata's idealization and amalgamated duplication. Many properties of these rings depend only on $R$ and $I$ and not on $a,b$; in this paper we show that the Gorenstein and the almost Gorenstein properties are independent of $a,b$. More precisely, we characterize when the rings in the family are Gorenstein, complete intersection, or almost Gorenstein and we find a formula for the type.

15 pages. Roma01.Math.AC