Showing 1–31 of 31 results for author: Tousi, M

Cotilting modules and Gorenstein homological dimensions

Authors: Kamran Divaani-Aazar, Ali Mahin Fallah, Massoud Tousi

Abstract: For a dualizing module $D$ over a commutative Noetherian ring $R$ with identity, it is known that its Auslander class $\mathscr{A}_D\left(R\right)$ (respectively, Bass class $\mathscr{B}_D\left(R\right)$) is characterized as those $R$-modules with finite Gorenstein flat dimension (respectively, finite Gorenstein injective dimension). We establish an analogue of this result in the context of cotilt… ▽ More For a dualizing module $D$ over a commutative Noetherian ring $R$ with identity, it is known that its Auslander class $\mathscr{A}_D\left(R\right)$ (respectively, Bass class $\mathscr{B}_D\left(R\right)$) is characterized as those $R$-modules with finite Gorenstein flat dimension (respectively, finite Gorenstein injective dimension). We establish an analogue of this result in the context of cotilting modules over general Noetherain rings. △ Less

Submitted 7 August, 2024; v1 submitted 8 July, 2024; originally announced July 2024.

Comments: 27 pages

MSC Class: 18E30; 16G99; 18G05; 18G35

On the Wakamatsu tilting conjecture

Authors: Kamran Divaani-Aazar, Ali Mahin Fallah, Massoud Tousi

Abstract: Let R be an associative ring with identity. We establish that the generalized Auslander-Reiten conjecture implies the Wakamatsu tilting conjecture. Furthermore, we prove that any Wakamatsu tilting R-module of finite projective dimension that is tensorly faithful is projective. By utilizing this result, we show the validity of the Wakamatsu tilting conjecture for R in two cases: when R is a left Ar… ▽ More Let R be an associative ring with identity. We establish that the generalized Auslander-Reiten conjecture implies the Wakamatsu tilting conjecture. Furthermore, we prove that any Wakamatsu tilting R-module of finite projective dimension that is tensorly faithful is projective. By utilizing this result, we show the validity of the Wakamatsu tilting conjecture for R in two cases: when R is a left Artinian local ring or when it is the group ring of a finite group G over a commutative Artinian ring. △ Less

Submitted 7 August, 2024; v1 submitted 8 July, 2024; originally announced July 2024.

Comments: 12 pages

MSC Class: 16D20; 16G99; 18G05; 18E40

The balance of relative Ext groups defined by semi dualizing modules

Authors: Kosar Abolfath Beigi, Kamran Divaani-Aazar, Massoud Tousi

Abstract: Let $R$ be a commutative Noetherian ring with identity and $C$ a semidualizing module for $R$. Let $\mathscr{P}_C(R)$ and $\mathscr{I}_C (R)$ denote, respectively, the classes of $C$-projective and $C$-injective $R$-modules. We show that their induced Ext bifunctors $\text{Ext}^i_{\mathscr{P}_C}(-,\sim)$ and $\text{Ext}^i_{\mathscr{I}_C}(-,\sim)$ coincide for all $i\geq 0$ if and only if $C$ is pr… ▽ More Let $R$ be a commutative Noetherian ring with identity and $C$ a semidualizing module for $R$. Let $\mathscr{P}_C(R)$ and $\mathscr{I}_C (R)$ denote, respectively, the classes of $C$-projective and $C$-injective $R$-modules. We show that their induced Ext bifunctors $\text{Ext}^i_{\mathscr{P}_C}(-,\sim)$ and $\text{Ext}^i_{\mathscr{I}_C}(-,\sim)$ coincide for all $i\geq 0$ if and only if $C$ is projective. Also, we provide some other criteria for $C$ to be projective by using some special cotorsion theories. △ Less

Submitted 18 June, 2022; originally announced June 2022.

Comments: To appear in Journal of Algebra and Its Applications

Characterizing certain semidualizing complexes via their Betti and Bass numbers

Authors: Kosar Abolfath Beigi, Kamran Divaani-Aazar, Massoud Tousi

Abstract: It is known that the numerical invariants Betti numbers and Bass numbers are worthwhile tools for decoding a large amount of information about modules over commutative rings. We highlight this fact, further, by establishing some criteria for certain semidualizing complexes via their Betti and Bass numbers. Two distinguished types of semidualizing complexes are the shifts of the underlying rings an… ▽ More It is known that the numerical invariants Betti numbers and Bass numbers are worthwhile tools for decoding a large amount of information about modules over commutative rings. We highlight this fact, further, by establishing some criteria for certain semidualizing complexes via their Betti and Bass numbers. Two distinguished types of semidualizing complexes are the shifts of the underlying rings and dualizing complexes. Let $C$ be a semidualizing complex for an analytically irreducible local ring $R$ and set $n:=\sup C$ and $d:=\dim_RC$. We show that $C$ is quasi-isomorphic to a shift of $R$ if and only if the $n$th Betti number of $C$ is one. Also, we show that $C$ is a dualizing complex for $R$ if and only if the $d$th Bass number of $C$ is one. △ Less

Submitted 10 February, 2022; v1 submitted 29 March, 2021; originally announced March 2021.

Comments: A slightly shorter version of this paper appears in Communications in Algebra

MSC Class: 13C14; 13D02; 13D09

On the invariance of certain types of generalized Cohen-Macaulay modules under Foxby equivalence

Authors: Kosar Abolfath Beigi, Kamran Divaani-Aazar, Massoud Tousi

Abstract: Let R be a local ring and C a semidualizing module of R. We investigate the behavior of certain classes of generalized Cohen-Macaulay R-modules under the Foxby equivalence between the Auslander and Bass classes with respect to C. In particular, we show that generalized Cohen-Macaulay R-modules are invariant under this equivalence and if M is a finitely generated R-module in the Auslander class wit… ▽ More Let R be a local ring and C a semidualizing module of R. We investigate the behavior of certain classes of generalized Cohen-Macaulay R-modules under the Foxby equivalence between the Auslander and Bass classes with respect to C. In particular, we show that generalized Cohen-Macaulay R-modules are invariant under this equivalence and if M is a finitely generated R-module in the Auslander class with respect to C such that C\otimes_RM is surjective Buchsbaum, then M is also surjective Buchsbaum. △ Less

Submitted 27 October, 2021; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: To appear in Czechoslovak Mathematical Journal

MSC Class: 13C14; 13D05; 13D45

Modules whose finiteness dimensions coincide with their cohomological dimensions

Authors: Kamran Divaani-Aazar, Akram Ghanbari Doust, Massoud Tousi, Hossein Zakeri

Abstract: Let a be an ideal of a commutative Noetherian ring R with identity. We study finitely generated R-modules M whose a-finiteness and a-cohomological dimensions are equal. In particular, we examine relative analogues of quasi-Buchsbaum, Buchsbaum and surjective Buchsbaum modules. We reveal several interactions between these types of modules that extend some of the existing results in the classical th… ▽ More Let a be an ideal of a commutative Noetherian ring R with identity. We study finitely generated R-modules M whose a-finiteness and a-cohomological dimensions are equal. In particular, we examine relative analogues of quasi-Buchsbaum, Buchsbaum and surjective Buchsbaum modules. We reveal several interactions between these types of modules that extend some of the existing results in the classical theory to the relative one. △ Less

Submitted 3 September, 2021; v1 submitted 8 January, 2020; originally announced January 2020.

Comments: To appear in Journal of Pure and Applied Algebra

MSC Class: 13C14; 13C05; 13D45

Cohomological dimension and relative Cohen-Maculayness

Authors: Kamran Divaani-Aazar, Akram Ghanbari Doust, Massoud Tousi, Hossein Zakeri

Abstract: Let R be a commutative Noetherian (not necessarily local) ring with identity and a be a proper ideal of R. We introduce a notion of a-relative system of parameters and characterize them by using the notion of cohomological dimension. Also, we present a criterion of relative Cohen-Macaulay modules via relative system of parameters. Let R be a commutative Noetherian (not necessarily local) ring with identity and a be a proper ideal of R. We introduce a notion of a-relative system of parameters and characterize them by using the notion of cohomological dimension. Also, we present a criterion of relative Cohen-Macaulay modules via relative system of parameters. △ Less

Submitted 29 May, 2019; originally announced May 2019.

Comments: It will be published in Communications in Algebra

MSC Class: 13C14; 13C05; 13D45

Stable Under Specialization Sets and Cofiniteness

Authors: Kamran Divaani-Aazar, Hossein Faridian, Massoud Tousi

Abstract: Let $R$ be a commutative noetherian ring, and $\mathcal{Z}$ a stable under specialization subset of $\Spec(R)$. We introduce a notion of $\mathcal{Z}$-cofiniteness and study its main properties. In the case $\dim(\mathcal{Z})\leq 1$, or $\dim(R)\leq 2$, or $R$ is semilocal with $\cd(\mathcal{Z},R) \leq 1$, we show that the category of $\mathcal{Z}$-cofinite $R$-modules is abelian. Also, in each of… ▽ More Let $R$ be a commutative noetherian ring, and $\mathcal{Z}$ a stable under specialization subset of $\Spec(R)$. We introduce a notion of $\mathcal{Z}$-cofiniteness and study its main properties. In the case $\dim(\mathcal{Z})\leq 1$, or $\dim(R)\leq 2$, or $R$ is semilocal with $\cd(\mathcal{Z},R) \leq 1$, we show that the category of $\mathcal{Z}$-cofinite $R$-modules is abelian. Also, in each of these cases, we prove that the local cohomology module $H^{i}_{\mathcal{Z}}(X)$ is $\mathcal{Z}$-cofinite for every homologically left-bounded $R$-complex $X$ whose homology modules are finitely generated and every $i \in \mathbb{Z}$. △ Less

Submitted 26 April, 2018; v1 submitted 15 November, 2017; originally announced November 2017.

Comments: It will appear in Journal of Algebra and its applications

MSC Class: 13D45; 13D07; 13D09

Local Homology, Koszul Homology and Serre Classes

Authors: Kamran Divaani-Aazar, Hossein Faridian, Massoud Tousi

Abstract: Given a Serre class $\mathcal{S}$ of modules, we compare the containment of the Koszul homology, Ext modules, Tor modules, local homology, and local cohomology in $\mathcal{S}$ up to a given bound $s \geq 0$. As some applications, we give a full characterization of noetherian local homology modules. Further, we establish a comprehensive vanishing result which readily leads to the formerly known de… ▽ More Given a Serre class $\mathcal{S}$ of modules, we compare the containment of the Koszul homology, Ext modules, Tor modules, local homology, and local cohomology in $\mathcal{S}$ up to a given bound $s \geq 0$. As some applications, we give a full characterization of noetherian local homology modules. Further, we establish a comprehensive vanishing result which readily leads to the formerly known descriptions of the numerical invariants width and depth in terms of Koszul homology, local homology, and local cohomology. Also, we immediately recover a few renowned vanishing criteria scattered about the literature. △ Less

Submitted 26 April, 2018; v1 submitted 26 January, 2017; originally announced January 2017.

Comments: It will appear in Rocky Mountain Journal of Mathematics

MSC Class: 13D07; 13D45; 13C05

Local homology, finiteness of Tor modules and cofiniteness

Authors: Kamran Divaani-Aazar, Hossein Faridian, Massoud Tousi

Abstract: Let $\frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $\V(\fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{\fa}_i(M)\neq 0$. We show that $M$ is $\fa$-cofinite if and only if the $R$-module $\Tor^R_i(R/\fa,M)$ is finitely generated for every $0\leq i\leq n$. This provides a hands-on and computable finitely-many-steps criterion… ▽ More Let $\frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $\V(\fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{\fa}_i(M)\neq 0$. We show that $M$ is $\fa$-cofinite if and only if the $R$-module $\Tor^R_i(R/\fa,M)$ is finitely generated for every $0\leq i\leq n$. This provides a hands-on and computable finitely-many-steps criterion to examine $\mathfrak{a}$-confiniteness. Our approach relies heavily on the theory of local homology which demonstrates the effectiveness and indispensability of this tool. △ Less

Submitted 26 January, 2017; originally announced January 2017.

Comments: To appear in Journal of Algebra and Its Applications

MSC Class: 13D45; 13E05

A New Outlook on Cofiniteness

Authors: Kamran Divaani-Aazar, Hossein Faridian, Massoud Tousi

Abstract: Let $\mathfrak{a}$ be an ideal of a commutative noetherian (not necessarily local) ring $R$. In the case $\cd(\mathfrak{a},R)\leq 1$, we show that the subcategory of $\mathfrak{a}$-cofinite $R$-modules is abelian. Using this and the technique of way-out functors, we show that if $\cd(\mathfrak{a},R)\leq 1$, or $\dim(R/\mathfrak{a}) \leq 1$, or $\dim(R) \leq 2$, then the local cohomology module… ▽ More Let $\mathfrak{a}$ be an ideal of a commutative noetherian (not necessarily local) ring $R$. In the case $\cd(\mathfrak{a},R)\leq 1$, we show that the subcategory of $\mathfrak{a}$-cofinite $R$-modules is abelian. Using this and the technique of way-out functors, we show that if $\cd(\mathfrak{a},R)\leq 1$, or $\dim(R/\mathfrak{a}) \leq 1$, or $\dim(R) \leq 2$, then the local cohomology module $H^{i}_{\mathfrak{a}}(X)$ is $\mathfrak{a}$-cofinite for every $R$-complex $X$ with finitely generated homology modules and every $i \in \mathbb{Z}$. We further answer Question 1.3 in the three aforementioned cases, and reveal a correlation between Questions 1.1, 1.2, and 1.3. △ Less

Submitted 26 April, 2018; v1 submitted 26 January, 2017; originally announced January 2017.

Comments: It will appear in Kyoto Journal of Mathematics

MSC Class: 13D45; 13D07; 13D09

A Study of Quasi-Gorenstein Rings

Authors: Ehsan Tavanfar, Massoud Tousi

Abstract: In this paper several quasi-Gorenstein counterparts to some known properties of Gorenstein rings are given. We, furthermore, give an explicit description of the attach prime ideals of certain local cohomology modules. In this paper several quasi-Gorenstein counterparts to some known properties of Gorenstein rings are given. We, furthermore, give an explicit description of the attach prime ideals of certain local cohomology modules. △ Less

Submitted 4 September, 2016; v1 submitted 19 August, 2015; originally announced August 2015.

Comments: 31 pages

MSC Class: 13H10; 13D45

A criterion for dualizing modules

Authors: Kamran Divaani-Aazar, Massoumeh Nikkhah Babaei, Massoud Tousi

Abstract: We establish a characterization of dualizing modules among semidualizing modules. Let R be a finite dimensional commutative Noetherian ring with identity and C a semidualizing R-module. We show that C is a dualizing R-module if and only if Tor_i^R(E,E') is C- injective for all C-injective R-modules E and E' and all i\geq 0. We establish a characterization of dualizing modules among semidualizing modules. Let R be a finite dimensional commutative Noetherian ring with identity and C a semidualizing R-module. We show that C is a dualizing R-module if and only if Tor_i^R(E,E') is C- injective for all C-injective R-modules E and E' and all i\geq 0. △ Less

Submitted 14 March, 2015; originally announced March 2015.

Comments: To appear in Tokyo journal of Mathematics

MSC Class: 13C05; 13D07; 13H10

Direct summands of infinite-dimensional polynomial rings

Authors: Mohsen Asgharzadeh, Mehdi Dorreh, Massoud Tousi

Abstract: Let k be a field and R a pure subring of the infinite-dimensional polynomial ring k[X1;...]. If R is generated by monomials, then we show that the equality of height and grade holds for all ideals of R. Also, we show R satisfies the weak Bourbaki unmixed property. As an application, we give the Cohen-Macaulay property of the invariant ring of the action of a linearly reductive group acting by k-au… ▽ More Let k be a field and R a pure subring of the infinite-dimensional polynomial ring k[X1;...]. If R is generated by monomials, then we show that the equality of height and grade holds for all ideals of R. Also, we show R satisfies the weak Bourbaki unmixed property. As an application, we give the Cohen-Macaulay property of the invariant ring of the action of a linearly reductive group acting by k-automorphism on k[X1;...]. This provides several examples of non-Noetherian Cohen-Macaulay rings (e.g. Veronese, determinantal and Grassmanian rings). △ Less

Submitted 9 September, 2014; originally announced September 2014.

Comments: 14 pages, To appear in the Journal of Commutative Algebra

MSC Class: 13C14; 13A50

On the New Intersection Theorem for totally reflexive modules

Authors: Kamran Divaani-Aazar, Fatemeh Mohammadi Aghjeh Mashhad, Ehsan Tavanfar, Massoud Tousi

Abstract: Let (R,m,k) be a local ring. We establish a totally reflexive analogue of the New Intersection Theorem, provided for every totally reflexive R-module M, there is a big Cohen-Macaulay R-module B_M such that the socle of B_M\otimes_RM is zero. When R is a quasi-specialization of a G-regular local ring or when M has complete intersection dimension zero, we show the existence of such a big Cohen-Macau… ▽ More Let (R,m,k) be a local ring. We establish a totally reflexive analogue of the New Intersection Theorem, provided for every totally reflexive R-module M, there is a big Cohen-Macaulay R-module B_M such that the socle of B_M\otimes_RM is zero. When R is a quasi-specialization of a G-regular local ring or when M has complete intersection dimension zero, we show the existence of such a big Cohen-Macaulay R-module. It is conjectured that if R admits a non-zero Cohen-Macaulay module of finite Gorenstein dimension, then it is Cohen-Macaulay. We prove this conjecture if either R is a quasi-specialization of a G-regular local ring or a quasi-Buchsbaum local ring. △ Less

Submitted 12 September, 2019; v1 submitted 22 January, 2014; originally announced January 2014.

Comments: To appear in the journal of Collectanea Mathematica

MSC Class: 13D05; 13C14; 13D22

Direct limits of Cohen-Macaulay rings

Authors: Mohsen Asgharzadeh, Mehdi Dorreh, Massoud Tousi

Abstract: Let $A$ be a direct limit of a direct system of Cohen-Macaulay rings. In this paper, we describe the Cohen-Macaulay property of $A$. Our results indicate that $A$ is not necessarily Cohen-Macaulay. We show $A$ is Cohen-Macaulay under various assumptions. As an application, we study Cohen-Macaulayness of non-affine normal semigroup rings. Let $A$ be a direct limit of a direct system of Cohen-Macaulay rings. In this paper, we describe the Cohen-Macaulay property of $A$. Our results indicate that $A$ is not necessarily Cohen-Macaulay. We show $A$ is Cohen-Macaulay under various assumptions. As an application, we study Cohen-Macaulayness of non-affine normal semigroup rings. △ Less

Submitted 24 December, 2013; originally announced December 2013.

Comments: 16 pages, To appear in the Journal of Pure and Applied Algebra

On the existence of certain modules of finite Gorenstein homological dimensions

Authors: Kamran Divaani-Aazar, Fatemeh Mohammadi Aghjeh Mashhad, Massoud Tousi

Abstract: Let (R,m) be a commutative Noetherian local ring. It is known that R is Cohen-Macaulay if there exists either a nonzero finitely generated R-module of finite injective dimension or a nonzero Cohen-Macaulay R-module of finite projective dimension. In this paper, we investigate the Gorenstein analogues of these facts. Let (R,m) be a commutative Noetherian local ring. It is known that R is Cohen-Macaulay if there exists either a nonzero finitely generated R-module of finite injective dimension or a nonzero Cohen-Macaulay R-module of finite projective dimension. In this paper, we investigate the Gorenstein analogues of these facts. △ Less

Submitted 22 November, 2012; originally announced November 2012.

Comments: to appear in Communications in Algebra

MSC Class: 13D05; 13C14; 13D45

Grade of ideals with respect to torsion theories

Authors: Mohsen Asgharzadeh, Massoud Tousi

Abstract: This paper deals with the notion of grade of ideals with respect to torsion theories defined via some homological tools such as Ext-modules, Koszul cohomology modules, Čech and local cohomology modules over commutative rings which are not necessarily Noetherian. We also compare these approaches of grade. This paper deals with the notion of grade of ideals with respect to torsion theories defined via some homological tools such as Ext-modules, Koszul cohomology modules, Čech and local cohomology modules over commutative rings which are not necessarily Noetherian. We also compare these approaches of grade. △ Less

Submitted 25 August, 2012; v1 submitted 8 April, 2010; originally announced April 2010.

Comments: to appear in Communication in Algebra

A Note on Symmetry in the Vanishing of Ext

Authors: Saeed Nasseh, Massoud Tousi

Abstract: Avramov and Buchweitz proved that for finitely generated modules $M$ and $N$ over a complete intersection local ring $R$, $\Ext^i_R(M,N)=0$ for all $i\gg 0$ implies $\Ext^i_R(N,M)=0$ for all $i\gg 0$. In this note we give some generalizations of this result. Indeed we prove the above mentioned result when (1) $M$ is finitely generated and $N$ is arbitrary, (2) $M$ is arbitrary and $N$ has finite… ▽ More Avramov and Buchweitz proved that for finitely generated modules $M$ and $N$ over a complete intersection local ring $R$, $\Ext^i_R(M,N)=0$ for all $i\gg 0$ implies $\Ext^i_R(N,M)=0$ for all $i\gg 0$. In this note we give some generalizations of this result. Indeed we prove the above mentioned result when (1) $M$ is finitely generated and $N$ is arbitrary, (2) $M$ is arbitrary and $N$ has finite length and (3) $M$ is complete and $N$ is finitely generated. △ Less

Submitted 30 April, 2009; originally announced April 2009.

MSC Class: 13H10; 13D07; 13D02

Duality for a Cohen-Macaulay local ring

Authors: Mohammad Ali Esmkhani, Massoud Tousi

Abstract: Let $(R,\fm)$ be a Cohen-Macaulay local ring. If $R$ has a canonical module, then there are some interesting results about duality for this situation. In this paper, we show that one can indeed obtain similar these results in the case $R$ has not a canonical module. Also, we give some characterizations of complete big Cohen-Macaulay modules of finite injective dimension and by using it some char… ▽ More Let $(R,\fm)$ be a Cohen-Macaulay local ring. If $R$ has a canonical module, then there are some interesting results about duality for this situation. In this paper, we show that one can indeed obtain similar these results in the case $R$ has not a canonical module. Also, we give some characterizations of complete big Cohen-Macaulay modules of finite injective dimension and by using it some characterizations of Gorenstein modules over the $\fm$-adic completion of $R$ are obtained. △ Less

Submitted 24 September, 2008; originally announced September 2008.

Comments: 20 pages

MSC Class: 13C14; 13J10 (Primary); 13D05; 13C13 (Secondary)

On the notion of Cohen-Macaulayness for non Noetherian rings

Authors: Mohsen Asgharzadeh, Massoud Tousi

Abstract: There exist many characterizations of Noetherian Cohen-Macaulay rings in the literature. These characterizations do not remain equivalent if we drop the Noetherian assumption. The aim of this paper is to provide some comparisons between some of these characterizations in non Noetherian case. Toward solving a conjecture posed by Glaz, we give a generalization of the Hochster-Eagon result on Cohen… ▽ More There exist many characterizations of Noetherian Cohen-Macaulay rings in the literature. These characterizations do not remain equivalent if we drop the Noetherian assumption. The aim of this paper is to provide some comparisons between some of these characterizations in non Noetherian case. Toward solving a conjecture posed by Glaz, we give a generalization of the Hochster-Eagon result on Cohen-Macaulayness of invariant rings, in the context of non Noetherian rings. △ Less

Submitted 22 October, 2008; v1 submitted 7 September, 2008; originally announced September 2008.

Comments: 27

MSC Class: 13C14; 13C15.13A50; 13H10

Cohen-Macaulayness with respect to Serre classes

Authors: Mohsen Asgharzadeh, Massoud Tousi

Abstract: Let $R$ be a commutative Noetherian ring. The notion of regular sequences with respect to a Serre class of $R$-modules is introduced and some of their essential properties are given. Then in the local case, we explore a theory of Cohen-Macaulayness with respect to Serre classes. Let $R$ be a commutative Noetherian ring. The notion of regular sequences with respect to a Serre class of $R$-modules is introduced and some of their essential properties are given. Then in the local case, we explore a theory of Cohen-Macaulayness with respect to Serre classes. △ Less

Submitted 30 April, 2008; originally announced April 2008.

Comments: 18 pages

MSC Class: 13C14; 13C15

The finiteness dimension of local cohomology modules and its dual notion

Authors: Mohsen Asgharzadeh, Kamran Divaani-Aazar, Massoud Tousi

Abstract: Let \fa be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. We explore the behavior of the two notions f_{\fa}(M), the finiteness dimension of M with respect to \fa, and, its dual notion q_{\fa}(M), the Artinianess dimension of M with respect to \fa. When (R,\fm) is local and r:=f_{\fa}(M) is less than f_{\fa}^{\fm}(M), the \fm-finiteness dimension of M relative t… ▽ More Let \fa be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. We explore the behavior of the two notions f_{\fa}(M), the finiteness dimension of M with respect to \fa, and, its dual notion q_{\fa}(M), the Artinianess dimension of M with respect to \fa. When (R,\fm) is local and r:=f_{\fa}(M) is less than f_{\fa}^{\fm}(M), the \fm-finiteness dimension of M relative to \fa, we prove that H^r_{\fa}(M) is not Artinian, and so the filter depth of \fa on M doesn't exceeds f_{\fa}(M). Also, we show that if M has finite dimension and H^i_{\fa}(M) is Artinian for all i>t, where t is a given positive integer, then H^t_{\fa}(M)/\fa H^t_{\fa}(M) is Artinian. It immediately implies that if q:=q_{\fa}(M)>0, then H^q_{\fa}(M) is not finitely generated, and so f_{\fa}(M)\leq q_{\fa}(M). △ Less

Submitted 18 August, 2008; v1 submitted 4 March, 2008; originally announced March 2008.

Comments: 14 pages, to appear in Journal of Pure and Applied Algebra

MSC Class: 13D45; 13Exx

A Unified Approach to Local Cohomology Modules Using Serre Classes

Authors: Mohsen Asgharzadeh, Massoud Tousi

Abstract: This paper discusses the connection between the local cohomology modules and the Serre classes of $R$-modules. Such connection provided a common language for expressing some results about the local cohomology $R$-modules, that has appeared in different papers. This paper discusses the connection between the local cohomology modules and the Serre classes of $R$-modules. Such connection provided a common language for expressing some results about the local cohomology $R$-modules, that has appeared in different papers. △ Less

Submitted 8 April, 2008; v1 submitted 22 December, 2007; originally announced December 2007.

Comments: 10 pages

MSC Class: 13D45

Journal ref: Can. Math. Bull. 53 (2010) 577-586

A criterion for rings which are locally valuation

Authors: Kamran Divaani-Aazar, Mohammad Ali Esmkhani, Massoud Tousi

Abstract: Using the notion of cyclically pure injective modules, a characterization for rings which are locally valuation is established. As applications, new characterizations for Prufer domains and pure semi-simple rings are provided. Namely, we show that a domain R is Prufer if and only if two of the three classes of pure injective, cyclically pure injective and RD-injective modules are equal. Also, we… ▽ More Using the notion of cyclically pure injective modules, a characterization for rings which are locally valuation is established. As applications, new characterizations for Prufer domains and pure semi-simple rings are provided. Namely, we show that a domain R is Prufer if and only if two of the three classes of pure injective, cyclically pure injective and RD-injective modules are equal. Also, we prove that a commutative ring R is pure semi-simple if and only if every R-module is cyclically pure injective. △ Less

Submitted 13 February, 2007; originally announced February 2007.

Comments: 11 pages

MSC Class: 13F05; 13F30

Local cohomology and Gorenstein injective dimension over local homomorphisms

Authors: Leila Khatami, Massoud Tousi, Siamak Yassemi

Abstract: A generalization of Grothendieck's non-vanishing theorem is proved for a module which is finite over a local homomorphism. It is also proved that the Gorenstein injective dimension of such a module, if finite, is bounded below by its Krull dimension and is equal to the supremum of the depths of the localizations of the ring over primes in the support of the module. A generalization of Grothendieck's non-vanishing theorem is proved for a module which is finite over a local homomorphism. It is also proved that the Gorenstein injective dimension of such a module, if finite, is bounded below by its Krull dimension and is equal to the supremum of the depths of the localizations of the ring over primes in the support of the module. △ Less

Submitted 22 May, 2006; originally announced May 2006.

MSC Class: 13D05; 13D45; 14B15

Gorenstein homological dimensions and Auslander categories

Authors: Mohammad Ali Esmkhani, Massoud Tousi

Abstract: In this paper, we study Gorenstein injective, projective, and flat modules over a Noetherian ring $R$. For an $R$-module $M$, we denote by ${\rm Gpd}_RM$ and ${\rm Gfd}_R M$ the Gorenstein projective and flat dimensions of $M$, respectively. We show that ${\rm Gpd}_RM<\infty$ if and only if ${\rm Gfd}_RM<\infty$ provided the Krull dimension of $R$ is finite. Moreover, in the case that $R$ is loc… ▽ More In this paper, we study Gorenstein injective, projective, and flat modules over a Noetherian ring $R$. For an $R$-module $M$, we denote by ${\rm Gpd}_RM$ and ${\rm Gfd}_R M$ the Gorenstein projective and flat dimensions of $M$, respectively. We show that ${\rm Gpd}_RM<\infty$ if and only if ${\rm Gfd}_RM<\infty$ provided the Krull dimension of $R$ is finite. Moreover, in the case that $R$ is local, we correspond to a dualizing complex ${\bf D}$ of $\hat{R}$, the classes $A'(R)$ and $B'(R)$ of $R$-modules. For a module $M$ over a local ring $R$, we show that $M\in A'(R)$ if and only if ${\rm Gpd}_RM<\infty$ or equivalently ${\rm Gfd}_RM<\infty$. In dual situation by using the class $B'(R)$, we provide a characterization of Gorenstein injective modules. △ Less

Submitted 27 June, 2006; v1 submitted 24 November, 2005; originally announced November 2005.

Comments: 15 pages

MSC Class: Primary 13D05; 13D07; Secondary 13H10; 13C10

Some criteria of cyclically pure injective modules

Authors: Kamran Divaani-Aazar, Mohammad Ali Esmkhani, Massoud Tousi

Abstract: The structure of cyclically pure injective modules over a commutative ring $R$ is investigated and several characterizations for them are presented. In particular, we prove that a module $D$ is cyclically pure injective if and only if $D$ is isomorphic to a direct summand of a module of the form $\Hom_R(L,E)$ where $L$ is the direct sum of a family of finitely presented cyclic modules and $E$ is… ▽ More The structure of cyclically pure injective modules over a commutative ring $R$ is investigated and several characterizations for them are presented. In particular, we prove that a module $D$ is cyclically pure injective if and only if $D$ is isomorphic to a direct summand of a module of the form $\Hom_R(L,E)$ where $L$ is the direct sum of a family of finitely presented cyclic modules and $E$ is an injective module. Also, we prove that over a quasi-complete Noetherian ring $(R,\fm)$ an $R$-module $D$ is cyclically pure injective if and only if there is a family $\{C_λ\}_{λ\in Λ}$ of cocyclic modules such that $D$ is isomorphic to a direct summand of $Π_{λ\in Λ}C_λ$. Finally, we show that over a complete local ring every finitely generated module which has small cofinite irreducibles is cyclically pure injective. △ Less

Submitted 20 October, 2005; originally announced October 2005.

Comments: 18 pages, to appear in Journal of Algebra

MSC Class: 13C11; 13H10

Localization of tight closure in two-dimensional rings

Authors: Kamran Divaani-Aazar, Massoud Tousi

Abstract: It is shown that tight closure commutes with localization in any two dimensional ring $R$ of prime characteristic if either $R$ is a Nagata ring or $R$ possesses a weak test element. Moreover, it is proved that tight closure commutes with localization at height one prime ideals in any ring of prime characteristic. It is shown that tight closure commutes with localization in any two dimensional ring $R$ of prime characteristic if either $R$ is a Nagata ring or $R$ possesses a weak test element. Moreover, it is proved that tight closure commutes with localization at height one prime ideals in any ring of prime characteristic. △ Less

Submitted 3 February, 2005; originally announced February 2005.

Comments: 7 pages, to appear in Proc. Indian Acad. Sci. (Math. Sci.)

MSC Class: 13A35; 13C99

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

Tensor Products of Some Special Rings

Authors: Masoud Tousi, Siamak Yassemi

Abstract: In this paper we solve a problem, originally raised by Grothendieck, on the properties, i.e. Complete intersection, Gorenstein, Cohen--Macaulay, that are conserved under tensor product of algebras over a field $k$. In this paper we solve a problem, originally raised by Grothendieck, on the properties, i.e. Complete intersection, Gorenstein, Cohen--Macaulay, that are conserved under tensor product of algebras over a field $k$. △ Less

Submitted 11 March, 2003; v1 submitted 23 October, 2002; originally announced October 2002.

Comments: 6 pages

MSC Class: 13H10