English
Related papers

Related papers: A counterpart to Nagata idealization

200 papers

Let $(R,\frak m)$ be a commutative noetherian local ring. In this paper, we prove that if $\frak m$ is decomposable, then for any finitely generated $R$-module $M$ of infinite projective dimension $\frak m$ is a direct summand of (a direct…

Commutative Algebra · Mathematics 2020-02-19 Saeed Nasseh , Ryo Takahashi

Let R be a commutative noetherian ring. Lindo and Pande have recently posed the question asking when every ideal of R is isomorphic to some trace ideal of R. This paper studies this question and gives several answers. In particular, a…

Commutative Algebra · Mathematics 2018-07-17 Toshinori Kobayashi , Ryo Takahashi

Let $M$ be a left module over a ring $R$ and $I$ an ideal of $R$. $M$ is called an $I$-supplemented module (finitely $I$-supplemented module) if for every submodule (finitely generated submodule) $X$ of $M$, there is a submodule $Y$ of $M$…

Rings and Algebras · Mathematics 2011-08-18 Yongduo Wang

Let $\mathcal{Z(R)}$ be the set of zero divisor elements of a commutative ring $R$ with identity and $\mathcal{M}$ be the space of minimal prime ideals of $R$ with Zariski topology. An ideal $I$ of $R$ is called strongly dense ideal or…

General Topology · Mathematics 2014-01-31 A. Taherifar

We introduce a new general construction, denoted by $R\JoinE$, called the amalgamated duplication of a ring $R$ along an $R$--module $E$, that we assume to be an ideal in some overring of $R$. (Note that, when $E^2 =0$, $R\JoinE$ coincides…

Commutative Algebra · Mathematics 2007-06-13 Marco D'Anna , Marco Fontana

Given a multiplicative subset $S$ in a commutative ring $R$, we consider $S$-weakly cotorsion and $S$-strongly flat $R$-modules, and show that all $R$-modules have $S$-strongly flat covers if and only if all flat $R$-modules are…

Commutative Algebra · Mathematics 2019-06-11 Silvana Bazzoni , Leonid Positselski

To each finitely presented module $M$ over a commutative ring $R$ one can associate an $R$-ideal $\mathrm{Fitt}_{R}(M)$, which is called the (zeroth) Fitting ideal of $M$ over $R$. This is of interest because it is always contained in the…

Rings and Algebras · Mathematics 2018-09-11 Andreas Nickel

Let $(R, \m)$ be a commutative Noetherian local ring with $\m^3 =(0)$. We give a condition for $R$ to have a non-free module of G-dimension zero. We shall also construct a family of non-isomorphic indecomposable modules of G-dimension zero…

Commutative Algebra · Mathematics 2007-05-23 Yuji Yoshino

Let $R$ be a commutative Noetherian ring and $\mathfrak{a}$ be an ideal of $R$. Suppose $M$ is a finitely generated $R$-module and $N$ is an Artinian $R$-module. We define the concept of filter coregular sequence to determine the infimum of…

Commutative Algebra · Mathematics 2023-06-07 Ali Fathi , Alireza Hajikarimi

Let $E$ be a module of projective dimension one over a Noetherian ring $R$ and consider its Rees algebra $\mathcal{R}(E)$. We study this ring as a quotient of the symmetric algebra $\mathcal{S}(E)$ and consider the ideal $\mathcal{A}$…

Commutative Algebra · Mathematics 2024-06-12 Matthew Weaver

Let $R$ be a commutative Noetherian local ring and let $\fa$ be a proper ideal of $R$. A non-zero finitely generated $R$-module $M$ is called relative Cohen-Macaulay with respect to $\fa$ if there is precisely one non vanishing local…

Commutative Algebra · Mathematics 2014-06-24 Majid Rahro Zargar

For a Noetherian commutative ring $R$, let $H^i_I(R)$ be the $ i$-th local cohomology module of $R$ with respect to $I$. In \cite{Hel-08}, Hellus posed the question of identifying rings $R$ such that $\operatorname{injdim}_R…

Commutative Algebra · Mathematics 2025-11-11 Sayed Sadiqul Islam

Let $R$ be a commutative noetherian ring, and let $C$ be a semidualizing $R$-module. In this paper, we study levels of bounded complexes of finitely generated $R$-modules with respect to the full subcategory $\mathsf{G}_{C}(R)$ consisting…

Commutative Algebra · Mathematics 2026-04-08 Naoya Hiramatsu , Yuki Mifune , Ryo Takahashi

We obtain various characterizations of commutative Noetherian local rings $(R, \fm)$ in terms of homological dimensions of certain finitely generated modules. For example, we establish that $R$ is Gorenstein if the Gorenstein injective…

Commutative Algebra · Mathematics 2019-01-09 Olgur Celikbas , Mohsen Gheibi , Majid Rahro Zargar , Arash Sadeghi

Let $\mathfrak{a}$ be an ideal of a commutative noetherian ring $R$ and $M, N$ two finitely generated $R$-modules. By using a spectral sequence argument, it is shown that if either $\mathrm{dim}_RM\leq2$ and $\mathrm{H}^{i}_\mathfrak{a}(N)$…

Commutative Algebra · Mathematics 2022-08-24 Xiaoyan Yang , Jiaojiao Lu

We study rings with infinitely (only finitely) many maximal subrings. We prove that if $M$ is a maximal left/right ideal of a ring $T$ which is not an ideal of $T$, and $R$ is the idealizer of $M$, then $T$ has at least $|R/M|+1$ maximal…

Rings and Algebras · Mathematics 2026-02-27 Alborz Azarang

In this paper we show that for a given set of pairwise comaximal ideals $\{X_i\}_{i\in I}$ in a ring $R$ with unity and any right $R$-module $M$ with generating set $Y$ and $C(X_i)=\sum\limits_{k\in\mathbb{N}}\underline{\ell}_M(X_i^{k})$,…

Rings and Algebras · Mathematics 2015-08-10 Gary F. Birkenmeier , C. Edward Ryan

Let $\mathcal{P}$ be the class of rings for which every indecomposable right module is pure-projective or pure-injective. When $R$ is a Noetherian local commutative ring of maximal ideal $P$, it is proven that $R\in\mathcal{P}$ if and only…

Rings and Algebras · Mathematics 2025-07-08 François Couchot

Let $R$ be a commutative ring and $I\subset R$ a finitely generated ideal. We discuss two definitions of derived $I$-adically complete (also derived $I$-torsion) complexes of $R$-modules which appear in the literature: the idealistic and…

Commutative Algebra · Mathematics 2023-02-16 Leonid Positselski

Let $(R, \mathfrak m)$ be a commutative noetherian local ring. We investigate under which conditions an $R$-module $M$ is generated by an ideal $I$, i.e. there exists an epimorphism $I^{(\Lambda)} \twoheadrightarrow M$. If $M$ is uniserial,…

Commutative Algebra · Mathematics 2016-04-11 Helmut Zöschinger