On free resolutions of some semigroup rings (Q393523): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Nikolay I. Kryuchkov / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13D02 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16S36 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14M25 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6249394 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Free resolution | |||
Property / zbMATH Keywords: Free resolution / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
numerical semigroup | |||
Property / zbMATH Keywords: numerical semigroup / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
semigroup ring | |||
Property / zbMATH Keywords: semigroup ring / rank | |||
Normal rank |
Revision as of 14:42, 29 June 2023
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