On free resolutions of some semigroup rings (Q393523): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 00:09, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On free resolutions of some semigroup rings |
scientific article |
Statements
On free resolutions of some semigroup rings (English)
0 references
23 January 2014
0 references
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.
0 references
Free resolution
0 references
numerical semigroup
0 references
semigroup ring
0 references