BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Reza Naghipour

Reza Naghipour contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AC

Trust snapshot

Quick read

Trust 21 - Emerging
17works
0followers
1topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

17 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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}

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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}.

0 citations0 reviewsNo code linkedOpen access
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}.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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}.

0 citations0 reviewsNo code linkedOpen access
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))$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Faltings&#39; 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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Faltings&#39; local-global principle for the minimaxness of local cohomology modules

The concept of Faltings&#39; 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}.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On the generalization of Faltings&#39; 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&#39; Annihilator Theorem [G. Faltings, {\it Über die Annulatoren lokaler Kohomologiegruppen}, Arch. Math. {\bf30} (1978) 473-476].

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access