Generalized Gorenstein Arf rings (Q1741622)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generalized Gorenstein Arf rings |
scientific article |
Statements
Generalized Gorenstein Arf rings (English)
0 references
6 May 2019
0 references
Let $(R,\mathfrak{m})$ be a local one-dimensional Cohen-Macaulay ring with $Q(R)$ its total quotient ring. By view of \textit{C. Arf} [Proc. Lond. Math. Soc. (2) 50, 256--287 (1948; Zbl 0031.07002)] and \textit{J. Lipman} [Am. J. Math. 93, 649--685 (1971; Zbl 0228.13008)] it is called an Arf ring provided every integrally closed ideal is stable. An ideal $I \subset R$ is stable if $I^2 = xI$ for some $x \in I$ (see J. Lipman [loc. cit.] for the details). For the definition of a generalized Gorenstein ring see the paper by \textit{S. Gôto} et al., [``Characterization of generalized Gorenstein rings'', Preprint, \url{arXiv:1704.08901}]. The main subject of the paper is the study of generalized Gorenstein Arf rings. The main result is the following: \par Let $R$ denote a one-dimensional generalized Gorenstein local ring with a canonical ideal $I$ that contains a parameter ideal $(a)$ as a reduction. Then $R$ is an Arf ring if and only if $R$ has minimal multiplicity and the multiplicity of $S_{\mathcal{M}}$ is at most two for each maximal ideal of $S =R[x/a| x\in I]$. \par There are various applications. In particular, let $\Bbbk$ a field and let $R = \Bbbk[|t^{a_1}, \ldots, t^{a_l}|]$ be a generalized Gorenstein numerical semigroup ring. Then $R$ is an Arf ring if and only if $R$ is of minimal multiplicity and a certain numerical condition on the corresponding semigroup $H =\langle a_1,\ldots,a_l\rangle$ is satisfied. \par This generalizes a result by \textit{V. Barucci} and \textit{R. Fröberg} [J. Algebra 188, No. 2, 418--442 (1997; Zbl 0874.13018)] about Arf numerical semigroup rings.
0 references
Arf rings
0 references
generalized Gorenstein local rings
0 references
almost Gorenstein local rings
0 references