Related papers: The syzygy theorem for B\'ezout rings
In this paper we give versions of Hilbert's syzygy theorem for finitely generated modules over polynomial rings over direct product of principal ideal rings.
Let M be a finitely generated submodule of a free module over a multivariate polynomial ring with coefficients in a discrete coherent ring. We prove that its module MLT(M ) of leading terms is countably generated and provide an algorithm…
We give an application of the New Intersection Theorem and prove the following: let $R$ be a local complete intersection ring of codimension $c$ and let $M$ and $N$ be nonzero finitely generated $R$-modules. Assume $n$ is a nonnegative…
We establish a bijection between torsion pairs in the category of finite-dimensional modules over a finite-dimensional algebra A and pairs (Z, I) formed by a closed rigid set Z in the Ziegler spectrum of A and a set I of indecomposable…
Given a noether algebra with a noncommutative resolution, a general construction of new noncommutative resolutions is given. As an application, it is proved that any finite length module over a regular local or polynomial ring gives rise,…
In this paper, we extend the well-known Hilbert's syzygy theorem to the Gorenstein homological dimensions of rings. Also, we study the Gorenstein homological dimensions of direct product of rings, which gives examples of non-Noetherian…
In this paper, we extend the well-known Hilbert's syzygy theorem to the Gorenstein homological dimensions of rings. Also, we study the Gorenstein homological dimensions of direct products of rings. Our results generate examples of…
We present discrete models of special biserial (SB) algebras and their string modules, drawing inspiration from cellular automata, and cast new light on patterns among syzygies. We explore applications of our models to open questions in…
We give a new proof of Hilbert's Syzygy Theorem for monomial ideals. In addition, we prove the following. If S=k[x_1,...,x_n] is a polynomial ring over a field, M is a squarefree monomial ideal in S, and each minimal generator of M has…
In this note we compute length, support and dimension of syzygy modules of certain modules. This partially answers questions asked by Huneke et al.
It is well known that results on zero-sum sequences over a finitely generated abelian group can be translated to statements on generators of rings of invariants of the dual group. Here the direction of the transfer of information between…
Given a standard graded polynomial ring $R=k[x_1,...,x_n]$ over a field $k$ of characteristic zero and a graded $k$-subalgebra $A=k[f_1,...,f_m]\subset R$, one relates the module $\Omega_{A/k}$ of K\"ahler $k$-differentials of $A$ to the…
We describe a method for solving linear systems over the localization of a commutative ring $R$ at a multiplicatively closed subset $S$ that works under the following hypotheses: the ring $R$ is coherent, i.e., we can compute finite…
We introduce the new concept of silting modules. These modules generalise tilting modules over an arbitrary ring, as well as support $\tau$-tilting modules over a finite dimensional algebra recently introduced by Adachi, Iyama and Reiten.…
Let $R$ be a commutative noetherian local ring. In this paper, we study the self-duality and eventual periodicity of minimal free resolutions of finitely generated $R$-modules in terms of their syzygy modules and Ext modules. As an…
For any ring $R$ and any positive integer $n$, we prove that a left $R$-module is a Gorenstein $n$-syzygy if and only if it is an $n$-syzygy. Over a left and right Noetherian ring, we introduce the notion of the Gorenstein transpose of…
We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Pr\"ufer (in particular B\'ezout) domains with infinite residue fields in terms of a suitable generalization of the prime radical…
In this paper, we say a ring $R$ is Nil$_{\ast}$-Noetherian provided that any nil ideal is finitely generated. First, we show that the Hilbert basis theorem holds for Nil$_{\ast}$-Noetherian rings, that is, $R$ is Nil$_{\ast}$-Noetherian if…
We use the homological perturbation lemma to give an explicit proof of the cyclic Eilenberg-Zilber theorem for cylindrical modules.
We use Borcherds products and their restrictions to Hirzebruch-Zagier curves to determine generators and relations for the graded rings of Hilbert modular forms for the fields $\mathbb{Q}(\sqrt{29})$ and $\mathbb{Q}(\sqrt{37})$. These seem…