*w-Noetherian domain" /> *w

JMB Journal of Microbiolog and Biotechnology

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

Article

Kyungpook Mathematical Journal 2023; 63(4): 571-575

Published online December 31, 2023 https://doi.org/10.5666/KMJ.2023.63.4.571

Copyright © Kyungpook Mathematical Journal.

On *w-Finiteness Conditions

Jung Wook Lim

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

Received: July 14, 2023; Accepted: July 31, 2023

Let D be an integral domain and let * be a star-operation on D. In this article, we give new characterizations of *w-Noetherian domains and *w-principal ideal domains. More precisely, we show that D is a *w-Noetherian domain (resp., *w-principal ideal domain) if and only if every *w-countable type ideal of D is of *w-finite type (resp., principal).

Keywords: *w-Noetherian domain, *w

1.1 Star-operations

In this subsection, we review some terminology for 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. A star-operation on D is a mapping II* from F(D) into itself which satisfies the following three conditions for all 0aK and all I,JF(D):

  • (1) (a)*=(a) and (aI)*=aI*;

  • (2) II*, and if IJ, then I*J*; and

  • (3) (I*)*=I*.

The most important examples of star-operations are the d-operation, the v-operation and the w-operation. The d-operation is just the identity mapping, i.e., IId:=I. For an element IF(D), let I1={aK|aID}. The v-operation is the mapping defined by IIv:=(I1)1. The w-operation is the mapping defined by IIw:={aK|JaI for some nonzero finitely generated ideal J of D with Jv=D}. Given any star-operation * on D, we can construct a new star-operation *w induced by *. For all IF(D), the *w-operation is the mapping defined by II*w:={aK|JaI for some JGV*(D)}, where GV*(D) is the set of nonzero finitely generated ideals J of D with J*=D. An element of GV*(D) is called a *-Glaz-Vasconcelos ideal (*-GV-ideal) of D. When *=d (resp., *=v), the *w-operation is precisely the same as the d-operation (resp., w-operation).

Let D be an integral domain and let * be a star-operation on D. Then * is said to be of finite character (or finite type) if I*={J*|J is a nonzero finitely generated subideal of I} for all IF(D). It was shown in [1, Theorem 2.7] that the *w-operation is of finite character. An element IF(D) is called a *-ideal if I*=I. We say that a *-ideal I of D is of *-finite type (resp., *-countable type) if I=J* for some finitely generated subideal (resp., countably generated subideal) J of I.

The readers can refer to [3] for star-operations and to [1, 5] for *w-operations.

1.2 *w-Noetherian domains and *w-principal ideal domains

In commutative algebra, finiteness conditions play important roles. Especially, Noetherian rings and principal ideal domains have been studied by many mathematicians. Due to their importance, there were several attempts to generalize finiteness conditions in order to extend well-known results and to find new algebraic structures. One of them is to use star-operations. In fact, many integral domains can be easily characterized by using star-operations. Let D be an integral domain and let * be a star-operation on D. Recall that D is a *w-Noetherian domain if D satisfies the ascending chain condition on integral *w-ideals (or equivalently, every *w-ideal of D is of *w-finite type [10, Theorem 1.1]). In particular, if *=d (resp., *=v), then the concept of *w-Noetherian domains is exactly the same as that of Noetherian domains (resp., strong Mori domains (SM-domains)). Also, we say that D is a *w-principal ideal domain (*w-PID) if every *w-ideal of D is principal. In particular, if *=d (resp., *=v), then the notion of *w-PIDs is precisely the same as that of PIDs (resp., unique factorization domains (UFDs)) (cf. [6, p. 284]).

The purpose of this article is to indicate that in order to show that an integral domain is a *w-Noetherian domain or a *w-PID, it is enough to check *w-countable type ideals. In fact, we show that an integral domain D is a *w-Noetherian domain (resp., *w-PID) if and only if every *w-countable type ideal of D is of *w-finite type (resp., principal). We also remark that the condition `*w-countable type' in the *w-PID case cannot be reduced to `*w-finite type'.

Our first result is a characterization of *w-Noetherian domains.

Theorem 2.1. Let D be an integral domain and let * be a star-operation on D.

Then the following statements are equivalent.

  • (1) D is a *w-Noetherian domain.

  • (2) Every *w-countable type ideal of D is of *w-finite type.

Proof. (1) (2) This implication follows from the definition of *w-Noetherian domains.

(2) (1) Suppose that every *w-countable type ideal of D is of *w-finite type and deny the conclusion. Let I be a *w-ideal of D that is not of *w-finite type and choose any element a1I. Then (a1)I, because I is not of *w-finite type. Let a2I(a1). Then (a1,a2)*wI, because I is not of *w-finite type. By repeating this process, we obtain a subset {an|n} of I such that an+1I(a1,,an)*w for all n1. Let A=({an|n})*w. Then A is a *w-countable type ideal of D. By the assumption, A is of *w-finite type; so A=(b1,,bm)*w for some b1,,bmA. For each i=1,,m, there exists an element JiGV*(D) such that Jibi({an|n}). Let J=J1Jm. Then J is a *-GV-ideal of D [5, Lemma 2.3(3)] and J(b1,,bm)({an|n}). Since J and (b1,,bm) are finitely generated, J(b1,,bm)(a1,,al) for some positive integer ℓ; so (b1,,bm)*w(a1,,al)*w. Therefore A=(a1,,al)*w. Hence al+1(a1,,al)*w. However, this contradicts the choice of al+1. Thus D is a *w-Noetherian domain.

Let D be an integral domain. Recall that D is a Noetherian domain (resp., strong Mori domain (SM-domain)) if D satisfies the ascending chain condition on integral ideals (resp., integral w-ideals) (or equivalently, every ideal (resp., w-ideal) of D is finitely generated (resp., of w-finite type)). By applying *=d or *=v to Theorem 2.1, we obtain

Corollary 2.2. Let
D
be an integral domain. Then the following assertions are equivalent.

  • (1) D is a Noetherian domain(resp., SM-domain).

  • (2) Every countably generated ideal(resp., w-countable type ideal) of D is finitely generated(resp., of w-finite type).

We next give a characterization of *w-PIDs.

Theorem 2.3. Let D be an integral domain and let * be a star-operation on D.

Then the following statements are equivalent.

  • (1) D is a *w-PID.

  • (2) Every *w-countable type ideal of D is principal.

Proof. (1) (2) This implication is obvious by the definition of *w-PIDs.

(2) (1) Suppose to the contrary that D is not a *w-PID and let I be a *w-ideal of D which is not principal. Write I=({aλ|λΛ})*w, where Λ is an uncountable set of ordinal numbers. Let 𝒜={αΛ|({aλ|λ<α})*w({aλ|λα})*w}. Then I=({aα|α𝒜})*w. If 𝒜 is a finite set, then I is of *w-finite type; so by (2), I is principal. This is a contradiction to the choice of I. Hence 𝒜 is an infinite set. Let {αn|n} be any subset of 𝒜, where αn<αn+1 for all n1. Let C=({aαn|n}). Then by (2), C*w=(c) for some cD; so there exists a *-GV-ideal J of D such that JcC. Since J is finitely generated, Jc({aα1,,aαm}) for some positive integer m; so c({aα1,,aαm})*w. Therefore C*w=({aα1,,aαm})*w. Hence aαm+1({aα1,,aαm})*w, which is absurd. Thus D is a *w-PID.

Let D be an integral domain and let * be a star-operation on D. We say that D is a *w-Bézout domain if every *w-finite type ideal of D is principal. The next result is an immediate consequence of Theorems 2.1 and 2.3.

Corollary 2.4.

([2, Remark 3.2(4)]) Let D be an integral domain and let * be a star-operation on D. Then the following assertions are equivalent.

  • (1) D is a *w-PID.

  • (2) D is both a *w-Noetherian domain and a *w-Bézout domain.

Let D be an integral domain. Recall that D is a Bézout domain (resp., GCD-domain) if every finitely generated ideal (resp., w-finite type ideal) of D is principal. Also, it was shown in [9, Theorem 7.9.5] that D is a UFD if and only if every w-ideal of D is principal. By applying *=d or *=v to Theorem 2.3 and Corollary 2.4, we obtain

Corollary 2.5. Let D be an integral domain. Then the following conditions are equivalent.

  • (1) D is a PID (resp., UFD).

  • (2) Every countably generated ideal (resp., w-countable type ideal) of D is principal.

  • (3) D is both a Noetherian domain (resp., SM-domain) and a Bézout domain (resp., GCD-domain).

At this point, it is natural to ask if the condition `*w-countable type' in Theorem 2.3 can be reduced to `*w-finite type'. We are closing this article with the following examples which show that the condition cannot be reduced.

Example 2.6. (1) Let V be a one-dimensional nondiscrete valuation domain and let * be any star-operation on V. Then *w=d. (To see this, let I𝐅(V) and let aI*w. Then we can find a *-GV-ideal J of V such that JaI. Since J is finitely generated, J is principal. Since J*w=V, J=V; so aI. Hence I*w=I.) Note that V is a nonNoetherian Bézout domain; so by Corollary 2.5, V is not a PID.

Thus V is a *w-Bézout domain which is not a *w-PID.

(2) Let E be the ring of entire functions. Then E is a Bézout domain which is not a PID. Moreover, E is a GCD-domain that is not a UFD.

(3) Let be the ring of integers and let be the field of rational numbers. Then +X[X] is a GCD-domain [7, Theorem 2.5] which is not a UFD [8, Corollary 3.6].

(4) Let F be any field and let 0 be the semigroup of nonnegative rational numbers. Then the semigroup ring F[0] is a GCD-domain which is not a UFD [4, Theorems 14.5 and 14.16].

  1. D. D. Anderson and S. J. Cook, Two star-operations and their induced lattices, Comm. Algebra, 28(2000), 2461-2475.
    CrossRef
  2. S. El Baghdadi, Semistar GCD domains, Comm. Algebra, 38(2010), 3029-3044.
    CrossRef
  3. R. Gilmer. Multiplicative Ideal Theory. Queen's Papers in Pure Appl. Math. Kingston, Ontario, Canada: Queen's University; 1992.
  4. R. Gilmer. Commutative Semigroup Rings. Chicago and London: The Univ. of Chicago Press; 1984.
  5. C. J. Hwang and J. W. Lim, A note on *w-Noetherian domains, Proc. Amer. Math. Soc., 141(2013), 1199-1209.
    CrossRef
  6. B. G. Kang, On the converse of a well-known fact about Krull domains, J. Algebra, 124(1989), 284-299.
    CrossRef
  7. J. W. Lim, The D+E[Γ*] construction from Prüfer domains and GCD-domains, C. R. Math. Acad. Sci. Paris, 349(2011), 1135-1138.
    CrossRef
  8. J. W. Lim and D. Y. Oh, Chain conditions in special pullbacks, C. R. Math. Acad. Sci. Paris, 350(2012), 655-659.
    CrossRef
  9. F. Wang and H. Kim. Foundations of Commutative Rings and Their Modules. Algebra and Applications. Singapore: Springer; 2016.
    CrossRef
  10. M. Zafrullah, Ascending chain conditions and star operations, Comm. Algebra, 17(1989), 1523-1533.
    CrossRef