Quasi-socle ideals in Gorenstein numerical semigroup rings (Q947525)

The authors aim to study the Polini-Ulrich conjecture [\textit{C. Polini, B. Ulrich}, Math. Ann. 310, 631--651 (1998; Zbl 0919.13013)] in the one-dimensional case. The main result and its proof of this paper are given in Section 2. This result gives a generalization of the paper [\textit{S.Goto, N. Matsuoka, R. Takahashi}, J. Pure Appl. Algebra 212, 969--980 (2008; Zbl 1137.13014)] in the case where the base rings are numerical semigroups rings. As an application of the main result, the authors explore in Section 3 numerical semigroups rings \(A=k[t^a, t^{a+1}] (a>1)\) over fields \(k\), where \(t\) is an indeterminate. They give a criterion for the ideal \(I=(t^s)\) : \(m^q\) to be integral over the parameter ideal \((t^s)\) in \(A\). The problem of when the ring \(G(I)\) is Cohen-Macaulay is answered in certain special cases. In Section 4, they give two examples to confirm their result.