Ulrich ideals in numerical semigroup rings of small multiplicity (Q2079242)

Let \(\mathbb{N}\) denote the set of nonnegative integers. Let \(H\) be a numerical semigroup (a submonoid of \((\mathbb{N},+)\) with finite complement in \(\mathbb{N}\)). As the complement of \(H\) in \(\mathbb{N}\) is finite, there exists a minimum integer \(c\) such that \(c+\mathbb{N}\subseteq H\), which is called the conductor of \(H\). The semigroup ring \(k[\![H]\!]\) is the subring of \(V=k[\![t]\!]\) (with \(t\) and unknown) containing all formal series whose monomials have exponents in \(H\). In the paper under review, two-generated Ulrich ideals of \(A=k[\negthinspace[H]\negthinspace]\), for \(H\) a numerical semigroup with multiplicity at most three, are studied (the multiplicity of \(H\) is the least positive integer in \(H\)). A \(k\)-subalgebra \(A\) of \(V\) is a core of \(V\) if \(t^cV\subseteq A\) for some nonnegative integer \(c\). Clearly, \(A=k[\negthinspace[H]\negthinspace]\), with \(H\) a numerical semigroup, is a core of \(V\) (in this case the conductor of \(H\) can be used as \(c\)). Let \(A\) be a core of \(V\) and let \(I=(f,g)\) be a two-generated ideal of \(A\). Let \(a\) and \(b\) be the orders of \(f\) and \(g\), respectively. The authors give a series of restrictions on \(a\) and \(b\) for \(I\) to be an Ulrich ideal of \(A\). This is then used to determine Ulrich ideals of \(k[\negthinspace[H]\negthinspace]\) for the case \(H\) has multiplicity two (and thus it is generated by two elements). Next, the authors describe two generated Ulrich ideals of \(A\) for the case \(H\) has multiplicity three. The two-generated condition on the ideals forces \(H\) to be generated by two elements. In the last section, the authors study the case \(H=\langle 4,13\rangle\) to show how wild the computations become for multiplicity four.