English
Related papers

Related papers: Constructing non-proxy small test modules for the …

200 papers

Let R be a commutative Noetherian local ring with residue class field k. In this paper, we mainly investigate direct summands of the syzygy modules of k. We prove that R is regular if and only if some syzygy module of k has a semidualizing…

Commutative Algebra · Mathematics 2007-05-23 Ryo Takahashi

Call a domain $R$ an sQQR-domain if each simple overring of $R$, i.e., each ring of the form $R[u]$ with $u$ in the quotient field of $R$, is an intersection of localizations of $R$. We characterize Pr\"ufer domains as integrally closed…

Commutative Algebra · Mathematics 2007-05-23 Marco Fontana , Evan Houston , Thomas Lucas

Let $R$ be a commutative ring and $M$ be an $R$-module, and let $I(R)^*$ be the set of all non-trivial ideals of $R$. The $M$-intersection graph of ideals of $R$, denoted by $G_M(R)$, is a graph with the vertex set $I(R)^*$, and two…

Commutative Algebra · Mathematics 2017-03-01 F. Heydari

It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective…

Commutative Algebra · Mathematics 2010-05-20 L. L. Avramov , R. -O. Buchweitz , S. B. Iyengar , C. Miller

We prove that a local domain $R$, essentially of finite type over a field, is regular if and only if for every regular alteration $\pi : X \to Spec R$, we have that $R \pi_* \mathcal{O}_X$ has finite (equivalently zero in characteristic…

Commutative Algebra · Mathematics 2019-06-25 Linquan Ma , Karl Schwede

Let $\mathfrak{a}$ be an ideal of a noetherian (not necessarily local) ring $R$ and $M$ an $R$-module with $\mathrm{Supp}_RM\subseteq\mathrm{V}(\mathfrak{a})$. We show that if $\mathrm{dim}_RM\leq2$, then $M$ is $\mathfrak{a}$-cofinite if…

Commutative Algebra · Mathematics 2021-09-13 Xiaoyan Yang , Jingwen Shen

If R is a commutative ring, we prove that every finitely generated module has a pure-composition series with indecomposable factors and any two such series are isomorphic if and only if R is a Bezout ring and a CF-ring.

Rings and Algebras · Mathematics 2007-05-23 Francois Couchot

Let $R$ be a valuation ring and let $Q$ be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if $Q$ is maximal (respectively artinian). It is shown that each…

Rings and Algebras · Mathematics 2007-06-04 Francois Couchot

This paper studies finite projective dimension of finitely generated modules over a Noetherian local ring, by means of spectral sequence methods related to generalized local cohomology. Our main goal is to address a question raised by D.…

Commutative Algebra · Mathematics 2026-04-28 Rafael Holanda , Cleto B. Miranda-Neto

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…

Commutative Algebra · Mathematics 2016-12-14 Olgur Celikbas , Greg Piepmeyer

We prove that if $f:R \rightarrow S$ is a local homomorphism of noetherian local rings of finite flat dimension and $M$ is a non-zero finitely generated $S$-module whose Gorenstein flat dimension over $R$ is bounded by the difference of the…

Commutative Algebra · Mathematics 2024-02-13 Hossein Faridian

We call a right module $M$ (strongly) virtually regular if every (finitely generated) cyclic submodule is isomorphic to a direct summand. $M$ is said to be completely virtually regular if every submodule is virtually regular. In this paper,…

Commutative Algebra · Mathematics 2024-06-18 Engin Büyükaşık , Özlem Irmak Demir

For a commutative Noetherian local ring we define and study the class of modules having reducible complexity, a class containing all modules of finite complete intersection dimension. Various properties of this class of modules are given,…

Commutative Algebra · Mathematics 2007-08-30 Petter Andreas Bergh

Idealization of a module $K$ over a commutative ring $S$ produces a ring having $K$ as an ideal, all of whose elements are nilpotent. We develop a method that under suitable field-theoretic conditions produces from an $S$-module $K$ and…

Commutative Algebra · Mathematics 2012-04-19 Bruce Olberding

A module $M$ is {called} stable if it has no nonzero projective direct summand. For a ring $ R $, we study conditions under which $R$-modules from certain classes decompose as a direct sum of a projective submodule and a stable submodule.…

Commutative Algebra · Mathematics 2026-04-03 Gulizar Gunay , Engin Mermut

Let $R$ be a commutative ring with identity. The small finitistic dimension $\fPD(R)$ of $R$ is defined to be the supremum of projective dimensions of $R$-modules with finite projective resolutions. In this paper, we characterize a ring $R$…

Commutative Algebra · Mathematics 2023-03-30 Xiaolei Zhang , Fanggui Wang

Let R be a commutative noetherian local ring that is not Gorenstein. It is known that the category of totally reflexive modules over R is representation infinite, provided that it contains a non-free module. The main goal of this paper is…

Commutative Algebra · Mathematics 2011-10-28 Lars Winther Christensen , David A. Jorgensen , Hamidreza Rahmati , Janet Striuli , Roger Wiegand

Let $(R,\fm)$ be commutative Noetherian local ring. It is shown that $R$ is Cohen--Macaulay ring if there exists a Cohen--Macaulay finite (i.e. finitely generated) $R$--module with finite upper Gorenstein dimension. In addition, we show…

Commutative Algebra · Mathematics 2007-05-23 Tirdad Sharif , Siamak Yassemi

For four wide classes of topological rings $\mathfrak R$, we show that all flat left $\mathfrak R$-contramodules have projective covers if and only if all flat left $\mathfrak R$-contramodules are projective if and only if all left…

Category Theory · Mathematics 2022-01-12 Leonid Positselski

Let $R$ be a commutative noetherian ring. Denote by $\operatorname{mod}R$ the category of finitely generated $R$-modules, by $\operatorname{D^b}(R)$ the bounded derived category of $\operatorname{mod}R$, and by $\operatorname{D_{sg}}(R)$…

Commutative Algebra · Mathematics 2023-09-13 Ryo Takahashi