Showing 1–19 of 19 results for author: Sazeedeh, R

Spectrum of an abelian category via premonoform objects

Authors: Reza Sazeedeh

Abstract: Let $\cA$ be an abelian category. In this paper, we study ${\rm (n)PSpec}\cA$, a topological space formed by equivalence classes derived from an equivalence relation on (noetherian) premonoform objects. We classify torsion classes of $\cA$ via closed subclasses of $\nPSpec\cA$. We introduce a new topology on $\PSpec\cA$ and we classify Serre subcategories of $\noeth A$ and localizing subcategories… ▽ More Let $\cA$ be an abelian category. In this paper, we study ${\rm (n)PSpec}\cA$, a topological space formed by equivalence classes derived from an equivalence relation on (noetherian) premonoform objects. We classify torsion classes of $\cA$ via closed subclasses of $\nPSpec\cA$. We introduce a new topology on $\PSpec\cA$ and we classify Serre subcategories of $\noeth A$ and localizing subcategories of $\cA$ using this topology. If $A$ is a commutative noetherian ring, we show that $\nPSpec A$ is homeomorphic to $\Spec A$. Moreover, there is a one-to-one correspondence between the closed subsets of $\nPSpec A$ and the open subsets of $\ASpec A$, the atom spectrum of $A$. Finally, we explore the relationships between the new subctegories of $\Mod A$ and subsets of $\nPSpec A$ introduced in this paper, and the known subcategories of $\Mod A$ and subsets of other spectra of $A$. △ Less

Submitted 14 February, 2025; v1 submitted 5 January, 2025; originally announced January 2025.

MSC Class: 18E10; 13C60; 16D20

Bass numbers and endomorphism rings of Gorenstein injective modules

Authors: Reza Sazeedeh

Abstract: 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 conditions under which $G(R/\frak p)$ is an $R_{\frak p}$-module. We also study the Bass numbers of $G(R/\frak p)$ and we show that if ${\rm Gid}_RR/\frak p$ is finite… ▽ More 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 conditions under which $G(R/\frak p)$ is an $R_{\frak p}$-module. We also study the Bass numbers of $G(R/\frak p)$ and we show that if ${\rm Gid}_RR/\frak p$ is finite, then $μ^i(\frak q,G(R/\frak p))$ is finite for all $i\geq 0$ and all $\frak q\in{\rm Spec} R$. If ${\rm Gpd}_RR/\frak p$ is finite, then $μ^i(\frak p,G(R/\frak p))$ is finite for all $i\geq 0$. We define a subring $S(\frak p)_{\frak p}$ of ${\rm End}_{R_{\frak p}}(G(R_{\frak p}/\frak pR_{\frak p}))$ and we show that it is noetherian and contains a subring which is a quotient of $\widehat{R_{\frak p}}$. △ Less

Submitted 8 March, 2024; originally announced March 2024.

MSC Class: 13D02; 13D45; 18G25

Gorenstein injective filtrations over rings with dualizing complexes

Authors: Reza Sazeedeh

Abstract: Let $R$ be a commutative noetherian ring. Enochs and Huang [EH] proved that over a Gorenstein ring of Krull dimension $d$, every Gorenstein injective module admits a finite filtration of Gorenstein injective submodules. In this paper, we extend this result to rings admitting a dualizing complex and we provide such filtrations using Auslander categories and section functors. Let $R$ be a commutative noetherian ring. Enochs and Huang [EH] proved that over a Gorenstein ring of Krull dimension $d$, every Gorenstein injective module admits a finite filtration of Gorenstein injective submodules. In this paper, we extend this result to rings admitting a dualizing complex and we provide such filtrations using Auslander categories and section functors. △ Less

Submitted 24 March, 2025; v1 submitted 15 January, 2024; originally announced January 2024.

MSC Class: 13D02; 13D09; 13D45

Cofiniteness of modules and local cohomology

Authors: Hajar Sabzeh, Reza Sazeedeh

Abstract: Let $A$ be a commutative noetherian ring, let $\mathfrak a$ be an ideal of $A$ and let $n$ be a non-negative integer. In this paper, we study $\mathcal{S}_{n}(\mathfrak{a})$, a certain class of $A$-modules and we find some sufficient conditions so that a module belongs to $\mathcal{S}_{n}(\mathfrak{a})$. Moreover, we study the cofiniteness of local cohomology modules when $\dim A/\frak a\geq 3$. Let $A$ be a commutative noetherian ring, let $\mathfrak a$ be an ideal of $A$ and let $n$ be a non-negative integer. In this paper, we study $\mathcal{S}_{n}(\mathfrak{a})$, a certain class of $A$-modules and we find some sufficient conditions so that a module belongs to $\mathcal{S}_{n}(\mathfrak{a})$. Moreover, we study the cofiniteness of local cohomology modules when $\dim A/\frak a\geq 3$. △ Less

Submitted 8 February, 2023; originally announced February 2023.

MSC Class: 13D02; 13D45; 13E05

On the category of cofinite complexes and modules

Authors: Reza Sazeedeh

Abstract: Let $A$ be a commutative noetherian ring, let $\mathfrak a$ be an ideal of $A$. In this paper, we extend Hartshorne's characterization of cofinite complexes to more general classes of rings. We also determine conditions under which Hartshorne's fourth question [H1] admits an affirmative answer. Finally, we investigate the cofiniteness of complexes of $\frak a$-cofinite modules for rings of lower d… ▽ More Let $A$ be a commutative noetherian ring, let $\mathfrak a$ be an ideal of $A$. In this paper, we extend Hartshorne's characterization of cofinite complexes to more general classes of rings. We also determine conditions under which Hartshorne's fourth question [H1] admits an affirmative answer. Finally, we investigate the cofiniteness of complexes of $\frak a$-cofinite modules for rings of lower dimensions. △ Less

Submitted 11 April, 2025; v1 submitted 13 January, 2023; originally announced January 2023.

MSC Class: 13D02; 13D45; 18G10

Cofiniteness with respect to extension of Serre subcategories at small dimensions

Authors: Reza Sazeedeh

Abstract: Let $R$ be a commutative noetherian ring, $\frak a$ be an ideal of $R$, $\cS$ be an arbitrary Serre subcategory of $R$-modules and let $\cN$ be the subcategory of finitely generated $R$-modules. In this paper, we study $\cN\cS$-$\frak a$-cofinite modules with respect to the extension subcategory $\cN\cS$ when $\dim R/\frak a\leq 2$. We also study $\frak a$-cofiniteness with respect to a new dimens… ▽ More Let $R$ be a commutative noetherian ring, $\frak a$ be an ideal of $R$, $\cS$ be an arbitrary Serre subcategory of $R$-modules and let $\cN$ be the subcategory of finitely generated $R$-modules. In this paper, we study $\cN\cS$-$\frak a$-cofinite modules with respect to the extension subcategory $\cN\cS$ when $\dim R/\frak a\leq 2$. We also study $\frak a$-cofiniteness with respect to a new dimension. △ Less

Submitted 28 May, 2022; originally announced May 2022.

MSC Class: 13D45

Cofiniteness with respect to extension of Serre subcategories

Authors: Negar Alipour, Reza Sazeedeh

Abstract: Let $R$ be a commutative noetherian ring, $\frak a$ be an ideal of $R$, $\mathcal{S}$ be an arbitrary Serre subcategory of $R$-modules satisfying the condition $C_{\frak a}$ and let $\mathcal{N}$ be the subcategory of finitely generated $R$-modules. In this paper, we define and study $\mathcal{NS}$-$\frak a$-cofinite modules with respect to the extension subcategory $\mathcal{NS}$ as an generaliza… ▽ More Let $R$ be a commutative noetherian ring, $\frak a$ be an ideal of $R$, $\mathcal{S}$ be an arbitrary Serre subcategory of $R$-modules satisfying the condition $C_{\frak a}$ and let $\mathcal{N}$ be the subcategory of finitely generated $R$-modules. In this paper, we define and study $\mathcal{NS}$-$\frak a$-cofinite modules with respect to the extension subcategory $\mathcal{NS}$ as an generalization of the classical notion, namely $\frak a$-cofinite modules. For the lower dimensions, we show that the classical results of $\frak a$-cofiniteness hold for the new notion. △ Less

Submitted 28 May, 2022; originally announced May 2022.

MSC Class: 13D45

A criterion for cofiniteness of modules

Authors: Mohammad Khazaei, Reza Sazeedeh

Abstract: Let $A$ be a commutative noetherian ring, $\frak a$ be an ideal of $A$, $m,n$ be non-negative integers and let $M$ be an $A$-module such that $\Ext^i_A(A/\frak a,M)$ is finitely generated for all $i\leq m+n$. We define a class $\cS_n(\frak a)$ of modules and we assume that $H_{\frak a}^s(M)\in\cS_{n}(\frak a)$ for all $s\leq m$. We show that $H_{\frak a}^s(M)$ is $\frak a$-cofinite for all… ▽ More Let $A$ be a commutative noetherian ring, $\frak a$ be an ideal of $A$, $m,n$ be non-negative integers and let $M$ be an $A$-module such that $\Ext^i_A(A/\frak a,M)$ is finitely generated for all $i\leq m+n$. We define a class $\cS_n(\frak a)$ of modules and we assume that $H_{\frak a}^s(M)\in\cS_{n}(\frak a)$ for all $s\leq m$. We show that $H_{\frak a}^s(M)$ is $\frak a$-cofinite for all $s\leq m$ if either $n=1$ or $n\geq 2$ and $\Ext_A^{i}(A/\frak a,H_{\frak a}^{t+s-i}(M))$ is finitely generated for all $1\leq t\leq n-1$, $i\leq t-1$ and $s\leq m$. If $A$ is a ring of dimension $d$ and $M\in\cS_n(\frak a)$ for any ideal $\frak a$ of dimension $\leq d-1$, then we prove that $M\in\cS_n(\frak a)$ for any ideal $\frak a$ of $A$. △ Less

Submitted 11 January, 2022; originally announced January 2022.

MSC Class: 13D45

Melkersson condition for extension of Serre subcategories

Authors: Ismael Akray, Runak H. Mustafa, Reza Sazeedeh

Abstract: Let $R$ be a commutative noetherian ring and let $\frak a$ be an ideal of $R$. In this paper, we study a certain condition, namely $C_{\frak a}$, introduced by Aghapournahr and Melkersson, on the extension of two subcategories of $R$-modules. We extend and generalize some of the main results of Yoshizawa [Y1,Y2]. As an example of extension of subcategories, we study the weakly Laskerian modules an… ▽ More Let $R$ be a commutative noetherian ring and let $\frak a$ be an ideal of $R$. In this paper, we study a certain condition, namely $C_{\frak a}$, introduced by Aghapournahr and Melkersson, on the extension of two subcategories of $R$-modules. We extend and generalize some of the main results of Yoshizawa [Y1,Y2]. As an example of extension of subcategories, we study the weakly Laskerian modules and we find some conditions under which the local cohomology modules of a weakly Laskerian module lie in an arbitrary Serre subcategory. Eventually, we investigate the cofiniteness of the local cohomology modules of weakly Laskerian modules. △ Less

Submitted 11 January, 2022; originally announced January 2022.

MSC Class: 13D45

Torsion theory of coherent functors

Authors: Mohammad Khazaei, Reza Sazeedeh

Abstract: Let $C$ be an additive category with cokernels and let Mod($C$) be the category of additive functors from $C^{op}$ to the category Ab of abelian groups. Let mod($C$) be the full subcategory of Mod($C$) consisting of coherent functors. In this paper, we first study some basic properties of pseudo-kernel of morphisms in $C$. When $C$ has pseudo-kernels, mod($C$) is abelian and then, in this case, we… ▽ More Let $C$ be an additive category with cokernels and let Mod($C$) be the category of additive functors from $C^{op}$ to the category Ab of abelian groups. Let mod($C$) be the full subcategory of Mod($C$) consisting of coherent functors. In this paper, we first study some basic properties of pseudo-kernel of morphisms in $C$. When $C$ has pseudo-kernels, mod($C$) is abelian and then, in this case, we study radical functors, half exact functors, left exact functors and injective objects in mod($C$). At last, we extend the results for Mod($C$). △ Less

Submitted 13 December, 2020; originally announced December 2020.

MSC Class: 18E15

Gabriel-Krull dimension and minimal atoms in Grothendieck categories

Authors: Negar Alipour, Reza Sazeedeh

Abstract: Let $\mathcal{A}$ be a Grothendieck category. In this paper, we classify localizing subcategories of a semi-noetherian category $\mathcal{A}$ through open subsets of $\mathcal{A}\mathrm{Spec}\,\mathcal{A}$. For a semi-noetherian locally coherent category $\mathcal{A}$, we introduce a new topology on $\mathcal{A}\mathrm{Spec}\,\mathcal{A}$ and we show that it is homeomorphic to the Ziegler spectrum… ▽ More Let $\mathcal{A}$ be a Grothendieck category. In this paper, we classify localizing subcategories of a semi-noetherian category $\mathcal{A}$ through open subsets of $\mathcal{A}\mathrm{Spec}\,\mathcal{A}$. For a semi-noetherian locally coherent category $\mathcal{A}$, we introduce a new topology on $\mathcal{A}\mathrm{Spec}\,\mathcal{A}$ and we show that it is homeomorphic to the Ziegler spectrum $\mathrm{Z_g}\mathcal{A}$. Moreover, for a locally coherent category $\mathcal{A}$, we provide a new characterization of localizing subcategories of finite type of $\mathcal{A}$. We define a dimension for objects using the preorder $\leq$ on $\mathcal{A}\mathrm{Spec}\,\mathcal{A}$, which serves as a lower bound of the Gabriel-Krull dimension. Finally, we investigate the minimal atoms of a noetherian object $M$ in $\mathcal{A}$ and establish sufficient conditions for the finiteness of the number of minimal atoms of $M$. △ Less

Submitted 18 January, 2025; v1 submitted 7 March, 2020; originally announced March 2020.

MSC Class: 18E10; 18E35

Local cohomology in Grothendieck categories

Authors: Fatemeh Savoji, Reza Sazeedeh

Abstract: Let $\mathcal{A}$ be a locally noetherian Grothendieck category. In this paper we define and study the section functor on $\mathcal{A}$ with respect to an open subset of ASpec$\mathcal{A}$. Next we define and study local cohomology theory in $\mathcal{A}$ in terms of the section functors. Finally we study abstract local cohomology functor on the derived category $\mathcal{D}^+(\mathcal{A})$. Let $\mathcal{A}$ be a locally noetherian Grothendieck category. In this paper we define and study the section functor on $\mathcal{A}$ with respect to an open subset of ASpec$\mathcal{A}$. Next we define and study local cohomology theory in $\mathcal{A}$ in terms of the section functors. Finally we study abstract local cohomology functor on the derived category $\mathcal{D}^+(\mathcal{A})$. △ Less

Submitted 6 March, 2019; originally announced March 2019.

Comments: 19 pages

MSC Class: 18E15; 18E30; 18E40

Some conditions under which certain types of modules possess localization property

Authors: Ismael Akray, Adil Kadir Jabbar, Reza Sazeedeh

Abstract: By a localization property we mean a property that preserved under localizing modules at multiplicative closed sets. The aim of this paper is to find conditions under which we can transfere a certain property of a given module to its localization at multiplicative closed sets and conversely, that means we determine those conditions which make a given property of a module as a localization property… ▽ More By a localization property we mean a property that preserved under localizing modules at multiplicative closed sets. The aim of this paper is to find conditions under which we can transfere a certain property of a given module to its localization at multiplicative closed sets and conversely, that means we determine those conditions which make a given property of a module as a localization property, so we give several conditions under which certain types of modules posses localization property. △ Less

Submitted 21 January, 2017; originally announced January 2017.

Comments: 10 pages

MSC Class: 13B30

Journal ref: Journal of Duhok University, 15 (1), 2012

Some finiteness properties of generalized graded local cohomology modules

Authors: Ismael Akray, Adil Kadir Jabbar, Reza Sazeedeh

Abstract: Let $R = \bigoplus_{n \in \mathbb{N}_0} R_n$ be a Noetherian homogeneous ring with local base ring $(R_0, \mathfrak{m}_0)$ and let $M$ and $N$ be finitely generated graded $R$-modules. Let $i,j\in\mathbb{N}_0$. In this paper we will study Artinianess of… ▽ More Let $R = \bigoplus_{n \in \mathbb{N}_0} R_n$ be a Noetherian homogeneous ring with local base ring $(R_0, \mathfrak{m}_0)$ and let $M$ and $N$ be finitely generated graded $R$-modules. Let $i,j\in\mathbb{N}_0$. In this paper we will study Artinianess of $Γ_{\mathfrak m_0R}(H_{R_+}^i(M,N)), H_{\mathfrak m_0R}^1(H_{R_+}^i(M,N)), H_{R_+}^i(M,N)/{\mathfrak m_0}H_{R_+}^i(M,N), H_{R_+}^j(M,H_{\mathfrak m_0R}^i(N)), H_{\mathfrak m_0R}^j(M,H_{R_+}^i(N))$, where $R_+$ denotes the irrelevant ideal of $R$. △ Less

Submitted 21 January, 2017; originally announced January 2017.

Comments: 8 pages

MSC Class: 13D45; 13E10

Journal ref: International Journal of Algebra, Vol. 6, 2012, no. 11, 539 - 547

Melkersson condition on Serre subcategories

Authors: Reza Sazeedeh, Rasul Rasuli

Abstract: Let $R$ be a commutative noetherian ring, let $\frak a$ and $\frak b$ be two ideals of $R$; and let $\Ss$ be a Serre subcategory of $R$-modules. We give a necessary and sufficient condition by which $\Ss$ satisfies $C_{\frak a}$ and $C_{\frak b}$ conditions. As an conclusion we show that over a artinian local ring, every Serre subcategory satisfies $C_{\frak a}$ condition. We also show that… ▽ More Let $R$ be a commutative noetherian ring, let $\frak a$ and $\frak b$ be two ideals of $R$; and let $\Ss$ be a Serre subcategory of $R$-modules. We give a necessary and sufficient condition by which $\Ss$ satisfies $C_{\frak a}$ and $C_{\frak b}$ conditions. As an conclusion we show that over a artinian local ring, every Serre subcategory satisfies $C_{\frak a}$ condition. We also show that $\Ss_{\frak a}$ is closed under extension of modules. If $\Ss$ is a torsion subcategory, we prove that $S$ satisfies $C_{\frak a}$ condition. We prove that $C_{\frak a}$ condition can be transferred via rings homomorphism. As some applications, we give several results concerning with Serre subcategories in local cohomology theory. △ Less

Submitted 27 April, 2014; originally announced April 2014.

MSC Class: 13C60; 13D45

Gorenstein injective dimension and a generalization of Ischebeck Formula

Authors: Reza Sazeedeh

Abstract: Let $(R,\frak m)$ be a commutative Noetherian local ring and let $M$ and $N$ be finitely generated $R$-modules of finite injective dimension and finite Gorenstein injective dimension, respectively. In this paper we prove a generalization of Ischebeck Formula, that is $\depth_RM+\sup\{i| {0.1cm}\Ext_R^i(M,N)\neq 0\}=\depth R.$ Let $(R,\frak m)$ be a commutative Noetherian local ring and let $M$ and $N$ be finitely generated $R$-modules of finite injective dimension and finite Gorenstein injective dimension, respectively. In this paper we prove a generalization of Ischebeck Formula, that is $\depth_RM+\sup\{i| {0.1cm}\Ext_R^i(M,N)\neq 0\}=\depth R.$ △ Less

Submitted 12 May, 2011; originally announced May 2011.

Comments: 5 pages

MSC Class: 13D05; 13D07; 13H10

Gorenstein injectivity of the section functor

Authors: Reza Sazeedeh

Abstract: Let $R$ be a commutative Noetherian ring of Krull dimension $d$ admitting a dualizing complex $D$ and let $\frak a$ be any ideal of $R$, we prove that $Γ_{\frak a}(G)$ is Gorenstein injective for any Gorenstein injective $R$-module $G$. Let $(R,\frak m)$ be a local ring and $M$ be a finitely generated $R$-module. We show that ${\rm Gid}{\bf R}Γ_{\frak m}(M)<\infty$ if and only if… ▽ More Let $R$ be a commutative Noetherian ring of Krull dimension $d$ admitting a dualizing complex $D$ and let $\frak a$ be any ideal of $R$, we prove that $Γ_{\frak a}(G)$ is Gorenstein injective for any Gorenstein injective $R$-module $G$. Let $(R,\frak m)$ be a local ring and $M$ be a finitely generated $R$-module. We show that ${\rm Gid}{\bf R}Γ_{\frak m}(M)<\infty$ if and only if ${\rm Gid}_{\hat{R}}(M\otimes_R\hat{R})<\infty$. We also show that if ${\rm Gfd}_R{\bf R}Γ_{\frak m}(M)<\infty$, then ${\rm Gfd}_RM<\infty$. Let $(R,\frak m)$ be a Cohen-Macaulay local ring and $M$ be a Cohen-Macaulay module of dimension $n$. We prove that if $H_{\frak m}^n(M)$ is of finite G-injective dimension, then Gid$_RH_{\frak m}^n(M)=d-n$. Moreover, we prove that if $M$ is a Matlis reflexive strongly torsion free module of finite G-flat dimension, then Gfd$_R\hat{M}<\infty$, where $\hat{M}$ is $\frak m$-adic completion. △ Less

Submitted 26 August, 2010; originally announced August 2010.

Comments: It has 9 pages and it will be published in Forum Mathematicum

MSC Class: 18E30; 16E40; 16E05; 13D05

On vanishing of generalized local cohomology modules

Authors: K. Divaani-Aazar, R. Sazeedeh, M. Tousi

Abstract: Let $\fa$ denote an ideal of a $d$-dimensional Gorenstein local ring $R$ and $M$ and $N$ two finitely generated $R$-modules with $\pd M< \infty$. It is shown that $H^d_{\fa}(M,N)=0$ if and only if $\dim \hat{R}\big/ \fa\hat{R}+\fp>0$ for all $\fp\in\Ass_{\hat{R}}\hat{M}\cap\Supp_{\hat{R}}\hat{N}$. Let $\fa$ denote an ideal of a $d$-dimensional Gorenstein local ring $R$ and $M$ and $N$ two finitely generated $R$-modules with $\pd M< \infty$. It is shown that $H^d_{\fa}(M,N)=0$ if and only if $\dim \hat{R}\big/ \fa\hat{R}+\fp>0$ for all $\fp\in\Ass_{\hat{R}}\hat{M}\cap\Supp_{\hat{R}}\hat{N}$. △ Less

Submitted 26 August, 2004; originally announced August 2004.

Comments: 7 pages, to appear in Algebra Colloquium

MSC Class: 13D45; 14B15

Cofiniteness of generalized local cohomology modules

Authors: Kamran Divaani-Aazar, Reza Sazeedeh

Abstract: Let $\fa$ denote an ideal of a commutative Noetherian ring $R$ and $M$ and $N$ two finitely generated $R$-modules with $\pd M< \infty$. It is shown that if $\fa$ is principal or $R$ is complete local and $\fa$ a prime ideal with $\dim R/\fa=1$, then the generalized local cohomology module $H^i_{\fa}(M,N)$ is $\fa$-cofinite for all $i \geq 0$. This provides an affirmative answer for the above ide… ▽ More Let $\fa$ denote an ideal of a commutative Noetherian ring $R$ and $M$ and $N$ two finitely generated $R$-modules with $\pd M< \infty$. It is shown that if $\fa$ is principal or $R$ is complete local and $\fa$ a prime ideal with $\dim R/\fa=1$, then the generalized local cohomology module $H^i_{\fa}(M,N)$ is $\fa$-cofinite for all $i \geq 0$. This provides an affirmative answer for the above ideal $\fa$ to a question proposed in [{\bf 13}]. △ Less

Submitted 12 August, 2004; originally announced August 2004.

Comments: 9 pages

MSC Class: 13D45; 14B15

Journal ref: Colloq. Math. 99 (2004), 283-290