The canonical module of a one-dimensional reduced local ring (Q4351708)

Let \((R, {\mathfrak m})\) be a local, one-dimensional, reduced, analytically unramified, residually rational, Noetherian ring with minimal primes \({\mathfrak p}_1, \dots, {\mathfrak p}_n\). By forming the vectors of values of elements of \(Q(R)\) at the discrete valuation rings of \(Q(R/{\mathfrak p}_i)\) containing \(\overline {R/{\mathfrak p}_i}\), one can associate to \(R\) a value semigroup \(v(R) \subseteq \mathbb{N}^d\) [cf. \textit{A. Campillo}, \textit{F. Delgado} and \textit{K. Kiyek}, Manuscr. Math. 83, No. 3-4, 405-423 (1994; Zbl 0822.13011)]. In the paper under review, the author studies this semigroup. For instance, he shows that the valuation groups of \(R\) and its \({\mathfrak m}\)-adic completion \(\widehat R\) agree (so that one may assume that \(R/{\mathfrak p}_i\) is analytically irreducible), that \(v(R)\) has a ``conductor'', and that for fractional ideals \(I \subseteq J\) of \(R\) one has \(\lambda_R(J/I) =|v(J) \setminus v(I) |\). Then he generalizes the concept of canonical ideals to numerical semigroups and examines the properties of the canonical ideal \(K\) of \(v(R)\). Finally, his main theorem characterizes canonical fractional ideals \(I\subseteq \overline R\) of \(R\) by the property \(v(I) =K\). As a consequence, he obtains a slight generalization of the characterization of the Gorenstein property of \(R\) by the symmetry of \(v(R)\) first shown in the paper cited above.