One dimensional local rings of maximal and almost maximal length
type: Item
instance of: scholarly article
title: One dimensional local rings of maximal and almost maximal length
zbMATH Open document ID: 0773.13006
DOI: 10.1016/0021-8693(92)90118-6
author: William C. Brown
author: Jürgen Herzog
published in: Journal of Algebra
publication date: 1993-05-16T00:00:00Z
review text: Let \((A,{\mathfrak m})\) be a reduced excellent Cohen-Macaulay local ring with infinite residue field. Assume that \(A\) has a canonical module \(\omega\). Let \(C\) be the conductor of \(A\) in its integral closure \(\overline A\). It is well known that if \(A\) is Gorenstein then \(\ell(\overline A/A)=\ell(A/C)\), where \(\ell=\text{length}_ A\). In general, one has the inequality \((*)\) \(\ell(\overline A/A)\leq\ell(A/C)t(A)\), where \(t(A)\) is the Cohen-Macaulay type of \(A\). Thus \((*)\) is an equality if \(A\) is Gorenstein. The converse is false. The authors investigate rings for which \((*)\) is an equality, called rings of maximal length, and also rings for which the equality \(\ell(\overline A/A)=\ell(A/C)t(A)-1\) holds, called rings of almost maximal length. The following are among the several nice results proved: (1) With a suitable choice of \(\omega\), \(A\) has maximal length if and only if \(\omega/C\omega\) is \(A/C\)-free. (2) \(A\) has maximal length if and only if either \(A\) is Gorenstein or there exists an \(x\in {\mathfrak m}\) such that \({\mathfrak m}=(x,C)\) and \(C=x^ p\overline A\) for some \(p\). (3) Suppose \(\overline A\) is local, \(\text{mult}(A)\leq 3\) and \({\mathfrak m}=(x,C)\) for some \(x\in{\mathfrak m}\). Then \(A\) has maximal or almost maximal length. (4) \(A\) has almost maximal length and \(\text{mult}(A)=1+t(A)\) if and only if there exists a transversal \(x\) of \({\mathfrak m}\) such that \({\mathfrak m}=(x,C)\) and \(\ell(C/x^ p\overline A)=1\), where \(p\) is the least integer with \(x^ p\in C\). These results generalize more specific results for semigroup rings obtained earlier by the first author and \textit{F. Curtis} [Semigroup Forum 42, 219-235 (1991; Zbl 0722.20046)].
Mathematics Subject Classification ID: 13H10
zbMATH DE Number: 165841
zbMATH Keywords: length
zbMATH Keywords: Cohen-Macaulay local ring
zbMATH Keywords: rings of maximal length
zbMATH Keywords: rings of almost maximal length
reviewed by: Balwant Singh
MaRDI profile type: Publication
full work available at URL: 0021-8693(92)90118-6
OpenAlex ID: W2011135721
cites work: Numerical semigroups of maximal and almost maximal length
cites work: On numerical semigroups
cites work: On the Cohen-Macaulay type of s-lines in \(A^{n+1}\)
cites work: Q5602063
cites work: Q4040095
cites work: Der kanonische Modul eines Cohen-Macaulay-Rings. (The canonical moduls of a Cohen-Macaulay-ring)
cites work: Q5613258
cites work: Stable Ideals and Arf Rings
cites work: Q3739243
cites work: One-dimensional local rings with reduced associated graded ring and their Hilbert functions
cites work: Points in Generic Position and Conductors of Curves with Ordinary Singularities
cites work: On the associated graded ring of a local Cohen-Macaulay ring
cites work: Q4170834
cites work: Q3849050
description: scientific article; zbMATH DE number 165841