On free resolutions of some semigroup rings (Q393523): Difference between revisions

Let \(S=\langle n_1,\ldots,n_k\rangle\) be a numerical semigroup, i.e., \(n_i\) are positive integers with greatest common divisor \(1\), and \(S=\{\sum_{i=1}^ku_in_i: u_i \text{ are nonnegative integers}\}\). Let \(PF(S)=\{n\in Z\setminus S:n+s\in S\text{ for all }s\in S\setminus\{0\}\}\). The largest integer \(g(S)\notin S\) belongs to \(PF(S)\) and is called the Frobenius number of \(S\). If \(PF(S)=\{g(S)\}\), \(S\) is called symmetric. If \(PF(S)=\{g(S)/2,g(S)\}\), \(S\) is called pseudosymmetric. Let \(K\) be a field and \(K[S]=K[t^{n_1},\ldots,t^{n_k}]\) be the semigroup ring of \(S\), then \(K[S]\simeq A/I_S\) where, \(A=K[x_1,\ldots,x_k]\) and \(I_S\) is the kernel of the surjection \(\phi_0: A\rightarrow K[S]\), where \(x_i\rightarrow t^{n_i}\). \(I_S\) has been determined in some cases, e.g. if \(k=3\) by \textit{J. Herzog} [Manuscr. Math. 3, No. 2, 175--193 (1970; Zbl 0211.33801)], if \(k=4\) and \(S\) symmetric by \textit{H. Bresinsky} [Manuscr. Math. 17, No. 3, 205--219 (1975; Zbl 0317.10061)] and if \(k=4\) and \(S\) pseudosymmetric by \textit{J. Komeda} [Tsukuba J. Math. Math. 6, 237--279 (1982; Zbl 0546.14011)]. The authors determine a minimal graded \(A\)-resolution of \(K[S]\) in this cases (Theorem 4 and Theorem 6). Then the authors use these resolutions to determine some invariants of the semigroups and certain interesting relations among them. In the last section the authors classify semigroup rings \(K[S]\) where \(S\) be a \(4\)-generated complete intersection semigroup which have strongly indispensable resolution.