NOTE ON LINEARLY EQUIVALENT IDEAL TOPOLOGIES OVER
NOETHERIAN MODULES

arXiv:1607.07634v1 [] 26 Jul 2016

ADELEH AZARI, SIMIN MOLLAMAHMOUDI AND 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
a of R, the a-symbolic topology on N is linearly equivalent to the a-adic topology on
N if and only if, for every p ∈ Supp(N ), AssRp Np consists of a single prime ideal and
dim N ≤ 1.

1. Introduction
Let R be a commutative Noetherian ring, a an ideal of R and let N be a non-zero finitely
generated R-module. For a non-negative integer n, the nth symbolic power of a w.r.t. N,
denoted by (aN)(n) , is defined to be the intersection of those primary components of
an N which correspond to the minimal elements of AssR N/aN. Then the a-adic filtration
{an N}n≥0 and the a-symbolic filtration {(aN)(n) }n≥0 induce topologies on N which are
called the a-adic topology and a-symbolic topology, respectively. These two topologies
are said to be linearly equivalent if, there is an integer k ≥ 0 such that (aN)(n+k) ⊆ an N
for all integers n ≥ 0.
Our main point of the present paper concerns an invistigation of the linearly equivalent
of the a-symbolic and the a-adic topology topologies on N. More precisely we shall show
that:
Theorem 1.1. Let R be a commutative Noetherian ring, and let N be a non-zero finitely
generated R-module. Then for any N-proper ideal a of R, the a-symbolic topology on N
is linearly equivalent to the a-adic topology on N if and only if, for every p ∈ Supp(N),
AssRp Np consists of a single prime ideal and dim N ≤ 1.
The result in Theorem 1.1 is proved in Theorem 2.4. Our method is based on the theory
of the asymptotic and essential primes of a w.r.t. N which were introduced by McAdam
[6], and in [1], Ahn extended these concepts to a finitely generated R-module N. One of
our tools for proving Theorem 1.1 is the following, which plays a key role in this paper.
Proposition 1.2. Let R be a commutative Noetherian ring and a an ideal of R. Let N be
a non-zero finitely generated R-module such that dim N > 0, and let p ∈ Supp(N) ∩ V (a).
Then the following conditions are equivalent:
Key words and phrases. Adic topology, symbolic power, symbolic topology.
2010 Mathematics Subject Classification: 13B20, 13B21, 13A30.
This research was in part supported by a grant from IPM
∗
Corresponding author: e-mail: naghipour@ipm.ir (Reza Naghipour).
1

2

ADELEH AZARI, SIMIN MOLLAMAHMOUDI AND REZA NAGHIPOUR∗

(i) p ∈ Ā∗ (a, N).
(ii) p ∈ Ā∗ (ab, N), for any N-proper ideal b of R with heightN S
b > 0.
∗
(iii) p ∈ Ā (xa, N), for any N-proper element x of R with x 6∈ p∈mAssR N p.
A prime ideal p of R is called a quitessential (resp. quitasymptotic) prime ideal of a
w.r.t. N precisely when there exists q ∈ AssR∗p Np∗ (resp. q ∈ mAssR∗p Np∗ ) such that
Rad(aRp∗ + q) = pRp∗ . The set of quitessential (resp. quitasymptotic) prime ideals of a
w.r.t. N is denoted by Q(a, N) (resp. Q̄∗ (a, N)) which is a finite set.
We denote by R the graded Rees ring R[u, at] := ⊕n∈Z an tn of R w.r.t. a, where t is an
indeterminate and u = t−1 . Also, the graded Rees module N[u, at] := ⊕n∈Z an N over R is
denoted by N , which is a finitely generated graded R-module. Then we say that a prime
ideal p of R is an essential prime ideal of a w.r.t. N, if p = q ∩ R for some q ∈ Q(uR, N ).
The set of essential prime ideals of a w.r.t. N will be denoted by E(a, N).
Also, the asymptotic prime ideals of a w.r.t. N, denoted by Ā∗ (a, N), is defined to be
the set {q ∩ R | q ∈ Q̄∗ (uR, N )}.
In [14], Sharp et al. introduced the concept of integral closure of a relative to N,
and they showed that this concept have properties which reflect some of those of the
usual concept of integral closure introduced by Northcott and Rees in [12]. The integral
closure of a relative to N is denoted by a−(N ) . In [11], it is shown that the sequence
{AssR R/(an )−(N ) }n≥1 , of associated prime ideals, is increasing and ultimately constant;
we denote its ultimate constant value by Â∗ (a, N). In the case N = R, Â∗ (a, N) is the
asymptotic primes Â∗ (a) of a introduced by Ratliff in [13]. Also, it is shown in [10,
Proposition 3.2] that Â∗ (a, N) = Ā∗ (a, N).
If (R, m) is local, then R∗ (resp. N ∗ ) denotes the completion of R (resp. N) w.r.t. the
m-adic topology. In particular, for every prime ideal p of R, we denote Rp∗ and Np∗ the
pRp -adic completion of Rp and Np , respectively. For any ideal b of R, the radical of b,
denoted by Rad(b), is defined to be the set {x ∈ R : xn ∈ b for some n ∈ N}. Finally,
for each R-module L, we denote by mAssR L the set of minimal prime ideals of AssR L.
Recall that an ideal b of R is called N-proper if N/bN 6= 0, and, when this the case,
we define the N-height of b (written heightN b) to be
inf{heightN p : p ∈ Supp N ∩ V (b)},
where heightN p is defined to be the supremum of lengths of chains of prime ideals of
Supp(N) terminating with p. Also, we say that an element x of R is an N-proper element
if N/xN 6= 0. For any unexplained notation and terminology we refer the reader to [3] or
[7].
2. The main result
Let R be a commutative Noetherian ring, and let N be a non-zero finitely generated
R-module. The purpose of the present paper is to give an investigation of the linearly
equivalent of the a-symbolic and the a-adic topology topologies on N.The main goal of
this section is Theorem 2.4. The following proposition plays a key role in the proof of the
main theorem.

LINEARLY EQUIVALENT IDEAL TOPOLOGIES

3

Proposition 2.1. Let a be an ideal of R and let N be a non-zero finitely generated Rmodule with dim N > 0. Let p ∈ Supp(N) ∩ V (a). Then the following conditions are
equivalent:
(i) p ∈ Ā∗ (a, N).
(ii) p ∈ Ā∗ (ab, N), for any N-proper ideal b of R with heightN S
b > 0.
(iii) p ∈ Ā∗ (xa, N), for any N-proper element x of R with x 6∈ p∈mAssR N p.
S
(iv) p ∈ Ā∗ (xa, N), for some N-proper element x of R with x 6∈ p∈mAssR N p.
Proof. (i)=⇒(ii): Let p ∈ Ā∗ (a, N) and let b be an N-proper ideal of R such that
heightN b > 0. Then, in view of [10, Remark 2.4],
p/ AnnR N ∈ Â∗ (a + AnnR N/ AnnR N).
Hence, as by [8, Theorem 2.1],
heightN b = height(b + AnnR N/ AnnR N) > 0,
it follows from [5, Proposition 3.26] that
p/ AnnR N ∈ Â∗ (ab + AnnR N/ AnnR N).
Therefore by using [10, Remark 2.4], we obtain that p ∈ Ā∗ (ab, N), as required.
S (ii)=⇒(iii): Let (ii) hold and let x be an N-proper element of R such that x 6∈
p∈mAssR N p. Then it is easy to see that heightN xR > 0, and so according to the assumption (ii), we have p ∈ Ā∗ (xa, N).
(iii)=⇒(iv):
Since dim N > 0, there exists q ∈ Supp
S
S N such that heightN q > 0. Hence
q * p∈mAssR N p, and so there is x ∈ q such that x 6∈ p∈mAssR N p. Consequently, it follows
from the hypothesis (iii) that p ∈ Ā∗ (xa, N).
S
(iv)=⇒(i): Let x be an N-proper element of R such that x 6∈ p∈mAssR N p and let
p ∈ Ā∗ (xa, N). Then
p/ AnnR N ∈ Â∗ (xa + AnnR N/ AnnR N),
S
by [10, Remark 2.4]. Now, since x 6∈ p∈mAssR N p, it is easy to see that x + AnnR N is not
in any minimal prime R/ AnnR N. Therefore, it follows from [5, Proposition 3.26] that
p/ AnnR N ∈ Â∗ (a + AnnR N/ AnnR N).
Consequently, in view of [10, Remark 2.4], p ∈ Ā∗ (a, N), and this completes the proof. 
Before we state Theorem 2.4 which is our main result, we give a couple of lemmas that
will be used in the proof of Theorem 2.4.
Lemma 2.2. Let (R, m) be a local ring and let N be a non-zero finitely generated Rmodule such that dim N > 0 and that AssR N has at least two elements. Then there is an
ideal a of R such that m ∈ Q(a, N) \ mAss N/aN.
Proof. See [2, Proposition 4.2].



Lemma 2.3. Let N be a non-zero finitely generated R-module and let a be an N-proper
ideal of R. Then E(a, N) = mAssR N/aN if and only if the a-symbolic topology is linearly
equivalent to the a-adic topology.

4

ADELEH AZARI, SIMIN MOLLAMAHMOUDI AND REZA NAGHIPOUR∗

Proof. The assertion follows easily from [9, Theorem 4.1].



We are now ready to state and prove the main theorem of this paper which is a characterization of the certain modules in terms of the linear equivalence of certain topologies induced by families of submodules of a finitely generated module N over a commutative Noetherian ring R. We denote by ZR (N) the set of zero divisors on N, i.e.,
ZR (N) := {r ∈ R | rx = 0 for some x(6= 0) ∈ N}.
Theorem 2.4. Let N be a non-zero finitely generated R-module. Then the following
conditions are equivalent:
(i) For every N-proper ideal b of R, the b-symbolic topology is linearly equivalent to the
b-adic topology.
(ii) dim N ≤ 1 and AssRp Np consists of a single prime ideal, for all p ∈ Supp(N).
Proof. Suppose that (i) holds. Firstly, we show that dim N ≤ 1. To achieve this, suppose the contrary is true. That isSdim N > 1. Then there exists p ∈ Supp(N) such
that heightN p > 1. Hence p * q∈mAssR N q, and so there exists x ∈ p such that
S
x 6∈ q∈mAssR N q. Now, since p ∈ Ā∗ (p, N) and xN 6= N, it follows from Proposition
2.1 that p ∈ Ā∗ (xp, N). Therefore,
in view of [1, Theorem 3.17] we have p ∈ E(xp, N).
S
On other hand, since x 6∈ q∈mAssR N q, it is easily seen that p 6∈ mAssR N/xpN, and
so by the assumption (i) and Lemma 2.3 we have p 6∈ E(xp, N), which is a contradiction.
Hence, dim N ≤ 1. Now, we show that AssRp Np consists of a single prime ideal, for all
p ∈ Supp(N). To do this, if dim N = 0, then dim Np = 0. Hence AssRp Np = {pRp }, as
required. Consequently, we have dim Np = 1. Now, if AssRp Np has at least two elements,
then in view of Lemma 2.2 there exists an ideal aRp of Rp such that pRp ∈ Q(aRp , Np )
but pRp 6∈ mAssRp Np /aRp . Therefore, in view of [1, Lemma 3.2 and Theorem 3.17],
p ∈ E(a, N) \ mAss N/aN, which is a contradiction.
In order to show the implication (ii)=⇒(i), in view of Lemma 2.3 it is enough for us to
show that E(b, N) = mAss N/bN. To this end, let p ∈ E(b, N). By virtue of [1, Lemma
3.2], we may assume that (R, p) is local.
Firstly, suppose dim N = 0. Then it readily follows that p ∈ mAss N/bN, as required. So
we may assume that dim N = 1. There are two cases to consider:
Case 1. b * ZR (N). Then grade(b, N) > 0. Since dim N = 1, it follows that
heightN b = 1, and so b + AnnR N is p-primary. Hence p ∈ mAss N/bN, as required.
Case 2. Now, suppose that b ⊆ ZR (N). Then there exists z ∈ AssR N such that
b ⊆ z. Since AssR N consists of a single prime ideal, so AssR N = {z}. Hence in view of
[1, Proposition 3.6], p/z ∈ E(b + z/z, R/z). Since b ⊆ z, it follows from [4, Remark 2.3]
that p = z, which is a contradiction, because dim N = 1. Consequently, b * ZR (N) and
the claim holds.

Acknowledgments
The authors would like to thank Professor Kamran Divaani-Aazar for reading of the first
draft and valuable discussions. Also, the authors would like to thank from the Institute
for Research in Fundamental Sciences (IPM), for the financial support.

LINEARLY EQUIVALENT IDEAL TOPOLOGIES

5

References
[1] S. H. Ahn, Asymptotic primes and asymptotic grade on modules, J. Algebra 174 (1995), 980-998.
[2] A. Azari, S. Mollamahmoudi and R. Naghipour, Symbolic powers of ideals and their topology over
a module, submitted.
[3] W. Bruns and J. Herzog, Cohen-Macaulay Rings, Cambridge Studies in Advanced Mathematics,
Vol. 39, Cambridge Univ. Press, Cambridge, UK, 1998.
[4] D. Katz and L.J. Ratliff, U-essential prime divisors and sequences over an ideal, Nagoya Math. J.
103 (1986), 39-66.
[5] S. McAdam, Asymptotic Prime Divisors, Lecture Notes in Math. No. 1023, Springer-Verlag, New
York, 1983.
[6] S. McAdam, Quintasymptotic primes and four results of Schenzel, J. Pure and Appl. Algebra 47
(1987), 283-298.
[7] M. Nagata, Local Rings, Interscience, New York, 1961.
[8] R. Naghipour, Locally unmixed modules and ideal topologies, J. Algebra 236 (2001), 768-777.
[9] R. Naghipour, Quintessntial primes and ideal topologies over a module, Comm. Algebra 29 (2001),
3495-3506.
[10] R. Naghipour, Associated primes, integral closures and ideal topologies, Coll. Math. 105 (2006),
35-43.
[11] R. Naghipour and P. Schenzel, Asymptotic behaviour of integral closures, quintasymptotic primes
and ideal topologies, submitted.
[12] D.G. Northcott and D. Rees, Reductions of ideals in local rings, Proc. Cambridge Philos. Soc. 50
(1954), 145-158.
[13] L. J. Ratliff, Jr., On asymptotic prime divisors, Pacific J. Math. 111 (1984), 395-413.
[14] R. Y. Sharp, Y. Tiras and M. Yassi, Integral closures of ideals relative to local cohomology modules
over quasi-unmixed local rings, J. London Math. Soc. 42 (1990), 385-392.
Department of Mathematics, University of Tabriz, Tabriz, Iran, and School of Mathematics, Institute for Research in Fundamental Sciences (IPM), P.O. Box: 19395-5746,
Tehran, Iran.
E-mail address: adeleh azari@yahoo.com (Adeleh Azari)
E-mail address: mahmoudi.simin@yahoo.com (Simin Mollamahmoudi)
E-mail address: naghipour@ipm.ir (Reza Naghipour)
E-mail address: naghipour@tabrizu.ac.ir (Reza Naghipour)

