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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
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
    0 references
    0 references
    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

    Identifiers