Invariants associated with ideals in one-dimensional local domains (Q2460802)

Let \(R\) be a one-dimensional local noetherian domain with maximal ideal \(\mathfrak m\), quotient field \(K\) and residue field \(\frac{R}{\mathfrak m}=k\). Assume that the integral closure \(\overline{R}\) of \(R\) in its quotient field \(K\) is a DVR and finite \(R\)- module. Suppose also that the field \(k\) is isomorphic to the residue field of \(\overline{R}\). For \(I\) a proper ideal of \(R\), \(I^{*}\) denotes the inverse of \(I\), that is, \(I^{*}=(R:_{K}I)\). Section 2 of this paper provides properties of the canonical ideal and the definition of the type of sequence, it characterize the rings which are almost Gorenstein with respect to the type of sequence. Section 3 investigates two numerical invariants associated to a proper ideal \(I\) of \(R\) that have previously come up in the literature from various points of view. The two invariants are: \(a(I):=l_{R}(I^{*}/R) - l_{R}(R/I)\) the difference between the composition length of \(I^{*}/R\) and \(R/I\), and \(b(I):=rl_{R}(R/I) - l_{R}(I^{*}/R)\) the difference between the product, when the composition length of \(R/I\) is multiplied by the composition length of \(\mathfrak m^{*}/R\), and the length of \(I^{*}/R\). The following result gives an expression of \(a(I)\) and \(b(I)\) in terms of the type sequence of \(R\). Theorem. For every proper ideal \(I\) of \(R\) we have: (1) \(a(I)=\sum_{h\notin V^{I}}(r_{h} - 1) - l_{R}(I^{**}/I) - d(I)\), (2) \(b(I)=\sum_{h\notin V^{I}}(r - r_{h}) + rl_{R}(I^{**}/I) + d(I)\), where \(d(I):= l_{R}((R:\mathcal{C}_{I}/I^{*}))- \sum_{h\in V^{I}\cap[1,n_{I}]}r_{h}\), and \( \mathcal{C}:=(I: \overline{R})\), the largest \(\overline{R}\)- ideal contained in \(I\). Section 3 is concluded by a characterization of the almost Gorenstein property, it shows that \(R\) is almost Goernstein if and only if \(a(I)= (r-1) - l_{R}(I^{**}/I)\) for every non-principal ideal \(I\subseteq R\). The authors conclude this paper by giving an example of application of the preceding results, specializing to the case where \(I= \mathcal{C}\).