Related papers: Syzygy modules with semidualizing or G-projective …

We identify all semidualizing modules over certain classes of ladder determinantal rings over a field ${\mathsf k}$. Specifically, given a ladder of variables $Y$, we show that the ring ${\mathsf k}[Y]/I_t(Y)$ has only trivial semidualizing…

Gorenstein homological dimensions are refinements of the classical homological dimensions, and finiteness singles out modules with amenable properties reflecting those of modules over Gorenstein rings. As opposed to their classical…

Let $R$ be a commutative ring. A quasi-Gorenstein $R$-module is an $R$-module such that the grade of the module and the projective dimension of the module are equal and the canonical module of the module is isomorphic to the module itself.…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $\mathcal{D}(R)$ denote the derived category of $R$-modules. We investigate the theory of local homology in conjunction with Gorenstein flat modules. Let $X$ be a…

We prove that the class of Gorenstein injective modules is both enveloping and covering over a two sided noetherian ring such that the character modules of Gorenstein injective modules are Gorenstein flat. In the second part of the paper we…

We say that a local ring $R$ is good, in the sense of Roos, if all finitely generated $R$-modules have rational Poincar\'e series that share a common denominator; otherwise, $R$ is said to be bad. An important class of good rings is the…

If $M$ is a nonzero finitely generated module over a commutative Noetherian local ring $R$ such that $M$ has finite injective dimension and finite Gorenstein dimension, then it follows from a result of Holm that $M$ has finite projective…

A proof of Grothendieck--Serre conjecture on principal bundles over a semi-local regular ring containing an infinite field is given in [FP] recently. That proof is based significantly on Theorem 1.0.1 stated below in the Introduction and…

Let $R$ be a ring and let $\mathcal C$ be a small class of right $R$-modules which is closed under finite direct sums, direct summands, and isomorphisms. Let $\mathcal V (\mathcal C)$ denote a set of representatives of isomorphism classes…

Let $(R,m,k)$ be a Golod ring. We show a recurrent formula for high syzygies of $k$ interms of previous ones. In the case of embedding dimension at most $2$, we provided complete descriptions of all indecomposable summands of all syzygies…

Motivated by a recent result of Yoshino, and the work of Bergh on reducible complexity, we introduce reducing versions of invariants of finitely generated modules over commutative Noetherian local rings. Our main result considers modules…

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…

We study canonical models of $\left(\mathbb{Z}/k\mathbb{Z}\right)^n$- covers of the projective line, tamely ramified at exactly $n+1$ points each of index $k$, when $k,n\geq 2$ and the characteristic of the ground field $K$ is either zero…

In recent work, Dao and Eisenbud define the notion of a Burch index, expanding the notion of Burch rings of Dao, Kobayashi, and Takahashi, and show that for any module over a ring of Burch index at least 2, its $n$th syzygy contains direct…

In this paper several characterizations of semi-compact modules are given. Among other results, we study rings whose semi-compact modules are injective. We introduce the property $\Sigma$-semi-compact for modules and we characterize the…

In this paper, the notion of strongly G_C-projective and injective modules is introduced, where C is a semidualizing module. Using these modules we can obtain a new characterization of G_C-projective and injective modules, similar to the…

We prove that a Noetherian ring $R$ is a splinter if and only if for every equidimensional surjective morphism $\operatorname{Spec}(S) \to \operatorname{Spec}(R)$, the map $R \to S$ is pure. This yields a large, nontrivial class of ring…

A result of Foxby states that if there exists a complex with finite depth, finite flat dimension, and finite injective dimension over a local ring $R$, then $R$ is Gorenstein. In this paper we investigate some homological dimensions…

Let $R$ be a commutative noetherian ring admitting a dualizing complex and let $\mathfrak p$ be a prime ideal of $R$. In this paper we investigate when $G(R/\frak p)$ is an $R_{\frak p}$-module. We give some necessary and sufficient…

For any commutative ring $A$ we introduce a generalization of $S$-noetherian rings using a hereditary torsion theory $\sigma$ instead of a multiplicatively closed subset $S\subseteq{A}$. It is proved that if $A$ is a totally…