Betti numbers of modules of essentially monomial type (Q4955780)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1449901
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Betti numbers of modules of essentially monomial type |
scientific article; zbMATH DE number 1449901 |
Statements
Betti numbers of modules of essentially monomial type (English)
0 references
22 May 2000
0 references
module of essentially monomial type
0 references
syzygy module
0 references
Betti number
0 references
0.8462628722190857
0 references
0.7987664341926575
0 references
0.7907155752182007
0 references
0.7834128737449646
0 references
0.7831444144248962
0 references
Let \({\mathbf u}=u_1, \dots,u_n\) be indeterminates. A finite subset \(T\) of monomials in \({\mathbf u}\) is called an \({\mathbf u}\)-segment if \(f\), \(h\in T\) and \(f|g\), \(g|h\) implies \(g\in T\). Let \({\mathbf x}=x_1, \dots,x_n\) be a regular sequence in a local ring \(R\), \(T\) a \({\mathbf u}\)-segment with \(|T|=l\), and \(F\) a free \(R\)-module of rank \(l\) with basis \(\{w_f;f\in T\}\). A module \(F/N\), where \(N\) is generated by \(\{x_kw_f- w_{u_kf}; f\in T,\;u_kf\in T\}\cup \{x_kw_f; f\in T,\;u_kf\notin T\}\) is called a module of essentially monomial type. Free resolutions for such modules are described, which gives the main results of the paper: If \(M\) is a module of essentially monomial type with respect to an \(R\)-sequence of length \(n\), then \(r_i(M)\geq {n-1 \choose i-1}\) and \(\beta_i(M)\geq {n\choose i}\), where \(r_i(M)\) is the rank of the \(i\)th syzygy module of \(M\) and \(\beta_i(M)\) is the \(i\)th Betti number of \(M\). Examples of modules of essentially monomial type are \(R/I\), where \(\sqrt I=\sqrt{(x_1, \dots,x_n)}\) for some \(R\)-sequence \({\mathbf x}\), in particular if \(I=(x_1,\dots, x_n)^t\).
0 references