검색
Article Search

JMB Journal of Microbiolog and Biotechnology

OPEN ACCESS eISSN 0454-8124
pISSN 1225-6951
QR Code

Article

Kyungpook Mathematical Journal 2021; 61(3): 487-494

Published online September 30, 2021

Copyright © Kyungpook Mathematical Journal.

Some Extensions of Rings with Noetherian Spectrum

Min Ji Park, Jung Wook Lim*

Department of Mathematics, College of Life Science and Nano Technology, Hannam University, Daejeon, 34430, Republic of Korea
e-mail : mjpark5764@gmail.com

Department of Mathematics, College of Natural Sciences, Kyungpook National University, Daegu, 41566, Republic of Korea
e-mail : jwlim@knu.ac.kr

Received: December 20, 2019; Revised: April 29, 2020; Accepted: May 4, 2020

In this paper, we study rings with Noetherian spectrum, rings with locally Noetherian spectrum and rings with t-locally Noetherian spectrum in terms of the polynomial ring, the Serre's conjecture ring, the Nagata ring and the t-Nagata ring. In fact, we show that a commutative ring R with identity has Noetherian spectrum if and only if the Serre's conjecture ring R[X]U has Noetherian spectrum, if and only if the Nagata ring R[X]N has Noetherian spectrum. We also prove that an integral domain D has locally Noetherian spectrum if and only if the Nagata ring D[X]N has locally Noetherian spectrum. Finally, we show that an integral domain D has t-locally Noetherian spectrum if and only if the polynomial ring D[X] has t-locally Noetherian spectrum, if and only if the t-Nagata ring D[X]Nv has (t-)locally Noetherian spectrum.

Keywords: radically finite ideal, Noetherian spectrum, (t-)locally Noetherian spectrum, Serre's conjecture ring, (t-)Nagata ring, finite (t-)character.

1.1. Star-operations

To help readers better understanding this paper, we briefly review some definitions and notation related to star-operations. Let D be an integral domain with quotient field K and let F(D) be the set of nonzero fractional ideals of D. For an element IF(D), set I1={xK|xID}. The mapping on F(D) defined by IIv=(I1)1 is called the v-operation on D; and the mapping on F(D) given by IIt={Jv|J is a nonzero finitely generated fractional subideal of I} is called the t-operation on D. It is easy to see that IItIv for all IF(D); and if an element IF(D) is finitely generated, then Iv=It. An element IF(D) is said to be a t-ideal of D if It=I. A maximal t-ideal of D means a t-ideal of D which is maximal among proper integral t-ideals of D. It is well known that a maximal t-ideal of D always exists if D is not a field. We say that D is of finite character (respectively, of finite t-character) if each nonzero nonunit in D belongs to only finitely many maximal ideals (respectively, maximal t-ideals) of D.

1.2. Rings with Noetherian Spectrum

Let R be a commutative ring with identity. Recall that an ideal I of R is radically finite if I=F for some finitely generated ideal F of R; and R is said to have Noetherian spectrum if each ideal of R is radically finite. It is easy to see that an ideal I of R is radically finite if and only if I=F for some finitely generated subideal of I. It was shown in [9, Corollary 2.4] that R has Noetherian spectrum if and only if every prime ideal of R is radically finite, if and only if every radical ideal of R is radically finite. Also, it is well known that a class of rings with Noetherian spectrum contains Noetherian rings and SFT rings. (Recall that R is a Noetherian ring if it satisfies the ascending chain condition on integral ideals of R (or equivalently, every (prime) ideal of R is finitely generated); and R is a strong finite type ring (SFT ring) if for each (prime) ideal I of R, there exist an integer n ≥ 1 and a finitely generated subideal F of I such that anF for all aI.) For more on rings with Noetherian spectrum, the readers can refer to [9].

We say that an integral domain D has locally Noetherian spectrum (respectively, t-locally Noetherian spectrum) if DM has Noetherian spectrum for all maximal ideals (respectively, maximal t-ideals) M of D.

The purpose of this paper is to study rings with Noetherian spectrum, rings with locally Noetherian spectrum and rings with t-locally Noetherian spectrum in terms of the polynomial ring, the Serre's conjecture ring, the Nagata ring and the t-Nagata ring. (The concepts of the Serre's conjecture ring, the Nagata ring and the t-Nagata ring will be reviewed in Section.) More precisely, we prove the following three statements.

  • (1) A commutative ring R with identity has Noetherian spectrum if and only if the Serre's conjecture ring R[XU] has Noetherian spectrum, if and only if the Nagata ring R[XN] has Noetherian spectrum.

  • (2) An integral domain D has locally Noetherian spectrum if and only if the Nagata ring D[XN] has locally Noetherian spectrum.

  • (3) An integral domain D has t-locally Noetherian spectrum if and only if the polynomial ring D[X] has t-locally Noetherian spectrum, if and only if the t-Nagata ring D[XNv] has (t-)locally Noetherian spectrum.

We start this section with a simple result for a quotient ring of a ring with Noetherian spectrum. While the result follows from [4, Proposition 2.1] and the fact that a ring with Noetherian spectrum has S-Noetherian spectrum, we insert the proof for the sake of completeness. (For a commutative ring R with identity and a multiplicative subset S of R, recall that R has S-Noetherian spectrum if for each ideal I of R, there exist an element s ∈ S and a finitely generated ideal J of R such that sIJI.)

Lemma 1. Let R be a commutative ring with identity and let S be a (not necessarily saturated) multiplicative subset of R. If R has Noetherian spectrum, then RS also has Noetherian spectrum.

Proof. Let A be an ideal of RS. Then A=IRS for some ideal I of R. Since R has Noetherian spectrum, I=F for some finitely generated ideal F of R; so we obtain

A=IRS=IRS=FRS=FRS.

Note that FRS is a finitely generated ideal of RS. Hence A is a radically finite ideal of RS. Thus RS has Noetherian spectrum.

Let R be a commutative ring with identity. Then we denote by Max(R) the set of maximal ideals of R.

We study the local-global property of rings with Noetherian spectrum.

Let D be an integral domain. Then the following statements hold.

  • (1) If D has Noetherian spectrum, then D has locally Noetherian spectrum.

  • (2) Suppose that D is of finite character. If D has locally Noetherian spectrum, then D has Noetherian spectrum.

Proof. (1) This comes directly from Lemma 1.

(2) Let I be an ideal of D and let a be a nonzero nonunit element of I. Since D is of finite character, there exist only a finite number of maximal ideals of D containing a, say M1,,Mn. Fix an index k{1,,n}. Since D has locally Noetherian spectrum, IDMk=FkDMk for some finitely generated subideal Fk of I. By letting C=(a)+F1++Fn, we obtain that IDMk=CDMk. Let M be a maximal ideal of D which is distinct from M1,,Mn. Then a is a unit in DM; so IDM=DM=CDM. Therefore we have

IDM=IDM=CDM=CDM

for all maximal ideals M of D. Hence we have

I= MMax(D)IDM= MMax(D)CDM=C,

where the first and the third equalities follow from [6, Proposition 2.8(3)]. Note that C is a finitely generated ideal of D. Thus I is a radically finite ideal of D, which indicates that D has Noetherian spectrum.

Let D be an integral domain. Recall that D is an almost Dedekind domain if DM is a Noetherian valuation domain for all maximal ideals M of D; and D is an SP domain if each proper ideal of D can be expressed as a product of radical ideals of D. It was shown that any SP domain is an almost Dedekind domain [10, Theorem 2.4]; and an almost Dedekind domain D is an SP domain if and only if for any proper finitely generated ideal I of D, I is a finitely generated ideal of D.

The next example shows that the converse of Theorem 2(1) does not hold in general. This also indicates that the condition "D is of finite character" in Theorem 2(2) is essential.

Example 3.Let D be an almost Dedekind domain as in [5, Example 2.2].

  • (1) Note that DM is a Noetherian domain for all maximal ideals M of D; so D has locally Noetherian spectrum.

  • (2) Note that D is an SP domain[10, Theorem 3.4] but D is not a Noetherian domain [9, Example 2.2]. Hence D is not of finite character [3, Theorem 37.2].

  • (3) Let M be a nonfinitely generated maximal ideal of D. If D has Noetherian spectrum, then M=F for some finitely generated ideal F of D. However, M is a finitely generated ideal of D, because D is an SP domain. This is a contradiction. Thus D does not have Noetherian spectrum.

Let R be a commutative ring with identity and let R[X] be the polynomial ring over R. Let U be the set of monic polynomials in R[X]. Then U is a multiplicative subset of R[X] and the quotient ring R[X]U is called the Serre's conjecture ring of R. For an element fR[X], c(f) denotes the content ideal of f, i.e., the ideal of R generated by the coefficients of f. Let N={fR[X]|c(f)=R}. Then it was shown that N=R[X] MMax(R)MR[X] and N is a saturated multiplicative subset of R[X] consisting of regular elements of R[X] [8, pages 17 and 18] (or [6, Proposition 2.1(1)]). The quotient ring R[X]N is called the Nagata ring of R. For more on the Nagata ring, the readers can refer to [6] and [8].

Lemma 4. Let R be a commutative ring with identity and let N={fR[X]|c(f)=R}. If I is an ideal of R, then IR[X]NR=I.

Proof It is clear that IIR[X]NR; so it remains to show that IR[X]NRI. Let aIR[X]NR. Then anIR[X]N for some integer n ≥ 1. Since N consists of regular elements in R[X], angIR[X] for some g ∈ N. Therefore we obtain

anc(g)=c(ang)I.

Since c(g)=R, an ∈ I. Hence aI, which indicates that IR[X]NRI. Thus the proof is complete.

We are now ready to study the Serre's conjecture ring and the Nagata ring of rings with Noetherian spectrum.

Theorem 5.Let R be a commutative ring with identity, U the set of monic polynomials in R[X] and N={fR[X]|c(f)=R}. Then the following statements are equivalent.

  • (1) R has Noetherian spectrum.

  • (2) R[X] has Noetherian spectrum.

  • (3) R[X]U has Noetherian spectrum.

  • (4) R[X]N has Noetherian spectrum.

Proof (1) (2) The result appears in [9, Theorem 2.5].

(2) (3) This implication follows directly from Lemma 1.

(3) (4) Note that N contains U; so the implication follows from Lemma 1.

(4) (1) Let I be an ideal of R. Then IR[X]N is an ideal of R[X]N. Since R[X]N has Noetherian spectrum, there exists a finitely generated subideal A of IR[X] such that IR[X]N=AR[X]N. Let F be a finitely generated subideal of I such that AFR[X]. Then IR[X]N=FR[X]N. Therefore by Lemma 4, we obtain

I=IR[X]NR=FR[X]NR=F.

Hence I is a radically finite ideal of R. Thus R has Noetherian spectrum.

Lemma 6. Let D be a quasi-local domain with unique maximal ideal M and let I be an ideal of D. Then the following assertions hold.

  • (1) ID[X]MD[X]D=I.

  • (2) I is a radically finite ideal of D if and only if ID[X]MD[X] is a radically finite ideal of D[X]MD[X]].

Proof. (1) The containment IID[X]MD[X]D is obvious. For the reverse containment, let aID[X]MD[X]D. Then anID[X]MD[X] for some integer n ≥ 1; so anfID[X] for some fD[X]MD[X]. Note that c(f)M; so c(f)=D because D is a quasi-local domain. Therefore we obtain

ananc(f)=c(anf)I.

Hence aI. Thus the desired equality holds.

(2) () Suppose that I is a radically finite ideal of D. Then there exists a finitely generated ideal F of D such that I=F. Hence we obtain

ID[X]MD[X]=ID[X]MD[X]=FD[X]MD[X]=FD[X]MD[X].

Note that FD[X]MD[X] is a finitely generated ideal of D[X]MD[X]. Thus ID[X]MD[X] is a radically finite ideal of D[X]MD[X].

() Suppose that ID[X]MD[X] is a radically finite ideal of D[X]MD[X]. Then there exist f1,,fnID[X] such that ID[X]MD[X]=(f1,,fn)D[X]MD[X]. Since c(fk)I for all k{1,,n}, we obtain

ID[X]MD[X]=(c(f1)++c(fn))D[X]MD[X].

Hence by (1), we obtain

I=ID[X]MD[X]D  =(c(f1)++c(fn))D[X]MD[X]D  =c(f1)++c(fn).

Note that c(f1)++c(fn) is a finitely generated ideal of D. Thus I is a radically finite ideal of D.

We next investigate the Nagata ring of a ring with locally Noetherian spectrum.

Theorem 7. Let D be an integral domain and let N={fD[X]|c(f)=D}. Then the following statements are equivalent.

  • (1) D has locally Noetherian spectrum.

  • (2) D[X]N has locally Noetherian spectrum.

Proof. (1) (2) Let Q be a maximal ideal of D[X]N. Then Q=MD[X]N for some maximal ideal M of D [8, (6.17)(4)] (or [6, Proposition 2.1(2)]). Since D has locally Noetherian spectrum, DM has Noetherian spectrum; so by Theorem 5, DM[X] has Noetherian spectrum. Hence by Lemma 1, DM[X]MDM[X] has Noetherian spectrum. Note that (D[X]N)Q=D[X]MD[X]=DM[X]MDM[X] [1, Lemmas 1 and 2]; so (D[X]N)Q has Noetherian spectrum. Thus D[X]N has locally Noetherian spectrum.

(2) (1) Let M be a maximal ideal of D. Then MD[X]N is a maximal ideal of D[X]N [8, (6.17)(4)] (or [6, Proposition 2.1(2)]). Since D[X]N has locally Noetherian spectrum, (D[X]N)MD[X]N has Noetherian spectrum. Note that (D[X]N)MD[X]N=D[X]MD[X]=DM[X]MDM[X] [1, Lemmas 1 and 2]; so DM[X]MDM[X] has Noetherian spectrum.

Let I be an ideal of DM. Then IDM[X]MDM[X] is an ideal of DM[X]MDM[X]. Since DM[X]MDM[X] has Noetherian spectrum, IDM[X]MDM[X] is a radically finite ideal of DM[X]MDM[X]. Since DM is a quasi-local domain with maximal ideal MDM, I is a radically finite ideal of DM by Lemma 6(2). Hence DM has Noetherian spectrum. Thus D has locally Noetherian spectrum.

Let D be an integral domain and let Nv={fD[X]|c(f)v=D}. Then Nv is a saturated multiplicative subset of D[X] [6, Proposition 2.1(1)] and the quotient ring D[X]Nv is called the t-Nagata ring of D.

We study Hilbert basis theorem for a ring with t-locally Noetherian spectrum and the t-Nagata ring of a ring with t-locally Noetherian spectrum.

Theorem 8.Let D be an integral domain and let Nv={fD[X]|c(f)v=D}. Then the following statements are equivalent.

  • (1) D has t-locally Noetherian spectrum.

  • (2) D[X] has t-locally Noetherian spectrum.

  • (3) D[X]Nv has locally Noetherian spectrum.

  • (4) D[X]Nv has t-locally Noetherian spectrum.

Proof. (1) (2) Let M be a maximal t-ideal of D[X].

Case 1. MD=(0). Let K be the quotient field of D. Then D[X]M is a quotient ring of K[X]; so D[X]M is a principal ideal domain. Hence D[X]M has Noetherian spectrum.

Case 2. MD(0). Let P=MD. Then M=PD[X] and P is a maximal t-ideal of D [2, Proposition 2.2]. Since D has t-locally Noetherian spectrum, DP has Noetherian spectrum; so by Theorem 5, DP[X] has Noetherian spectrum. Hence by Lemma 1, DP[X]PDP[X] has Noetherian spectrum. Note that D[X]M=DP[X]PDP[X] [1, Lemma 2]; so D[X]M has Noetherian spectrum.

In either case, D[X]M has Noetherian spectrum. Thus D[X] has t-locally Noetherian spectrum.

(2) (3) Let Q be a maximal ideal of D[X]Nv. Then Q=MD[X]Nv for some maximal t-ideal M of D [6, Proposition 2.1(2)]. Note that (D[X]Nv)Q=(D[X]Nv)MD[X]Nv=D[X]MD[X] [1, Lemma 1] and MD[X] is a maximal t-ideal of D[X] [2, Proposition 2.2]. Since D[X] has t-locally Noetherian spectrum, D[X]MD[X] has Noetherian spectrum. Hence (D[X]Nv)Q has Noetherian spectrum. Thus D[X]Nv has locally Noetherian spectrum.

(3) (1) Let M be a maximal t-ideal of D. Then MD[X]Nv is a maximal ideal of D[X]Nv 6, Proposition 2.1(2)]. Since D[X]Nv has locally Noetherian spectrum, (D[X]Nv)MD[X]Nv has Noetherian spectrum. Note that (D[X] Nv)MD[X] Nv=D[X]MD[X]=DM[X]MDM[X] [1, Lemmas 1 and 2]; so DM[X]MDM[X] has Noetherian spectrum.

Let I be an ideal of DM. Then IDM[X]MDM[X] is an ideal of DM[X]MDM[X]. Since DM[X]MDM[X] has Noetherian spectrum, IDM[X]MDM[X] is a radically finite ideal of DM[X]MDM[X]. Since DM is a quasi-local domain with maximal ideal MDM, Lemma 6(2) forces I to be a radically finite ideal of DM. Hence DM has Noetherian spectrum. Thus D has t-locally Noetherian spectrum.

(3) (4) This equivalence follows directly from the fact that the set of maximal t-ideals of D[X]Nv is precisely the same as the set of maximal ideals of D[X]Nv (cf. [6, Propositions 2.1(2) and 2.2(3)]).

Corollary 9. (cf. Theorems 2(2) and 5) Let D be an integral domain. Let N={fD[X]|c(f)=D} and let Nv={fD[X]|c(f)v=D}. Then the following assertions hold.

  • (1) D has locally Noetherian spectrum and is of finite character if and only if D[X]N has locally Noetherian spectrum and is of finite character.

  • (2) D has t-locally Noetherian spectrum and is of finite t-character if and only if D[X]Nv has locally Noetherian spectrum and is of finite character.

Proof. (1) Note that D is of finite character if and only if D[X]N is of finite character [7, Lemma 8(1)]. Thus the equivalence is an immediate consequence of Theorem 7.

(2) Note that D is of finite t-character if and only if D[X]Nv is of finite character [7, Lemma 8(2)]. Thus the equivalence comes directly from Theorem 8.

The authors sincerely thank the referee for valuable comments. The second author was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (2017R1C1B1008085).

  1. J. T. Arnold, On the ideal theory of the Kronecker function ring and the domain D(X), Canadian J. Math., 21(1969), 558-563.
    CrossRef
  2. M. Fontana, S. Gabelli, and E. Houston, UMT-domains and domains with Prüfer integral closure, Comm. Algebra, 26(1998), 1017-1039.
    CrossRef
  3. R. Gilmer, Multiplicative Ideal Theory, Queen’s Papers in Pure Appl. Math., vol. 90, Queen’s University, Kingston, Ontario, 1992.
  4. A. Hamed, S-Noetherian spectrum condition, Comm. Algebra, 46(2018), 3314-3321.
    CrossRef
  5. W. Heinzer and J. Ohm, Locally Noetherian commutative rings, Trans. Amer. Math. Soc., 158(1971), 273-284.
    CrossRef
  6. B. G. Kang, Prüfer v-multiplication domains and the ring R[X]Nv , J. Algebra, 123(1989), 151-170.
    CrossRef
  7. J. W. Lim, A note on S-Noetherian domains, Kyungpook Math. J., 55(2015), 507-514.
    CrossRef
  8. M. Nagata, Local Rings, Interscience Tracts in Pure and Appl. Math., No. 13, Inter-science Publishers, a division of John Wiley & Sons, New York and London, 1962.
  9. J. Ohm and R. L. Pendleton, Rings with Noetherian spectrum, Duke Math. J., 35(1968), 631-639.
    CrossRef
  10. N. Vaughan and R. W. Yeagy, Factoring ideals into semiprime ideals, Canadian J. Math., 30(1978), 1313-1318.
    CrossRef