Source author record

Reza Naghipour

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC

Catalog footprint

Research overview

17works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Some characterizations of strongly irreducible submodules in arithmetical and Noetherian modules

The purpose of the present paper is to prove some properties of the strongly irreducible submodules in the arithmetical and Noetherian modules over a commutative ring. The relationship among the families of strongly irreducible submodules, irreducible submodules, prime submodules and primal submodules is proved. Also, several new characterizations of the arithmetical modules are given. In the case when $R$ is Noetherian and $M$ is finitely generated, several characterizations of strongly irreducible submodules are included. Among other things, it is shown that when $N$ is a submodule of $M$ such that $N:_RM$ is not a prime ideal, then $N$ is strongly irreducible if and only if there exist submodule $L$ of $M$ and prime ideal $\frak p$ of $R$ such that $N$ is $\frak p$ -primary, $N\subsetneqq L\subseteq \frak pM$ and for all submodules $K$ of $M$ either $K\subseteq N$ or $L_{\frak p}\subseteq K_{\frak p}$ . In addition, we show that a submodule $N$ of $M$ is strongly irreducible if and only if $N$ is primary, $M_{\frak p}$ is arithmetical and $N=(\frak pM)^{(n)}$ for some integer $n>1$ , where $\frak p=\Rad(N:_RM)$ with $\frak p\not\in \Ass_RR/\Ann_R(M)$ and $\frak pM\nsubseteq N$ . As a consequence we deduce that if $R$ is integral domain and $M$ is torsion-free, then there exists a strongly irreducible submodule $N$ of $M$ such that $N:_RM$ is not prime ideal if and only if there is a prime ideal $\frak p$ of $R$ with $\frak pM\nsubseteq N$ and $M_{\frak p}$ is an arithmetical $R_{\frak p}$ -module.

preprint2016arXiv

A Characterization of locally quasi-unmixed rings

Let $\bar{I}$ denote the integral closure of an ideal in a Noetherian ring $R$ . The main result of this paper asserts that $R$ is locally quasi-unmixed if and only if, the topologies defined by $\overline{I^n}$ and $I^{\langle n\rangle}$ , $\ n\geq 1$ , are equivalent. In addition, some results about the behavior of linearly equivalent topologies of ideals under various ring homomorphisms are included.

preprint2016arXiv

Note on linearly equivalent ideal topologies over Noetherian modules

Let $R$ be a commutative Noetherian ring, and let $N$ be a non-zero finitely generated $R$ -module. In this paper, the main result asserts that for any $N$ -proper ideal $\frak a$ of $R,$ the $\frak a$ -symbolic topology on $N$ is linearly equivalent to the $\frak a$ -adic topology on $N$ if and only if, for every $\frak p\in \Supp(N)$, $\Ass_{R_{\mathfrak {p} }}N_{\mathfrak {p}}$ consists of a single prime ideal and $\dim N\leq 1$ .

preprint2016arXiv

Symbolic powers of ideals and their topology over a module

Let $I$ denote an ideal of a Noetherian ring $R$ and $N$ a non-zero finitely generated $R$ -module. In the present paper, some necessary and sufficient conditions are given to determine when the $I$ -adic topology on $N$ is equivalent to the $I$ -symbolic topology on $N$ . Among other things, we shall give a complete solution to the question raised by R. Hartshorne in [{\it Affine duality and cofiniteness}, Invent. Math. {\bf9}(1970), 145-164], for a prime ideal $\frak p$ of dimension one in a local Noetherian ring $R$ , by showing that the $\frak{p}$ -adic topology on $N$ is equivalent to the $\frak{p}$ -symbolic topology on $N$ if and only if for all $z\in \Ass_{R^*}N^*$ there exists $\frak{q}\in \Supp(N^*)$ such that $z\subseteq \frak{q}$ and $\frak{q}\cap R=\frak{p}.$ Also, it is shown that if for every ${\mathfrak{p}}\in \Supp(N)$ with $\dim R/\mathfrak{p}=1$ , the $\mathfrak{p}$ -adic and the $\mathfrak{p}$ -symbolic topologies are equivalent on $N$ , then $N$ is unmixed and $\Ass_{R} N$ has only one element. Finally, we show that if $\Ass_{R_{\mathfrak{p}}^*}{N^*_{\mathfrak{p}}}$ consists of a single prime ideal, for all ${\mathfrak{p}}\in {A^*}(I,N)$ , then the $I$ -adic and the $I$ -symbolic topologies on $N$ are equivalent. \end{abstract}

preprint2014arXiv

A new proof of Faltings' local-global principle for the finiteness of local cohomology modules

Let $R$ denote a commutative Noetherian ring. Brodmann et al. defined and studied the concept of the local-global principle for annihilation of local cohomology modules at level $r\in\mathbb{N}$ for the ideals $\frak a$ and $\frak b$ of $R$ . It was shown that this principle holds at levels 1,2, over $R$ and at all levels whenever $\dim R\leq 4$ . The goal of this paper is to show that, if the set $\Ass_R(H_{\fa}^{f_{\fa}^{\fb}(M)}(M))$ is finite or $f_{\fa}(M)\neq c_{\fa}^{\fb}(M)$, then the local-global principle holds at all levels $r\in\mathbb{N}_0$ , for all ideals $\fa, \fb$ of $R$ and each finitely generated $R$ -module $M$ , where $c_{\fa}^{\fb}(M)$ denotes the first non $\fb$-cofiniteness of local cohomology module $H^i_{\fa}(M)$. As a consequence of this, we provide a new and short proof of the Faltings' local-global principle for finiteness dimensions. Also, several new results concerning the finiteness dimensions are given.

preprint2014arXiv

Faltings' local-global principle for the finiteness of local cohomology modules over Noetherian rings

Let $R$ denote a commutative Noetherian (not necessarily local) ring, $\frak a$ an ideal of $R$ and $M$ a finitely generated $R$ -module. The purpose of this paper is to show that $f^n_{\frak a}(M)=\inf \{0\leq i\in\mathbb{Z}|\, \dim H^{i}_{\frak a}(M)/N \geq n\, \, \text{for any finitely generated submodule}\,\, N \subseteq H^{i}_{\frak a}(M)\}$ , where $n$ is a non-negative integer and the invariant $f^n_{\frak a}(M):=\inf\{f_{\frak a R_{\frak p}}(M_{\frak p})\,\,|\,\,{\frak p}\in \Supp M/\frak a M\,\,{\rm and}\,\,\dim R/{\frak p}\geq n\}$ is the $n$ -th finiteness dimension of $M$ relative to $\frak a$ . As a consequence, it follows that the set $$ \Ass_R(\oplus _{i=0}^{f^n_{\frak a}(M)}H^{i}_{\frak a}(M))\cap \{\frak p\in \Spec R|\, \dim R/\frak p\geq n\}$$ is finite. This generalizes the main result of Quy \cite{Qu}, Brodmann-Lashgari \cite{BL} and Asadollahi-Naghipour \cite{AN}.

preprint2014arXiv

On the annihilators and attached primes of top local cohomology modules

Let \frak a be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. It is shown that {\rm Ann}_R(H_{\frak a}^{{\dim M}({\frak a}, M)}(M))= {\rm Ann}_R(M/T_R({\frak a}, M)), where T_R({\frak a}, M) is the largest submodule of M such that {\rm cd}({\frak a}, T_R({\frak a}, M))< {\rm cd}({\frak a}, M). Several applications of this result are given. Among other things, it is shown that there exists an ideal \frak b of R such that {\rm Ann}_R(H_{\frak a}^{\dim M}(M))={\rm Ann}_R(M/H_{\frak b}^{0}(M)). Using this, we show that if H_{\frak a}^{\dim R}(R)=0, then {\rm Att}_RH^{{\dim R}-1}_{\frak a}(R)=\{{\frak p}\in {\rm Spec}\,R|\,{\rm cd}({\frak a}, R/{\frak p})={\dim R}-1\}. These generalize the main results of \cite[Theorem 2.6]{BAG}, \cite[Theorem 2.3]{He} and \cite[Theorem 2.4]{Lyn}.

preprint2013arXiv

A new characterization of Cohen-Macaulay rings

The purpose of this article is to provide a new characterization of Cohen-Macaulay local rings. As a consequence we deduce that a local (Noetherian) ring $R$ is Gorenstein if and only if every parameter ideal of $R$ is irreducible.

preprint2013arXiv

A note on the quintasymptotic prime ideals

Let $R$ denote a commutative Noetherian ring, $I$ an ideal of $R$ , and let $S$ be a multiplicatively closed subset of $R$ . In \cite{Ra1}, Ratliff showed that the sequence of sets ${\rm Ass}_RR/\bar{I}\subseteq {\rm Ass}_RR/\bar{I^2} \subseteq {\rm Ass}_R R/\bar{I^3}\subseteq \dots$ increases and eventually stabilizes to a set denoted $\bar{A^\ast}(I)$ . In \cite{Mc2}, S. McAdam gave an interesting description of $\bar{A^\ast}(I)$ by making use of $R[It,t^{-1}]$ , the Rees ring of $I$ . In this paper, we give a second description of $\bar{A^\ast}(I)$ by making use of the Rees valuation rings of $I$ . We also reprove a result concerning when $\bar{I^n}R_S\cap R=\bar{I^n}$ for all integers $n>0$ .

preprint2013arXiv

Cofiniteness of local cohomology modules for ideals of dimension one

Let $R$ denote a commutative Noetherian (not necessarily local) ring, $M$ an arbitrary $R$ -module and $I$ an ideal of $R$ of dimension one. It is shown that the $R$ -module $\Ext^i_R(R/I,M)$ is finitely generated (resp. weakly Laskerian) for all $i\leq {\rm cd}(I,M)+1$ if and only if the local cohomology module $H^i_I(M)$ is $I$ -cofinite (resp. $I$ -weakly cofinite) for all $i$ . Also, we show that when $I$ is an arbitrary ideal and $M$ is finitely generated module such that the $R$ -module $H^i_I(M)$ is weakly Laskerian for all $i\leq t-1$ , then $H^i_I(M)$ is $I$ -cofinite for all $i\leq t-1$ and for any minimax submodule $K$ of $H^{t}_I(M)$ , the $R$ -modules $\Hom_R(R/I, H^{t}_I(M)/K)$ and $\Ext^{1}_R(R/I, H^{t}_I(M)/K)$ are finitely generated, where $t$ is a non-negative integer. This generalizes the main result of Bahmanpour-Naghipour \cite{BN} and Brodmann and Lashgari \cite{BL}.

preprint2013arXiv

Cohomological dimension filtration and annihilators of top local cohomology modules

Let $\frak a$ denote an ideal in a commutative Noetherian ring $R$ and $M$ a finitely generated $R$ -module. In this paper, we introduce the concept of the cohomological dimension filtration $\mathscr{M} =\{M_i\}_{i=0}^c$ , where $c={\rm cd} ({\frak a},M)$ and $M_i$ denotes the largest submodule of $M$ such that ${\rm cd} ({\frak a}, M_i)\leq i.$ Some properties of this filtration are investigated. In particular, in the case that $(R, \frak m)$ is local and $c= \dim M$ , we are able to determine the annihilator of the top local cohomology module $H_{\frak a}^c(M)$ . In fact, it is shown that ${\rm Ann}_R(H_{\frak a}^c(M))= {\rm Ann}_R(M/M_{c-1}).$ As a consequence, it follows that there exists an ideal $\frak b$ of $R$ such that ${\rm Ann}_R(H_{\frak a}^{c}(M))={\rm Ann}_R(M/H_{\frak b}^{0}(M))$ .

preprint2013arXiv

Faltings' local-global principle for the finiteness of local cohomology modules

Let (R,m) be a complete local ring, a an ideal of R and M a finitely generated R-module. The aim of this paper is to show that for any non-negative integer n, the least integer i such that the i-th local cohomology with respect to a is not in dimension <n, is equal to the n-th finiteness dimension of M relative to a. This generalizes the main result of Quy and Brodmann-Lashgari.

preprint2013arXiv

Faltings' local-global principle for the minimaxness of local cohomology modules

The concept of Faltings' local-global principle for the minimaxness of local cohomology modules over a commutative Noetherian ring $R$ is introduced, and it is shown that this principle holds at level 2. We also establish the same principle at all levels over an arbitrary commutative Noetherian ring of dimension not exceeding 3. These generalize the main results of Brodmann et al. in \cite{BRS}. Moreover, it is shown that if $M$ is a finitely generated $R$ -module, $\frak a$ an ideal of $R$ and $r$ a non-negative integer such that $\frak a^tH^i_{\frak a}(M)$ is skinny for all $i<r$ and for some positive integer $t$ , then for any minimax submodule $N$ of $H^r_{\frak a}(M)$ , the $R$ -module $\Hom_R(R/\frak a, H^r_{\frak a}(M)/N)$ is finitely generated. As a consequence, it follows that the associated primes of $H^r_{\frak a}(M)/N$ are finite. This generalizes the main results of Brodmann-Lashgari \cite{BL} and Quy \cite{Qu}.

preprint2013arXiv

On the finiteness of Bass numbers of local cohomology modules and Cominimaxness

In this paper, we continue the study of cominimaxness modules with respect to an ideal of a commutative Noetherian ring (cf. \cite{ANV}), and Bass numbers of local cohomology modules. Let $R$ denote a commutative Noetherian local ring and $I$ an ideal of $R$ . We first show that the Bass numbers $μ^0(\frak p, H^2_I(R))$ and $μ^1(\frak p, H^2_I(R))$ are finite for all $\frak p\in \Spec R$, whenever $R$ is regular. As a consequence, it follows that the Goldie dimension of $H^2_I(R)$ is finite. Also, for a finitely generated $R$ -module $M$ of dimension $d$ , it is shown that the Bass numbers of $H^{d-1}_{I}(M)$ are finite if and only if $\Ext^i_R(R/I, H^{d-1}_{I}(M))$ be minimax for all $i\geq0$ . Finally, we prove that if $\dim R/I=2$ , then the Bass numbers of $H^{n}_{I}(M)$ are finite if and only if $\Ext^i_R(R/I, H^{n}_{I}(M))$ be minimax, for all $i\geq0$ , where $n$ is a non-negative integer.

preprint2013arXiv

On the generalization of Faltings' Annihilator Theorem

Let $R$ be a commutative Noetherian ring and let $n$ be a non-negative integer. In this article, by using the theory of Gorenstein dimensions, it is shown that whenever $R$ is a homomorphic image of a Noetherian Gorenstein ring, then the invariants $\inf\{i\in\nat_0|\, {\dim\Supp}(\fb^tH_{\fa}^i(M))\geq n\text{for all} t\in\nat_0\}$ and $\inf\{λ_{\fa R_{\p}}^{\fb R_{\p}}(M_{\p})|\,\p\in {\rm Spec} \, R \text{and} \dim R/ \p\geq n\}$ are equal, for every finitely generated $R$ -module $M$ and for every ideals $\frak a, \frak b$ of $R$ with $\frak b\subseteq \frak a$ . This generalizes the Faltings' Annihilator Theorem [G. Faltings, {\it Über die Annulatoren lokaler Kohomologiegruppen}, Arch. Math. {\bf30} (1978) 473-476].

preprint2013arXiv

Quintasymptotic sequences over an ideal and quintasymptotic cograde

Let $I$ denote an ideal of a Noetherian ring $R$ . The purpose of this article is to introduce the concepts of quintasymptotic sequences over $I$ and quintasymptotic cograde of $I$ , and it is shown that they play a role analogous to quintessential sequences over $I$ and quintessential cograde of $I$ , given in \cite{Ra1}. Also, we show that, if $R$ is local, then the quintasymptotic cograde of $I$ is unambiguously defined and behaves well when passing to certain related local rings. Finally, we use this cograde to characterize of two classes of local rings.

preprint2013arXiv

Socle finiteness of local cohomology modules and Gorenstein ideals

The purpose of this paper is to give some equivalent conditions to the socle and Bass numbers' conjectures which raised by C. Huneke in (Problems on local cohomology, Free resolutions in commutative algebra and algebraic geometry, Res. Notes Math. 1992, pp. 93-108). In addition, some results about certain Gorenstein ideals are included.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reza Naghipour

Research overview

Is this your work?

17 publications

Some characterizations of strongly irreducible submodules in arithmetical and Noetherian modules

A Characterization of locally quasi-unmixed rings

Note on linearly equivalent ideal topologies over Noetherian modules

Symbolic powers of ideals and their topology over a module

A new proof of Faltings' local-global principle for the finiteness of local cohomology modules

Faltings' local-global principle for the finiteness of local cohomology modules over Noetherian rings

On the annihilators and attached primes of top local cohomology modules

A new characterization of Cohen-Macaulay rings

A note on the quintasymptotic prime ideals

Cofiniteness of local cohomology modules for ideals of dimension one

Cohomological dimension filtration and annihilators of top local cohomology modules

Faltings' local-global principle for the finiteness of local cohomology modules

Faltings' local-global principle for the minimaxness of local cohomology modules

On the finiteness of Bass numbers of local cohomology modules and Cominimaxness

On the generalization of Faltings' Annihilator Theorem

Quintasymptotic sequences over an ideal and quintasymptotic cograde

Socle finiteness of local cohomology modules and Gorenstein ideals

See the researcher in context

Building this map preview