-
Some characterizations of strongly irreducible submodules in arithmetical and Noetherian modules
Authors:
Reza Naghipour,
Monireh Sedghi
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 January, 2021;
originally announced January 2021.
-
Symbolic powers and generalized-parametric decomposition of monomial ideals on regular sequences
Authors:
Adeleh Azari,
Simin Mollamahmoudi,
Reza Naghipour
Abstract:
Let $R$ be a commutative Noetherian ring and let ${\bf x} :=x_1,\ldots,x_d$ be a regular $R$-sequence contained in the Jacobson radical of $R$. An ideal $I$ of $R$ is said to be a monomial ideal with respect to ${\bf x}$ if it is generated by a set of monomials $x_1^{e_1}\ldots x_d^{e_d}$. It is shown that, if ${\bf x}R$ is a prime ideal of $R$, then each monomial ideal $I$ has a canonical and uni…
▽ More
Let $R$ be a commutative Noetherian ring and let ${\bf x} :=x_1,\ldots,x_d$ be a regular $R$-sequence contained in the Jacobson radical of $R$. An ideal $I$ of $R$ is said to be a monomial ideal with respect to ${\bf x}$ if it is generated by a set of monomials $x_1^{e_1}\ldots x_d^{e_d}$. It is shown that, if ${\bf x}R$ is a prime ideal of $R$, then each monomial ideal $I$ has a canonical and unique decomposition as an irredundant finite intersection of primary ideals of the form $x^{e_1}_{τ(1)}R+\dots+x^{e_s}_{τ(s)}R$, where $τ$ is a permutation of $\{1,\ldots,d\}$, $s\in\{1,\ldots,d\}$ and ${e_1},\ldots,{e_s}$ are the positive integers. This generalizes and provides a short proof of the main results of \cite{HMRS, HRS}. Also, we show that for every integer $k\geq1$, $I^{(k)}=I^k$, if and only if $\Ass_R R/{I^k }\subseteq \Ass_R R/{I}$, whenever $I$ is a squarefree monomial ideal, where $I^{(k)}$ is the $k$th symbolic power of $I$. Moreover, in this circumstance it is shown that all powers of $I$ are integrally closed.
△ Less
Submitted 16 November, 2018;
originally announced November 2018.
-
Faltings' local-global principle for the in dimension $\bf< n$ of local cohomology modules
Authors:
Reza Naghipour,
Robabeh Maddahali,
Khadijeh Ahmadi Amoli
Abstract:
The concept of Faltings' local-global principle for the in dimension $< n$ of local cohomology modules over a Noetherian ring $R$ is introduced, and it is shown that this principle holds at levels 1, 2. We also establish the same principle at all levels over an arbitrary Noetherian ring of dimension not exceeding 3. These generalize the main results of Brodmann et al. in \cite{BRS}. Moreover, as a…
▽ More
The concept of Faltings' local-global principle for the in dimension $< n$ of local cohomology modules over a Noetherian ring $R$ is introduced, and it is shown that this principle holds at levels 1, 2. We also establish the same principle at all levels over an arbitrary Noetherian ring of dimension not exceeding 3. These generalize the main results of Brodmann et al. in \cite{BRS}. Moreover, as a generalization of Raghavan's result, we show that the Faltings' local-global principle for the in dimension $<n$ of local cohomology modules holds at all levels $r\in \mathbb{N}$ whenever the ring $R$ is a homomorphic image of a Noetherian Gorenstein ring. Finally, 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 in dimension $< 2$ 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}.
△ Less
Submitted 18 December, 2017;
originally announced December 2017.
-
Asymptotic behaviour of integral closures, quintasymptotic primes and ideal topologies
Authors:
Reza Naghipour,
Peter Schenzel
Abstract:
Let $R$ be a commutative Noetherian ring, $N$ a finitely generated $R$-module and $I$ an ideal of $R$. The set $\bar{Q^*}(I, N)$, the quintasymptotic primes of $I$ with respect to $N$, was originally introduced by McAdam \cite{Mc2}. Also, the ideal $I_a^{(N)}$, the integral closure of $I$ with respect to $N$, was introduced by R.Y. Sharp et al. in \cite{STY}. The purpose of this paper is to show t…
▽ More
Let $R$ be a commutative Noetherian ring, $N$ a finitely generated $R$-module and $I$ an ideal of $R$. The set $\bar{Q^*}(I, N)$, the quintasymptotic primes of $I$ with respect to $N$, was originally introduced by McAdam \cite{Mc2}. Also, the ideal $I_a^{(N)}$, the integral closure of $I$ with respect to $N$, was introduced by R.Y. Sharp et al. in \cite{STY}. The purpose of this paper is to show that, whenever $S$ is a multiplicatively closed subset of $R$ then the topologies defined by $\{(I^n)_a^{(N)}\}_{n\geq1}$ and $\{S((I^n)_a^{(N)})\}_{n\geq1}$ are equivalent if and only if $S$ is disjoint from the quintasymptotic primes of $I$ with respect to $N$. In addition, using this result, we also show that, if $(R, \mathfrak{m})$ is local and $N$ is quasi-unmixed, then the local cohomology module $H^{\dim N}_I(N)$ vanishes if and only if there exists a multiplicatively closed subset $S$ of $R$ such that $\mathfrak{m} \cap S \neq \emptyset$ and the topologies induced by $\{(I^n)_a^{(N)}\}_{n\geq1}$ and $\{S((I^n)_a^{(N)})\}_{n\geq1}$ are equivalent. As a special of this characterization we obtain the main result of Marti-Farre \cite{MF}.
△ Less
Submitted 15 August, 2017;
originally announced August 2017.
-
Some results on the annihilators and attached primes of local cohomology modules
Authors:
Ali Atazadeh,
Monireh Sedghi,
Reza Naghipour
Abstract:
Let $(R, \frak m)$ be a local ring and $M$ a finitely generated $R$-module. It is shown that if $M$ is relative Cohen-Macaulay with respect to an ideal $\frak a$ of $R$, then $\text{Ann}_R(H_{\mathfrak{a}}^{\text{cd}(\mathfrak{a}, M)}(M))=\text{Ann}_RM/L=\text{Ann}_RM$ and…
▽ More
Let $(R, \frak m)$ be a local ring and $M$ a finitely generated $R$-module. It is shown that if $M$ is relative Cohen-Macaulay with respect to an ideal $\frak a$ of $R$, then $\text{Ann}_R(H_{\mathfrak{a}}^{\text{cd}(\mathfrak{a}, M)}(M))=\text{Ann}_RM/L=\text{Ann}_RM$ and $\text{Ass}_R(R/\text{Ann}_RM)\subseteq \{\mathfrak{p} \in \text{Ass}_R M|\,{\rm cd}(\mathfrak{a}, R/\mathfrak{p})=\text{cd}(\mathfrak{a}, M)\},$ where $L$ is the largest submodule of $M$ such that ${\rm cd}(\mathfrak{a}, L)< {\rm cd}(\mathfrak{a}, M)$. We also show that if $H^{\dim M}_{\mathfrak{a}}(M)=0$, then $\text{Att}_R(H^{\dim M-1}_{\mathfrak{a}}(M))= \{\mathfrak{p} \in \text{Supp} (M)|\,{\rm cd}(\mathfrak{a}, R/\mathfrak{p})=\dim M-1\},$ and so the attached primes of $H^{\dim M-1}_{\mathfrak{a}}(M)$ depends only on $\text{Supp} (M)$. Finally, we prove that if $M$ is an arbitrary module (not necessarily finitely generated) over a Noetherian ring $R$ with ${\rm cd}(\mathfrak{a}, M)={\rm cd}(\mathfrak{a}, R/\text{Ann}_RM)$, then $\text{Att}_R(H^{{\rm cd}(\mathfrak{a}, M)}_{\mathfrak{a}}(M))\subseteq\{\mathfrak{p} \in V(\text{Ann}_RM)|\,{\rm cd}(\mathfrak{a}, R/\mathfrak{p})={\rm cd}(\mathfrak{a}, M)\}.$
As a consequence of this it is shown that if $\dim M=\dim R$, then $\text{Att}_R(H^{\dim M}_{\mathfrak{a}}(M))\subseteq\{\mathfrak{p} \in \text{Ass}_R M|\,{\rm cd}(\mathfrak{a}, R/\mathfrak{p})=\dim M\}.$
△ Less
Submitted 19 July, 2017;
originally announced July 2017.
-
Modules cofinite and weakly cofinite with respect to an ideal
Authors:
Kamal Bahmanpour,
Reza Naghipour,
Monireh Sedghi
Abstract:
The purpose of the present paper is to continue the study of modules cofinite and weakly cofinite with respect to an ideal $\frak a$ of a Noetherian ring $R$. It is shown that an $R$-module $M$ is cofinite with respect to $\frak a$, if and only if, $\Ext^i_R(R/\frak a,M)$ is finitely generated for all $i\leq {\rm cd}(\frak a,M)+1$, whenever $\dim R/\frak a=1$. In addition, we show that if $M$ is f…
▽ More
The purpose of the present paper is to continue the study of modules cofinite and weakly cofinite with respect to an ideal $\frak a$ of a Noetherian ring $R$. It is shown that an $R$-module $M$ is cofinite with respect to $\frak a$, if and only if, $\Ext^i_R(R/\frak a,M)$ is finitely generated for all $i\leq {\rm cd}(\frak a,M)+1$, whenever $\dim R/\frak a=1$. In addition, we show that if $M$ is finitely generated and $H^i_{\frak a}(M)$ are weakly Laskerian for all $i\leq t-1$, then $H^i_{\frak a}(M)$ are ${\frak a}$-cofinite for all $i\leq t-1$ and for any minimax submodule $K$ of $H^{t}_{\frak a}(M)$, the $R$-modules $\Hom_R(R/{\frak a}, H^{t}_{\frak a}(M)/K)$ and $\Ext^{1}_R(R/{\frak a}, H^{t}_{\frak a}(M)/K)$ are finitely generated, where $t$ is a non-negative integer. Finally, we explore a criterion for weakly cofiniteness of modules with respect to an ideal of dimension one. Namely for such ideals it suffices that the two first $\Ext$-modules in the definition for weakly cofiniteness are weakly Laskerian. As an application of this result we deduce that the category of all ${\frak a}$-weakly cofinite modules over $R$ forms a full Abelian subcategory of the category of modules.
△ Less
Submitted 2 March, 2017;
originally announced March 2017.
-
On the finiteness properties of local cohomology modules for regular local rings
Authors:
Monireh Sedghi,
Kamal Bahmanpour,
Reza Naghipour
Abstract:
Let $\frak a$ denote an ideal in a regular local (Noetherian) ring $R$ and let $N$ be a finitely generated $R$-module with support in $V(\frak a)$. The purpose of this paper is to show that all homomorphic images of the $R$-modules $\Ext^j_R(N, H^i_{\frak a}(R))$ have only finitely many associated primes, for all $i, j\geq 0$, whenever $\dim R \leq4$ or $\dim R/ \frak a \leq 3$ and $R$ contains a…
▽ More
Let $\frak a$ denote an ideal in a regular local (Noetherian) ring $R$ and let $N$ be a finitely generated $R$-module with support in $V(\frak a)$. The purpose of this paper is to show that all homomorphic images of the $R$-modules $\Ext^j_R(N, H^i_{\frak a}(R))$ have only finitely many associated primes, for all $i, j\geq 0$, whenever $\dim R \leq4$ or $\dim R/ \frak a \leq 3$ and $R$ contains a field. In addition, we show that if $\dim R=5$ and $R$ contains a field, then the $R$-modules $\Ext^j_R(N, H^i_{\frak a}(R))$ have only finitely many associated primes, for all $i, j\geq 0$.
△ Less
Submitted 2 March, 2017;
originally announced March 2017.
-
Locally unmixed modules and linearly equivalent topologies
Authors:
Mona Bahadorian,
Monireh Sedghi,
Reza Naghipour
Abstract:
Let $R$ be a commutative Noetherian ring, and let $N$ be a non-zero finitely generated $R$-module. The purpose of this paper is to show that $N$ is locally unmixed if and only if, for any $N$-proper ideal $I$ of $R$ generated by $\Ht_N I$ elements, the topology defined by $(IN)^{(n)}$, $n \geq 0$, is linearly equivalent to the $I$-adic topology.
Let $R$ be a commutative Noetherian ring, and let $N$ be a non-zero finitely generated $R$-module. The purpose of this paper is to show that $N$ is locally unmixed if and only if, for any $N$-proper ideal $I$ of $R$ generated by $\Ht_N I$ elements, the topology defined by $(IN)^{(n)}$, $n \geq 0$, is linearly equivalent to the $I$-adic topology.
△ Less
Submitted 2 March, 2017;
originally announced March 2017.
-
Faltings' finiteness dimension of local cohomology modules over local Cohen-Macaulay rings
Authors:
Kamal Bahmanpour,
Reza Naghipour
Abstract:
Let $(R, \frak m)$ denote a local Cohen-Macaulay ring and $I$ a non-nilpotent ideal of $R$. The purpose of this article is to investigate Faltings' finiteness dimension $f_I(R)$ and equidimensionalness of certain homomorphic image of $R$. As a consequence we deduce that $f_I(R)={\rm max}\{1, {\rm ht}\ I\}$ and if ${\frak m}\mathrm{Ass}_R(R/I)$ is cotained in Ass$_R(R)$, then the ring…
▽ More
Let $(R, \frak m)$ denote a local Cohen-Macaulay ring and $I$ a non-nilpotent ideal of $R$. The purpose of this article is to investigate Faltings' finiteness dimension $f_I(R)$ and equidimensionalness of certain homomorphic image of $R$. As a consequence we deduce that $f_I(R)={\rm max}\{1, {\rm ht}\ I\}$ and if ${\frak m}\mathrm{Ass}_R(R/I)$ is cotained in Ass$_R(R)$, then the ring $R/ I+\cup_{n\geq 1}(0:_RI^n)$ is equidimensional of dimension $\dim R-1$. Moreover, we will obtain a lower bound for injective dimension of the local cohomology module $H^{{\rm ht}\ I}_I(R)$, in the case $(R, \frak m)$ is a complete equidimensional local ring.
△ Less
Submitted 2 March, 2017;
originally announced March 2017.
-
A Characterization of locally quasi-unmixed rings
Authors:
Simin Mollamahmoudi,
Adeleh Azari,
Reza Naghipour
Abstract:
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 includ…
▽ More
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.
△ Less
Submitted 26 July, 2016;
originally announced July 2016.
-
Note on linearly equivalent ideal topologies over Noetherian modules
Authors:
Adeleh Azari,
Simin Mollamahmoudi,
Reza Naghipour
Abstract:
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…
▽ More
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$.
△ Less
Submitted 26 July, 2016;
originally announced July 2016.
-
Symbolic powers of ideals and their topology over a module
Authors:
Adeleh Azari,
Simin Mollamahmoudi,
Reza Naghipour
Abstract:
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 cofinite…
▽ More
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}
△ Less
Submitted 26 July, 2016;
originally announced July 2016.
-
Faltings' local-global principle for the finiteness of local cohomology modules over Noetherian rings
Authors:
Ali Akbar Mehrvarz,
Reza Naghipour,
Monireh Sedghi
Abstract:
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 invaria…
▽ More
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}.
△ Less
Submitted 2 July, 2014;
originally announced July 2014.
-
A new proof of Faltings' local-global principle for the finiteness of local cohomology modules
Authors:
Davood Asadollahi,
Reza Naghipour
Abstract:
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…
▽ More
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.
△ Less
Submitted 16 June, 2014; v1 submitted 5 June, 2014;
originally announced June 2014.
-
Cohomological dimension filtration and annihilators of top local cohomology modules
Authors:
Ali Atazadeh,
Monireh Sedghi,
Reza Naghipour
Abstract:
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.…
▽ More
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))$.
△ Less
Submitted 4 December, 2013;
originally announced December 2013.
-
On the annihilators and attached primes of top local cohomology modules
Authors:
Ali Atazadeh,
Monireh Sedghi,
Reza Naghipour
Abstract:
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 i…
▽ More
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}.
△ Less
Submitted 31 March, 2014; v1 submitted 4 December, 2013;
originally announced December 2013.
-
On the finiteness of Bass numbers of local cohomology modules and Cominimaxness
Authors:
Kamal Bahmanpour,
Reza Naghipour,
Monireh Sedghi
Abstract:
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$, whene…
▽ More
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.
△ Less
Submitted 2 September, 2013;
originally announced September 2013.
-
A note on the quintasymptotic prime ideals
Authors:
Saeed Jahandoust,
Reza Naghipour
Abstract:
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…
▽ More
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$.
△ Less
Submitted 29 August, 2013;
originally announced August 2013.
-
Quintasymptotic sequences over an ideal and quintasymptotic cograde
Authors:
Saeed Jahandoust,
Reza Naghipour
Abstract:
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$ i…
▽ More
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.
△ Less
Submitted 27 August, 2013;
originally announced August 2013.
-
A new characterization of Cohen-Macaulay rings
Authors:
Kamal Bahmanpour,
Reza Naghipour
Abstract:
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.
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.
△ Less
Submitted 27 August, 2013;
originally announced August 2013.
-
Socle finiteness of local cohomology modules and Gorenstein ideals
Authors:
Ali Akbar Mehrvarz,
Kamal Bahmanpour,
Reza Naghipour
Abstract:
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.
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.
△ Less
Submitted 27 August, 2013;
originally announced August 2013.
-
Cofiniteness of local cohomology modules for ideals of dimension one
Authors:
Kamal Bahmanpour,
Reza Naghipour,
Monireh Sedghi
Abstract:
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 w…
▽ More
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}.
△ Less
Submitted 27 August, 2013;
originally announced August 2013.
-
On the generalization of Faltings' Annihilator Theorem
Authors:
Mohammad Reza Doustimehr,
Reza Naghipour
Abstract:
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…
▽ More
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].
△ Less
Submitted 27 August, 2013;
originally announced August 2013.
-
Faltings' local-global principle for the minimaxness of local cohomology modules
Authors:
Mohammad Reza Doustimehr,
Reza Naghipour
Abstract:
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}. M…
▽ More
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}.
△ Less
Submitted 26 August, 2013;
originally announced August 2013.
-
Faltings' local-global principle for the finiteness of local cohomology modules
Authors:
Davood Asadollahi,
Reza Naghipour
Abstract:
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.
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.
△ Less
Submitted 30 May, 2013;
originally announced May 2013.
-
Strongly Prime Submodules
Authors:
A. R. Naghipour
Abstract:
Let $R$ be a commutative ring with identity. For an $R$-module $M$, the notion of strongly prime submodule of $M$ is defined. It is shown that this notion of prime submodule inherits most of the essential properties of the usual notion of prime ideal. In particular, the Generalized Principal Ideal Theorem is extended to modules.
Let $R$ be a commutative ring with identity. For an $R$-module $M$, the notion of strongly prime submodule of $M$ is defined. It is shown that this notion of prime submodule inherits most of the essential properties of the usual notion of prime ideal. In particular, the Generalized Principal Ideal Theorem is extended to modules.
△ Less
Submitted 9 December, 2009;
originally announced December 2009.
