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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / OpenAlex ID
 
Property / OpenAlex ID: W2071726461 / rank
 
Normal rank

Revision as of 20:46, 19 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
    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