arxiv: v1 [math.ac] 17 Oct 2017

Transcription

1 ON -POWER CONDUCTOR DOMAINS arxiv: v1 [math.ac] 17 Oct 2017 D.D. ANDERSON, EVAN HOUSTON, AND MUHAMMAD ZAFRULLAH Abstract. Let D be an integral domain and a star operation defined on D. We say that D is a -power conductor domain ( -PCD) if for each pair a,b D\(0) and for each positive integer n we have Da n Db n = ((Da Db) n ). We study -PCDs and characterize them as root closed domains satisfying ((a,b) n ) 1 = (((a,b) 1 ) n ) for all nonzero a,b and all natural numbers n 1. From this it follows easily that Prüfer domains are d-pcds (where d denotes the trivial star operation), and v-domains (e.g., Krull domains) are v-pcds. We also consider when a -PCD is completely integrally closed, and this leads to new characterizations of Krulll domains. In particular, we show that a Noetherian domain is a Krull domain if and only if it is a w-pcd. introduction Let D be an integral domain with quotient field K. For a,b D \(0) and n a positive integer, it is clear that Da n Db n (Da Db) n, and it is elementary that we have equality (for all a,b,n) if D is a GCD-domain (e.g., a UFD) or a Prüfer domain. On the other hand, Krull domains, even integrally closed Noetherian domains, may allow Da n Db n (Da Db) n for some nonzero a,b and n > 1 (see [3, Section 3]). However, recalling the v-operation on the domain D, given by A v = (D : (D : A)) for nonzero fractional ideals A of D and letting D be a Krull domain, we do have Da n Db n = ((Da Db) n ) v for all nonzero a,b D and n 1. Now the v-operation is an example of a star operation. We recall the definition: DenotingbyF(D)thesetofnonzerofractionalidealsofD,amap : F(D) F(D) is a star operation if the following conditions hold for all A,B F(D) and all c K \(0): (1) (ca) = ca and D = D; (2) A A, and, if A B, then A B ; and (3) A = A. The most frequently used star operations (as well as the most important for our purposes) are the d-operation, given, for A F(D), by A d = A; the v-operation, definedabove;thet-operation,givenbya t = B v,wheretheunionistakenoverall nonzero finitely generated fractional subideals B of A; and the w-operation, given by A w = {x K xb A for some finitely generated ideal B of D with B v = D}. For any staroperation on D, we haved v, in the sense that A = A d A A v for all nonzero fractional ideals A of D. Other basic properties of -operations may be found in [11, Sections 32, 34] (but we do review much of what we use in the sequel). Date: July 24, MSC 2010: 13A05, 13A15, 13E05, 13F05, 13G05. Key words: Star operation, Prüfer domain, Krull domain, completely integrally closed domain. The second-named author was supported by a grant from the Simons Foundation (#354565). 1

2 2 D.D. ANDERSON, EVAN HOUSTON, AND MUHAMMAD ZAFRULLAH For a star operation on D, we say that D is a -power conductor domain ( -PCD) if Da n Db n = ((Da Db) n ) for all a,b D \ (0) and all positive integers n. (The reason for the conductor terminology will become clear after Definition 1.2 and Proposition 1.3 below.) As mentioned above, examples of d- PCDs include GCD-domains and Prüfer domains, while Krull domains are v-pcds. In Section 1, as a consequence of Theorem 1.6, we show that essential domains, i.e., domains possessing a family P of prime ideals with D = P P D P with each D P a valuation domain, are v-pcds. We also show (Proposition 1.11) that if D is a -PCD, then D must be root closed and that for each maximal ideal M of D, we must havem invertible, M 1 = D, orm = (M 2 ). This leads to acharacterization of -PCDs as root closed domains D satisfying ((a,b) n ) 1 = (((a,b) 1 ) n ) for all nonzero a, b D. This latter condition is obviously a weakened form of invertibility; indeed, as an easy corollary we obtain that so-called -Prüfer domains, domains D inwhicheachnonzerofinitelygeneratedidealasatisfies(aa 1 ) = D, are -PCDs. Section 2 presents examples of the subtleties involved. Among others, we give examples of d-pcds that are not integrally closed and hence not essential, v-pcds that are not d-pcds, and v-pcds with non-v-pcd localizations. In Section 3 we study complete integral closure in v-pcds and give several new characterizations of Krull domains. For example, we show that D is a Krull domain if and only if D is a v-pcd in which v-invertible ideals are t-invertible and n=1 (Mn ) v = (0) for each maximal t-ideal M of D. In Section 4 we study two notions that have appeared previously in the literature and that are closely related to the d-pcd property. We also study w-pcds and show that a Noetherian domain is a Krull domain if and only if it is a w-pcd. Finally we characterize Krull domains as w-pcds in which maximal t-ideals M are divisorial and satisfy n=1 (Mn ) w = (0). There are (at least) two rather natural ways to weaken the -PCD notion (see Definition 1.1). We show that the three notions are distinct and, where possible (and convenient), prove results in somewhat greater generality than described above. We use the following notational conventions: The term local requires a ring to have a unique maximal ideal but does not require it to be Noetherian; denotes proper inclusion; and for fractional ideals A,B of D, (A : B) = {x K xa B}, while (A : D B) = {d D da B}. 1. Weak -PCDs Throughout this section, D denotes a domain and K its quotient field. We begin with our basic definition(s). Definition 1.1. Let be a star operation on D and n a positive integer. We say that a pair a,b D \(0) satisfies n if Da n Db n = ((Da Db) n ). We then say that D (1) is a weak -PCD if for each pair a,b D \(0) there is an integer m > 1, depending on a,b, such that a,b satisfies m ; (2) satisfies n if each pair of nonzero elements of D satisfies n ; (3) is a -PCD if D satisfies n for each n 1. With the notation above, since the ideal Da n Db n is divisorial and hence a - ideal, it is clear that the inclusion Da n Db n ((Da Db) n ) holds automatically. Of course, we have equality when n = 1. It is also clear that for any n > 1, D is

3 -POWER CONDUCTOR DOMAINS 3 a -PCD D satisfies n D is a weak -PCD. In Example 2.4 below, we show that these notions are distinct when is d or v. For x,y D \ {0}, we have xy(x,y) 1 = xy(dx 1 Dy 1 ) = Dx Dy = Dx(D D(y/x)) = Dx(Dx : D Dy) = Dx(D : D D(y/x)). Hence for a,b D \(0), u = b/a, a star operation on D, and n 1, we have (using the fact that we may cancel nonzero principal ideals in equations involving star operations) Da n Db n = ((Da Db) n ) (Da n : D Db n ) = ((Da : D Db) n ) (D : D Du n ) = ((D : D Du) n ) (a n,b n ) 1 = (((a,b) 1 ) n ). Motivated by this, we state the next definition and proposition. Definition 1.2. Let be a star operation on D and n a positive integer. We say that an element u K \ (0) satisfies n if (D : D Du n ) = ((D : D Du) n ) (equivalently, (1,u n ) 1 = (((1,u) 1 ) n ) ). Proposition 1.3. Let a,b D\(0), u = b/a, and n 1. The following statements are equivalent: (1) The pair a,b satisfies n. (2) The element u satisfies n. (3) (a n,b n ) 1 = (((a,b) 1 ) n ). A consequence of the next result is that if D is a -PCD for any, then D is a v-pcd. Lemma 1.4. Let be star operations on D, a,b D \(0), and n 1. (1) If a,b satisfies n, then a,b also satisfies n. (Equivalently, if u K \(0) satisfies n, then u also satisfies n.). (2) If D is a weak -PCD (satisfies n, is a -PCD), then D is a weak -PCD, (satisfies n, is a -PCD). (3) If D is a weak -PCD (satisfies n, is a -PCD), then D is a weak v-pcd (satisfies v n, is a v-pcd). Proof. (1) Assume that a,b D\(0) satisfies n for some n. Then (Da n Db n ) = ((Da Db) n ) ((Da Db) n ) Da n Db n (since Da n Db n is divisorial and hence automatically a -ideal). Statement (2) follows from (1), and (3) follows from (2).. Proposition 1.5. Let D be a domain, and let a,b D \ (0). Then a,b satisfies m for some m > 1 if and only if there is a sequence 1 < n 1 < n 2 < such that a,b satisfies ni for each i. Hence D is a weak -PCD if and only if for each pair a,b D \(0), there is a sequence 1 < n 1 < n 2 < such that a,b satisfies ni for each i. Proof. ( ) Clear. ( ) We have Da n1 Db n1 = ((Da Db) n1 ) for some n 1 > 1. Suppose 1 < n 1 < < n k have been chosen so that Da ni Db ni = ((Da Db) ni ) for i = 1,...,k. Choose n > 1 so that (Da n k ) n (Db n k ) n = ((Da n k Db n k ) n ). Put n k+1 = n k n. Then as desired. Da n k+1 Db n k+1 = (Da n k ) n (Db n k ) n = ((Da n k Db n k ) n ) = ((((Da Db) n k ) ) n ) = ((Da Db) n kn ) = ((Da Db) n k+1 ),

4 4 D.D. ANDERSON, EVAN HOUSTON, AND MUHAMMAD ZAFRULLAH Recall that if D R is an extension of domains, then R is said to be LCM-stable over D if (Da Db)R = Ra Rb, for each a,b D, equivalently, if (D : D Du)R = (R : R Ru) for each u K \D. (LCM-stability was introduced by R. Gilmer [12] and popularized by H. Uda [20, 21].) Each flat overring of D is LCM-stable over D. Now let {D α } α A be a family of overrings of D with D = α A D α, and for each α A, let α be a star operation on D α. For a nonzero fractional ideal I of D, set I = α A (ID α) α. Then is a star operation on D [1]. Theorem 1.6. Let {D α } α A be a family of LCM-stable overrings of D with D = α A D α, and for each α A, let α be a star operation on D α. Let n 1, and let u be a nonzero element of K such that u satisfies ( α ) n for each α. Then u satisfies n (where is the star operation defined above). In particular, u satisfies v n. Proof. We have (D : D Du n ) α (D α : Dα D α u n ) = α ((D α : Dα D α u) n ) α = (((D : D Du) n )D α ) α = ((D : D Du) n ). α The in particular statement follows from Lemma 1.4. Recall that the domaind issaid tobe essential ifd = P P D P forsomefamily P of primes of D with each D P a valuation domain. Since valuation domains are d-pcds and localizations are LCM-stable, the next two results are immediate. Corollary 1.7. An essential domain D is a v-pcd. Corollary 1.8. Let n 1. If D M satisfies v n for each maximal ideal M of D, then D satisfies v n. In particular, if each D M is a v-pcd, then D is a v-pcd. The converses of both of these are false see Examples 2.4(4) and 2.6 below. But the d-pcd property holds if and only if it holds locally: Corollary 1.9. Let n 1. The following statements are equivalent. (1) D satisfies d n. (2) D S satisfies d n for each multiplicatively closed subset S of D. (3) D P satisfies d n for each prime ideal P of D. (4) D M satisfies d n for each maximal ideal M of D. The statements remain equivalent if satisfies d n is replaced by is a d-pcd. Proof. Assume that D M satisfies d n for each maximal ideal M of D. By Theorem 1.6, D satisfies n for the star operation given by A = M Max(D) AD M. However, = d in this case. Hence (4) (1). Now assume that D satisfies d n, let S be a multiplicatively closed subset of D, and let u K \ (0). Then (D S : DS D S u n ) = (D : D Du n )D S = (D : D Du) n D S = (D S : DS D S u) n. This gives (1) (2). The other implications are trivial. In orderto get the v-pcd propertyto passto quotient rings, we need a finiteness condition. Recall that D is said to be v-coherent if I 1 is a v-ideal of finite type for each nonzero finitely generated I of D. Obviously, Noetherian domains are v- coherent. More generally, Mori domains, domains satisfying the ascending chain condition on divisorial ideals, are v-coherent.

5 -POWER CONDUCTOR DOMAINS 5 Corollary Let D be a v-coherent domain and n 1. Then the following statements are equivalent. (1) D satisfies v n. (2) D S satisfies v n for every multiplicatively closed subset S of D. (3) D P satisfies v n for every prime ideal P of D. (4) D M satisfies v n for every maximal ideal M of D. (5) D M satisfies v n for every maximal t-ideal M of D. (6) There is a family P = {P} of prime ideals of D such that D = P P D P and D P satisfies v n for every P P. The statements remain equivalent if satisfies v n is replaced by is a v-pcd. Proof. Let n > 1 and u K \ (0). Assume that u satisfies v n, and let S be a multiplicatively closed subset of D. According to [6, Lemma 2.5], if A is a v-ideal of finite type in the v-coherent domain D, then A v D S = (AD S ) vs (where v S is the v-operation on D S ). Using this, we have (D S : DS D S u n ) = (D : D Du n )D S = ((D : D Du) n ) v D S = ((D : D Du) n D S ) vs = ((D S : DS D S u) n ) vs. The implication (1) (2) follows. Implications (2) (3) (4) (6) and (3) (5) (6) are trivial. Finally, (6) (1) by Theorem 1.6. In Corollary 1.9 the existence of a family P = {P} of prime ideals of D such that D = P P D P and D P is a d-pcd does not suffice to conclude that D is a d-pcd: A Krull domain D obviously has the property that D P is a d-pcd for each maximal t-ideal P of D, but such a D is a d-pcd if and only if each P n is divisorial, and a Krull domain need not have this property ([3, comment following Lemma 3.7]). (We revisit this in Section 4 below.) We shall make frequent use of the next result. For rings R S and a positive integer n, we say that R is n-root closed in S if u S \R implies u n / R, and we say that the domain D is n-root closed if D is n-root closed in K. Proposition Let D be a domain, and let be a star operation on D. (1) If u K \D satisfies n, then u n / D. (2) If D is a weak -PCD and M is a maximal ideal of D, then M must satisfy one of the following conditions: (a) M is invertible. (b) M 1 = D. (c) M = (M 2 ). (3) If D satisfies n for some n > 1 (is a -PCD), then D is n-root closed (is root closed), and each maximal ideal of D must satisfy one of the conditions above. Proof. (1) Let u K \ D, and assume that u satisfies n, n > 1. Then (D : D Du n ) = ((D : D Du) n ) (D : D Du) = (D : D Du) D. (The last equality follows since (D : D Du) is divisorial and hence a -ideal.) (2) Assume that D is a weak -PCD, let M be a maximal ideal of D, and assume that M 1 D and that M is not invertible. We may then find u M 1 \D, and we have M = (D : D Du). By hypothesis, u satisfies n for some n > 1. Since M is not invertible, we must have Mu M, whence Mu n M. By (1), u n / D, and hence M = (D : D Du n ) = ((D : D Du) n ) = (M n ). It then follows rather easily that M = (M 2 ) : M = (M n ) (M 2 ) M = ((M n ) ) = (M n ) = M.

6 6 D.D. ANDERSON, EVAN HOUSTON, AND MUHAMMAD ZAFRULLAH (3) This follows from (1) and (2). Next, we characterize (n-)root closed domains. Proposition1.12. For n 1, adomain D is n-rootclosed if and onlyif (1,u n ) 1 = ((1,u) n ) 1 for all u K (equivalently, (a n,b n ) 1 = ((a,b) n ) 1 for all nonzero a,b D). Proof. Assume that D is an n-root closed domain, and let u K. Since (1,u n ) (1,u) n, we have (1,u n ) 1 ((1,u) n ) 1. Let r (1,u n ) 1, that is, let r,ru n D. Then for 1 k n, we have (ru k ) n = r n k (ru n ) k D, and, since D is n-root closed, we obtain ru k D. Hence r ((1,u) n ) 1, as desired. Conversely, assume (1,u n ) 1 = ((1,u) n ) 1 for each u K. Then if u n D, the left side of the equation is equal to D, and the right side then puts u D. For u K, we always have (1,u n ) 1 ((1,u) n ) 1 (((1,u) 1 ) n ) for any star operation. It follows that u satisfies n if and only if both inclusions are equalities. If we combine this observation with Proposition 1.12, we obtain the following characterization of the -PCD property. Theorem A domain D satisfies n if and only if it is n-root closed and ((1,u) n ) 1 = (((1,u) 1 ) n ) for each u K. Hence D is a -PCD if and only if D is root closed and ((1,u) n ) 1 = (((1,u) 1 ) n ) for each u K and n 1. (Equivalently, D is a -PCD if and only if D is root closed and ((a,b) n ) 1 = (((a,b) 1 ) n ) for all nonzero a,b D and n 1.) Proof. If D is n-root closed and satisfies the given equality, then (D : D Du n ) = (1,u n ) 1 = ((1,u) n ) 1 = (((1,u) 1 ) n ) = ((D : D Du) n ). Conversely, if D satisfies n, then D is n-root closed, and ((1,u) n ) 1 = (1,u n ) 1 = (D : D Du n ) = ((D : D Du) n ) = (((1,u) 1 ) n ). Let be a star operation on D, and let A be a nonzero fractional ideal of D. Then A is said to be -invertible if (AA 1 ) = D. It is well-known (and easy to show) that if A is -invertible and (AB) = D for some fractional ideal B, then we must have B = A 1 ; furthermore, if n is a positive integer and we apply this fact to the equation (A n (A 1 ) n ) = D, we also have (A n ) 1 = ((A 1 ) n ). We use this equality in the following theorem. (Note that while the equality holds for -invertible ideals, it fails in general as we point out in Example 3.5 below.) Theorem Let be a star operation on D, let u K \ (0), and assume that the fractional ideal (1,u) is -invertible. Then u satisfies n for each n 1. (Equivalently, if a,b D \(0) are such that (a,b) is -invertible, then the pair a,b satisfies n for each n 1.) Proof. Begin with the equality (1,u) 2n = (1,u) n (1,u n ). Multiplying by ((1,u) 1 ) n and taking s yields((1,u) n ) = (1,u n ). Takinginversesthen yields ((1,u) n ) 1 = (1,u n ) 1, and combining this with the above-mentioned equality (with A = (1,u)), we have (1,u n ) 1 = (((1,u) 1 ) n ). This latter equation is equivalent to u satisfies n. We have the following corollary to (the proof of) Theorem Corollary Let be a star operation on D, let u K \(0), and assume that the fractional ideal (1,u) is -invertible. Then (1,u n ) = ((1,u) n ). ( Equivalently, if a,b D \(0) are such that (a,b) is -invertible, then (a n,b n ) = ((a,b) n ) ).

7 -POWER CONDUCTOR DOMAINS 7 If each nonzero finitely generated ideal of D is -invertible, then D is said to be a -Prüfer domain [2]. (Thus a v-prüfer domain is a v-domain.) Thus the next result is immediate from Theorem Corollary A -Prüfer domain is a -PCD. In particular, a v-domain is a v-pcd. It is well known that essential domains are v-domains; hence Corollary 1.16 strengthens Corollary 1.7. Since a v-pcd need not be integrally closed (see Example 2.4 below), the converse of Corollary 1.16 is false. Recall [11, Section 32] that to any star operation on D, we may associate a star operation f given by A f = B, where the union is taken over all nonzero finitely generated subideals B of A. If is a star operation on D and = f (i.e., is of finite type), it is well known that (1) each nonzero element a of D is contained in a maximal -ideal, (2) D = D P, where the intersection is taken over all maximal -ideals P of D, and (3) primes minimal over a nonzero element are -ideals. When = v, f is the well-studied t-operation. Finally, recall that a Prüfer -multiplication domain (P MD) is a domain in which each nonzero finitely generated ideal is f -invertible. Put another way, a P MD is a -Prüfer domain D in which A 1 is a finite-type -ideal for each nonzero finitely generated ideal A of D. (A -ideal I has finite type if I = J for some finitely generated subideal J of I.) Corollary A P MD is a -PCD. In particular, PvMDs are v-pcds. A domain D is called an almost GCD-domain (AGCD-domain) if for each pair a,b D \ (0) there is a positive integer n for which Da n Db n is principal [24]. We end this section by showing that within this class of domains, a v-pcd must be essential. Proposition For an AGCD domain D the following are equivalent. (1) D is a PvMD. (2) D is essential. (3) D is a v-domain. (4) D is a v-pcd. (5) D is root closed. (6) D is integrally closed. Proof. Implications (1) (2) (3) are well known. For the rest, (3) (4) by Corollary 1.16, (4) (5) by Proposition 1.11, (5) (6) by [24, Theorem 3.1], and (6) (1) by [24, Corollary 3.8]. 2. Pullbacks and examples Let T be a domain, M a maximal ideal of T, ϕ : T k := T/M the natural projection, and D a proper subring of k. Then let R = ϕ 1 (D), that is, let R be the domain arising from the following pullback of canonical homomorphisms. R T D ϕ T/M = k

8 8 D.D. ANDERSON, EVAN HOUSTON, AND MUHAMMAD ZAFRULLAH Since R and T share a nonzero ideal, they have a common quotient field, which, throughout this section, will be denoted by K. Lemma 2.1. In the diagram above, assume that D is a field and that T = (M : M). Let n > 1. Then: (1) R satisfies d n if and only if T satisfies d n, M = M 2, and D is n-root closed in k. (2) Suppose that T satisfies v n locally, (T M : MT M ) = T M, D is n-root closed in k, and for each nonzero u K, if (T M : TM T M u n ) is principal in T M, then (T M : TM T M u) is also principal. Then R satisfies v n. Proof. (1) We begin by assuming that T is local with maximal ideal M. We claim that if u K is such that u,u 1 / T, then (R : R Ru) = (T : T Tu). To verify this, suppose that t T satisfies tu T. Then t M R since u / T, and tu M R since t(tu) 1 = u 1 / T. The claim follows easily. Now assume that R satisfies d n. It is clear that M cannot be invertible in R and also that M 1 R. Hence M = M 2 by Proposition Suppose that t T satisfies ϕ(t) n D. Then t n R, whence t R and then ϕ(t) D. Hence D is n-root closed in k. We next show that T is n-root closed. For this, suppose that u K \ T and u n T. We cannot have u n R since R is n-root closed (Proposition 1.11). Hence M = (R : R Ru n ) = (R : R Ru) n M n = M. It follows that (R : R Ru) = M, whence u M 1 = (M : M) = T. Hence T is n-root closed. Finally, let y K\T. Then y n / T. If y 1 T, then (T : T Ty n ) = T(y n ) = (T : T Ty) n. If y 1 / T, then from the claim above, we have (T : T Ty n ) = (R : R Ry n ) = (R : R Ry) n = (T : T Ty) n. Therefore, T satisfies d n. For the converse, assume that T satisfies d n with M = M 2 and D n-root closed in k, and let u K \ R. First suppose that u T. It is easy to see that D n-root closed in k implies that R is n-root closed in T and hence that u n / R. We then have (R : R Ru n ) = M = M n = (R : R Ru) n. Now suppose that u / T. If u 1 R, then (R : R Ru n ) = Ru n = (R : R Ru) n, as desired. If u 1 / R, then u 1 / T (lest u 1 M R). In this case (again using the claim above), we have (R : R Ru n ) = (T : T Tu n ) = (T : T Tu) n = (R : R Ru) n. Hence R satisfies d n. This proves (1) in local case. For the general case, note that each maximal ideal of R is of the form N R, where N is a maximal ideal of T, and, for N M, R N R = T N (see, e.g., [10, Theorem 1.9]). Localizing the diagram at M yields that R M satisfies d n if and only if T M satisfies d n, M = M 2, and D is n-root closed in k. The general case now follows easily from Corollary 1.9. For (2), note that (R : M 2 ) = ((R : M) : M) = (T : M) = T, whence (M 2 ) v = T 1 = M. Also, as above, R is n-rootclosed in T. Nowsuppose that T is local, and let u K \R. If u T, then u n T \R and (R : R Ru n ) = M = (M n ) v = ((R : R Ru) n ) v. Suppose that u / T. If u 1 R, proceed as before. Assume u 1 / R and hence (see above) that u 1 / T. Even so, it is possible that (T : T Tu) = Tx for some x T. In this case, we have (R : R Ru n ) = (T : T Tu n ) = ((T : T Tu) n ) vt = (Tx) n = (T : T Tu) n = (R : R Ru) n. Finally, suppose that (T : T Tu) is not principal. At thispoint, it ishelpful to observethatif Ais anon-principalfractional ideal of T, then (A is a fractional ideal of R and) A 1 = (M : A) = (T : A). In particular,(r : R Ru) 1 = (T : (T : T Tu)). Byhypothesis,wehave(T : T Tu n )nonprincipal, and, as before, (R : R Ru n ) = (T : T Tu n ). By the observation, this yields (R : R Ru n ) 1 = (T : (T : T Tu n )) = (T : (T : T Tu) n ). Then, since (T : T Tu) n is

9 -POWER CONDUCTOR DOMAINS 9 not principal and is equal to (R : R Ru) n, we have (R : R Ru n ) 1 = ((R : R Ru) n ) 1, whence(r : R Ru n ) = (R : R Ru n ) v = ((R : R Ru) n ) v,asdesired. Thiscompletesthe proof of the local case. An easy localization argument, together with Corollary 1.8, then yields the general case. Consider the generic pullback diagram above, and assume that k is the quotient field of D. An easy calculation, or an appeal to [9, Proposition 1.8], yields the following facts: For t T, (D : D Dϕ(t)) = ϕ(r : R Rt) and ϕ 1 (D : D Dϕ(t)) = (R : R Rt). We use these in the next result. Theorem 2.2. In the diagram above, assume that T = (M : M), and let n > 1. Then R satisfies d n if and only if T,D both satisfy d n, D is n-root closed in k, and at least one of the following holds: M = M 2 or k is the quotient field of D. Proof. The case where D is a field is handled by Lemma 2.1. Suppose that D is not a field but that k is the quotient field of D, and assume that R satisfies d n. Then each localization of T at a maximal ideal agrees with a localization of R, and hence T satisfies d n by Corollary 1.9. Now let t T \R. From the remarks above, we have (D : D Dϕ(t) n ) = ϕ(r : R Rt n ) = ϕ((r : R Rt) n ) = (D : D Dϕ(t)) n. Hence D satisfies d n. Note that D is automatically n-root closed in k since it satisfies d n. For the converse, suppose that P is a maximal ideal of R. If P is incomparable to M, then P = N R for some maximal ideal N of T, and hence R P = T N satisfies d n. If P M, then, localization produces the following pullback diagram: R P D ϕ(p) T M ϕ T/M = k At this point, for the remainder of this part of the proof, we change notation and assume that D and T are local with maximal ideals ϕ(p) and M, respectively. Let u K. If u T, then (R : R Ru n ) = ϕ 1 (D : D Dϕ(u) n ) = ϕ 1 ((D : D ϕ(u)) n ) = (R : R Ru) n, as required. If u / T but u 1 R, then (R : R Ru n ) = Ru n = (R : R Ru) n. If u 1 / R, then u 1 / T, and it is easy to see that (R : R Ru n ) = (T : T Tu n ) = (T : T Tu) n = (R : R Ru) n. Therefore, R satisfies d n. Finally (and switching back to the original notation), assume that D is not a field andthat the quotientfield F ofd is properlycontainedin k. Let S := ϕ 1 (F). If R satisfies d n, then by what was proved in the preceding paragraph, S satisfies d n and (hence) D is n-root closed in F. Lemma 2.1 then yields that T satisfies d n, M = M 2, and that F is n-root closed in k; it follows that D is n-root closed in k. For the converse, assume that D and T satisfy d n, D is n-root closed in k, and M = M 2. To see that F is n-root closed in k, let x k with x n F. Write x n = d/e with d,e D. Then (ex) n = e n 1 ex n D, whence ex D, and we have x F, as desired. Lemma 2.1 then ensures that S satisfies d n, and then the preceding paragraph yields that R satisfies d n. Recall that a local domain (R,M) is a pseudo-valuation domain (PVD) if M 1 is a valuation domain with maximal ideal M [15]; V is then called the canonical valuation overring of R. It follows that a domain R is a PVD if and only if it is a pullback of the type in Lemma 2.1 with T a valuation domain [5, Proposition 2.6]. We specialize Lemma 2.1 to PVDs:

10 10 D.D. ANDERSON, EVAN HOUSTON, AND MUHAMMAD ZAFRULLAH Corollary 2.3. Let (R,M) be a PVD with canonical valuation overring V = M 1, and assume that R V. Then: (1) The following statements are equivalent. (a) R is a weak v-pcd. (b) M = M 2. (c) R is a weak d-pcd. (2) If n > 1, the following statements are equivalent. (a) R satisfies v n. (b) R is n-root closed (equivalently, R/M is n-root closed in V/M) and M = M 2. (c) R satisfies d n. (3) The following statements are equivalent. (a) R is a v-pcd. (b) R is root closed and M = M 2. (c) R is a d-pcd. Proof. (1) Assume that R is a weak v-pcd, and choose x V \ R. Then (R : R Rx) = M. For some integer k, we must have (R : R Rx k ) = ((R : R Rx) k ) v. If x k R, this equality becomes R = (M k ) v, which is impossible since M is divisorial in R. Hence x k / R, in which case the equality above becomes M = (M k ) v. This then yields M = (M 2 ) v, whence V = M 1 = (M 2 ) 1 = ((R : M) : M) = (V : M). It follows that M cannot be principal in the valuation domain V, whence M = M 2. Thus (a) (b). Now assume that M = M 2, and let y K\R. If y 2,y 3 R, then (y 2 )y = y 3 R, whence y 2 M. However, since y V, this puts y M R, a contradiction. Therefore, for m = 2 or m = 3, y m / R, whence (R : R Ry m ) = M = M m = (R : R Ry) m, as desired. Finally, suppose y / V. Then y 1 M R, whence for all s > 1, we have (R : R Ry s ) = Ry s = (R : R Ry) s. This gives (b) (c), and (c) (a) follows from Lemma 1.4. (2) Assume that R satisfies v n. Then R is n-root closed by Proposition 1.11, and M = M 2 by (1). The implication (b) (c) follows from Lemma 2.1(1), and (c) (a) is trivial (Lemma 1.4). (3) This follows from (2). Next, we present examples, several of which were promised above. We begin with PVD examples, where the conclusions are immediate from Corollary 2.3. Example 2.4. Let (R,M) be a PVD with canonical valuation overring V. Then: (1) If M M 2, then R is not a weak v-pcd (Corollary 2.3). For example, take R = F +xk[x] xk[x], where F k are fields and x is an indeterminate; if, in addition, [k : F] <, then R is Noetherian. (2) If M = M 2, but R is not n-root closed for any n > 1, then R is a weak d-pcd but does not satisfy v n for any n > 1. (For example, let k be an algebraic closure of Q, let V = k+m be a non-discrete rank-one valuation domain with maximal ideal M, and let R = Q+M.) (3) If M = M 2 and R is 2-root closed but not 3-root closed (e.g., take V = F 4 +M to be a rank-one non-discrete valuation domain with maximal ideal M, and let R = F 2 +M), then R satisfies d 2 but is not a v-pcd. (4) If M = M 2 and R is root closed, then R is a d-pcd. (a) If R/M is not algebraically closed in V/M, then R is not integrally closed. (For example, take R/M = Q and V/M = Q[u], where u is a

11 -POWER CONDUCTOR DOMAINS 11 root of x 3 3x+1.) Hence a d-pcd need not be integrally closed and hence need not be an essential domain (or even a v-domain). (b) If R/M is algebraically closed in V/M, then R is a d-pcd that is integrally closed but not completely integrally closed. Let F k be fields, X a set of indeterminates, M the maximal ideal of k[x] generated by X, and put R = F + Xk[X]. Such rings have often been used to provide interesting examples. We investigate PCD-properties in these rings. Example 2.5. With the notation above, assume that F root closed in k. (1) Let X = 1. Then: (a) R is not a d-pcd by Lemma 2.1. In fact, observe that in this case R M is a PVD that is not a weak v-pcd by Example 2.4. Then, since R is v-coherent (see, e.g. [10, Theorem 3.5]), Corollary 1.10 ensures that R is not even a weak v-pcd. (b) If F is algebraically closed in k, then R is an integrally closed domain that is not a weak v-pcd. (2) If X > 1, then k[x] satisfies the hypotheses of Lemma 2.1(2). Hence R is a v-pcd but not a weak d-pcd by Proposition (3) If in (2) we take 1 < X < and [k : F] <, then R is a Noetherian v-pcd that is not a weak d-pcd. Next, we give an example showing that the v-pcd property does not localize. Example 2.6. Let R be the example given by Heinzer [14]. The domain R is essential, and therefore a v-pcd, but contains a prime ideal P such that R P is not essential. In fact, it is easy to see that R P is a PVD with P P 2. Hence R P is not a (weak) v-pcd by Corollary 2.3(1). 3. Completely integrally closed v-pcds In this and the next section we return to our convention that D is a domain with quotient field K. Recall that D is completely integrally closed if whenever u K and a is a nonzero element of D with au n D for all n 1, then u D. Thus the domain D is completely integrally closed if and only if n=1 (D : D Du n ) = (0) for each u K \D. It is well-known that D is completely integrally closed if and only if each nonzero ideal of D is v-invertible. We begin with a characterization of completely integrally closed -PCDs. Proposition 3.1. Let D be a weak -PCD. Then (1) n=1 (D : D Du n ) = n=1 ((D : D Du) n ) for each u K \(0). (2) D is completely integrally closed if and only if n=1 ((D : D Du) n ) = (0) for each u K \D. Proof. (1) Let u K \(0), and use Proposition 1.5 to choose 1 < n 1 < n 2 with (D : D Du ni ) = ((D : D Du) ni ) for each i. Then (D : D Du n ) (D : D Du ni ) = ((D : D Du) ni ) = ((D : D Du) n ), n=1 i=1 i=1 and (1) follows easily. (2) By definition D is completely integrally closed if and only if n=1 (D : D Du n ) = (0) for each u K \D. Hence the conclusion follows from (1). n=1

12 12 D.D. ANDERSON, EVAN HOUSTON, AND MUHAMMAD ZAFRULLAH Combining the proposition with Corollary 1.16, we have: Corollary 3.2. A -Prüfer domain D is completely integrally closed if and only if n=1 ((D : D Du) n ) = (0) for each u K \D. In particular, a v-domain (and hence an essential domain or a PvMD) is completely integrally closed if and only if n=1 ((D : D Du) n ) v = (0) for each u K \D. Proposition 3.3. A weak -PCD D is completely integrally closed if for every maximal f -ideal P of D we have n=1 (Pn ) = (0). In particular, a weak d-pcd (weak v-pcd) D is completely integrally closed if for every maximal ideal (maximal t-ideal) P of D we have n=1 Pn = (0) ( n=1 (Pn ) v = (0)). Proof. Let D be a weak -PCD, and let u K\D. Then (D : D Du) P for some maximal f -ideal P of D, and hence ((D : D Du) n ) (P n ). The conclusion then follows from Proposition 3.1. The condition on the maximal t-ideals in Proposition 3.3 is quite stringent. In particular, the condition requires a maximal t-ideal P to satisfy P v D. Counterexamples to the converse of Proposition 3.3 abound. For example, a non-discrete rank one valuation domain (D,M) is a v-pcd and completely integrally closed but does not satisfy (M n ) v = (0); in fact, (M n ) v = D for each n. For another example, D = k[x,y], k a field and x,y indeterminates, is a completely integrally closed v-pcd, but (x,y) v = D. On the other hand, if we require even more, we can obtain interesting characterizations of Krull domains. Note that if for a maximal t-ideal P we have (P n ) v = (0), then P v D and hence P v = P, that is, P is divisorial. In [13] Glaz and Vasconselos called a domain D an H-domain if each ideal I of D with I v = D contains a finitely generated ideal J with J v = D. According to [16, Proposition 2.4], the domain D is an H-domain if and only if every maximal t-ideal of D is divisorial. It is also easy to see that D is an H-domain if and only every v-invertible ideal of D is t-invertible. In particular, if an H-domain D is a v-domain, it must be a PvMD. Finally, Glaz and Vasconcelos showed that a domain D is a Krull domain if and only if it is a completely integrally closed H-domain [13, 3.2(d)]. Corollary 3.4. The following are equivalent for a domain D. (1) D is a Krull domain. (2) D is a completely integrally closed H-domain. (3) D is an H-domain and a v-domain with t-dimension one. (4) D is an H-domain and a PvMD with t-dimension one. (5) D is an H-domain and a v-pcd with n=1 (Pn ) v = (0) for each maximal t-ideal P of D. (6) D is an integrally closed H-domain in which ((a,b) n ) 1 = (((a,b) 1 ) n ) v for all a,b D \(0) and n=1 (Pn ) v = (0) for each maximal t-ideal P of D. Proof. The equivalence of (1) and (2) and the implication (3) (4) are discussed above. It is clear that (1) (3) and (6). Assume (4), and let P be a minimal prime of a principal ideal. Then P is a maximal t-ideal and is therefore divisorial (see above). Pick u P 1 \D. Then, since D has t-dimension one, P = (D : D Du). It follows that D is a Krull domain by [16, Proposition 2.4]. Hence (4) (1). Finally, we have (6) (5) by Theorem 1.13 and (5) (2) by Proposition 3.3.

13 -POWER CONDUCTOR DOMAINS 13 According to Corollary 3.4, if R is an integrally closed non-krull H-domain with n=1 (Pn ) v = (0) for each maximal t-ideal P of R, then we must have ((a,b) n ) 1 (((a,b) 1 ) n ) v for some nonzero a,b D and n > 1. We next give an example of this phenomenon. Example 3.5. Let T be a PID with a maximal ideal P such that k := T/P admits a field F that is algebraically closed in k (e.g., T = F(y)[x], y,x indeterminates). Let ϕ : T k be the natural projection and set R = ϕ 1 (F). Then R is an integrally closed non-krull domain (since R is not completely integrally closed). Of course, P is a divisorial ideal of R. In fact, each maximal ideal of R is divisorial. To see this, let Q P be a maximal ideal of R. Then Q = N R for maximal ideal N M of T. Write N = Tz. Then z 1 PQ z 1 PN P R, and z 1 P R (indeed, z 1 P T). Hence Q is divisorial. Hence R is (vacuously) an H-domain. Since Q n N n = Tz n and Tz n is divisorial (as an ideal of R), we have n=1 (Qn ) v n=1 Tzn = (0). Write P = Tc. Then P n = Tc n, whichis divisorial. Hence n=1 (Pn ) v = n=1 Tcn = (0). Thus R has the required properties. It is not difficult to identify elements a,b as in the preceding paragraph: let t T \R. Then (1,t) 1 = (R : R Rt) = P, whence (((1,t) 1 ) n ) v = P n. On the other hand, ((1,t) n ) 1 = P. Now take a = c and b = ct. Let D be a Noetherian domain. Then D is certainly an H-domain. Moreover, D is integrally closed if and only if D is a Krull domain. In view of the equivalence (1) (5) of Corollary 3.4, we have: Corollary 3.6. A Noetherian domain D is integrally closed if and only if D is a v-pcd and n=1 (Mn ) v = (0) for each maximal t-ideal M of D. AswesawinExample2.4(1), anoetheriandomainneednotbeav-pcd.whatis more interesting here is the fact that not every Noetherian domain has the property that for every maximal t-ideal M we have (M n ) v = (0). We end this section with an example of this. Example 3.7. Let F k be a root closed extension of fields with [k : F] finite. Let T = k[x,y] = k +M, x,y indeterminates and M = (x,y), and let R = F +M. Then R is Noetherian. It is easy to see that M 1 = T, whence R is a v-pcd by Lemma 2.1(2). (But R is not a weak d-pcd by Proposition 1.11(2)). By direct calculation or Corollary 3.6, we cannot have n=1 (Mn ) v = (0). (Indeed, (M n ) v = M for each n 1). 4. Connections with other properties In [26] a domain D was said to have the -property if for a 1,...,a m,b 1,,...,b n D \ (0) we have ( i Da i)( j Db j) = i,j Da ib j. The authors of [3] discussed a special case of this, which we call here the -property: (Da Db)(Dc Dd) = Dac Dad Dbc Dbdfor all a,b,c,d D\(0); and they showed that a Noetherian domain satisfying is locally factorial [3, Corollary 3.9]. Now and are equivalent over a Noetherian domain, for, in this case, implies locally (factorial and hence) GCD, and it is easy to see that a locally GCD-domain is a locally -domain and hence a -domain [26, Theorem 2.1]. Thanks to its efficiency the -property can be used to provide a more satisfying characterization of integrally closed Noetherian domains than does the v-pcd property, as we shall see below. But the -property is more potent in that it can be put to use even in v-coherent

14 14 D.D. ANDERSON, EVAN HOUSTON, AND MUHAMMAD ZAFRULLAH domains. For example, it was shown in [25, Corollary 1.7] that the -property makes a v-coherent domain a generalized GCD-domain (GGCD-domain): a domain in which ad bd is invertible for each pair a,b D\(0). We restate the result as the following proposition. Proposition 4.1. An integral domain is a GGCD-domain if and only if D is a v-coherent -domain. Now recall that PvMDs may be characterized as t-locally valuation domains, that is, D is a PvMD if and only if D P is a valuation domain for each maximal t-ideal P of D. In [7], Chang used the local version of Proposition 4.1 to characterize PvMDs. Before stating Chang s result, we need some background. We first recall the w-operation: for a nonzero fractional ideal A of D, A w = {x K xb A for some finitely ideal B of D with B v = D}. It is well known that A w = AD P, where the intersection is taken over the set of maximal t-ideals P of D; moreover, we have A w D P = AD P for each P. Call D a (w)-domain if (( i Da i)( j Db j)) w = i,j Da ib j for all a i,b j D\(0). Proposition 4.2. ([7, Theorem 3]) An integral domain D is a PvMD if and only if D is a v-coherent (w)-domain. In view of [3] we can introduce the notion of a (w)-domain as a domain D suchthat ((Da Db)(Dc Dd)) w = Dac Dad Dbc Dbd, for all a,b,c,d D\(0). We shall show that a Noetherian domain D is integrally closed D is a w-pcd D is a (w)-domain D is a (w)-domain. This is interesting in light of [3, comment following Lemma 3.7], where it is shown that a Krull domain is a d-pcd if and only if all powers of each maximal t-ideal are divisorial and that an integrally closed Noetherian domain need not have this property and hence need not be a d-pcd. In fact, we can establish the result in a more general setting. Recall that a domain D is a strong Mori domain if it satisfies the ascending chain condition on w-ideals. These domains were introduced and studied by Wang and McCasland [22, 23]. They are characterized as domains D for which (1) D M is Noetherian for everymaximalt-idealm ofd and(2)d hasfinitet-character(eachnonzeroelement a of D is contained in only finitely many maximal t-ideals of D) [23, Theorem 1.9]. It is well-known (and follows easily from (1)) that an integrally closed strong Mori domain is completely integrally closed and hence a Krull domain. Theorem 4.3. The following statements are equivalent for a strong Mori domain D. (1) D is integrally closed. (2) D is a w-pcd. (3) D is a (w)-domain. (4) D is a (w)-domain. (5) D is completely integrally closed (and hence a Krull domain). As mentioned above, items (1) and (5) are equivalent. The rest of the proof is contained in the next two lemmas. For the first, we call a local domain (D,M) t- local if its maximal ideal is a t-ideal. (Perhaps a caveat is in order here. Localizing at a maximal t-ideal does not in general produce a t-local domain! However, this is not an issue in the strong Mori setting: for a strong Mori domain D, a prime P of

15 -POWER CONDUCTOR DOMAINS 15 D is a t-ideal (equivalently, divisorial) if and only if PD P is a t-ideal [18, Lemma 3.17].) Lemma 4.4. For a t-local Noetherian domain (D, M), the following statements are equivalent. (1) D is a -domain. (2) D is a -domain. (3) D is integrally closed. (4) D is a (rank-one discrete) valuation domain. (5) D is a d-pcd. (6) D is a weak d-pcd. Proof. Implications (1) (2), (4) (5) (6), and (4) (1) are trivial, (3) (4) is well known, and (2) (3) is essentially the proof of [3, Corollary 3.9]. Now assume (6). Then M is divisorial, whence M 1 D, and, clearly, M M 2. Therefore, according to Proposition 1.11, M must be invertible, and hence D is a rank-one discrete valuation domain, as desired. Thus (6) (4), and the proof is complete. Lemma 4.5. A domain is a w-pcd ( a (w)-domain, a (w)-domain, integrally closed) if and only if it is t-locally a d-pcd ( a -domain, a -domain, integrally closed). Proof. It is well known that D is integrally closed if and only if it is t-locally integrally closed (and follows easily from the representation D = D P, where the intersection is taken over the set of maximal t-ideals P of D). Let D be a w-pcd, and let M be a maximalt-ideal ofd. Foru K wehave(d M : DM D M u n ) = (D : D Du n )D M = ((D : D Du) n ) w D M = (D : D Du) n D M = (D M : DM D M u) n. Hence D M isad-pcd.nowassumethatd ist-locallyad-pcd,andletp denotethesetof maximalt-idealsofd. Thenforu K, (D : D Du n ) = (D : D Du n ) w = P P (D : D Du n )D P = P P (D P : DP D P u n ) = P P (D : D Du) n D P = ((D : D Du) n ) w. The details in the proofs of the other properties are similar. Lemma 4.4 again shows that the -property is much more potent than the v- PCD-property: according to the lemma, a t-local Noetherian domain satisfying must be integrally closed, whereas, if R is as in Example 2.5, then R M is a nonintegrally closed t-local Noetherian v-pcd. For still another example, a PvMD is automatically a v-pcd (Corollary 1.17), but a PvMD with the -property is a GGCD-domain by Proposition 4.1. On the other hand, the v-pcd property is useful in determining whether a domain is completely integrally closed. Now let us step back and take another look at (3) of Lemma 4.4 and ask: What if we consider a (not necessarily Noetherian) t-local domain with maximal ideal M divisorial but include the condition that M n = (0)? We show that the result would still be a discrete rank one valuation domain: Proposition 4.6. Let (D,M) be a local d-pcd such that M is divisorial and n=1 Mn = (0). Then D is a rank-one discrete valuation domain. Proof. By Proposition 3.3, D is completely integrally closed. Thus (MM 1 ) v = D, and then, since M is divisorial, MM 1 = D. Hence M is principal. The condition M n = (0) then ensures that D is one-dimensional, that is, that D is a rank-one discrete valuation domain.

16 16 D.D. ANDERSON, EVAN HOUSTON, AND MUHAMMAD ZAFRULLAH We close with yet another characterization of Krull domains. Theorem 4.7. A domain D is a Krull domain if and only if it has the folllowing properties: (1) Each maximal t-ideal of D is divisorial. (2) n=1 (Mn ) w = (0) for each maximal t-ideal M of D. (3) D is a w-pcd. Proof. It iswell-knownthat akrulldomainhasthe first propertyand that the v-, t- and w-operations coincide. Properties (2) and (3) then follow from Corollary 3.4. Now assume that D is a domain with the properties listed. By (1), R is an H- domain [16, Proposition 2.4]. It is well-known that each maximal w-ideal of D is a maximal t-ideal (and vice versa) and that the w-operation is of finite type. Hence (2) and (3), together with Proposition 3.3, imply that D is completely integrally closed. Therefore, D, being a completely integrally closed H-domain, is a Krull domain [13, 3.2(d)]. References [1] D.D. Anderson, Star operations induced by overrings, Comm. Algebra 16 (1988), [2] D.D. Anderson, D.F. Anderson, M. Fontana and M. Zafrullah, On v-domains and star operations, Comm. Algebra 37 (2009), [3] D.D. Anderson, D.F. Anderson and E.W. Johnson, Some ideal theoretic conditions on a Noetherian ring, Houston J. Math. 7 (1981), [4] D.D. Anderson, D.F. Anderson and M. Zafrullah, Completely integrally closed Prüfer v- multiplication domains, Comm. Algebra, to appear. [5] D.F. Anderson and D. Dobbs, Pairs of rings with the same prime ideals, Canad. J. Math. 32 (1980), [6] A. Bouvier and M. Zafrullah, On some class groups of an integral domain, Bull. Soc. Math. Grece 29 (1988), [7] G.W. Chang, A new charaterization of Prüfer v-multiplication domains, Korean J. Math. 23 (2015), [8] S. El Baghdadi, M. Fontana and M. Zafrullah, Intersections of quotient rings and Prufer v-multiplication domains, J. Algebra Appl. 15 (2016), , 18 pp. [9] M. Fontana and S. Gabelli, On the class group and the local class group of a pullback, J. Algebra 181 (1996), [10] S. Gabelli and E. Houston, Coherentlike conditions in pullbacks, Michigan Math. J. 44 (1997), [11] R. Gilmer, Multiplicative Ideal Theory, Dekker, New York, [12] R. Gilmer, Finite element factorization in group rings, Lecture Notes in Pure and Appl. Math. 7, Dekker, New York, [13] S. Glaz and W. Vasconcelos, Flat ideals II, Manuscripta Math. 22 (1977), [14] W. Heinzer, An essential integral domain with a nonessential localization, Canad. J. Math. 33 (1981), [15] J. Hedstrom and E. Houston, Pseudo-valuation domains, Pacific J. Math. 75 (1978), [16] E. Houston and M. Zafrullah, Integral domains in which each t-ideal is divisorial, Michigan Math. J. 35 (1988), [17] E. Houston and M. Zafrullah, On t-invertibility II, Comm. Algebra 17 (1989), [18] B.G. Kang, Prüfer v-multiplication domains and the ring R[X] Nv, J. Algebra 123 (1989), [19] A. Loper and T. Lucas, Factoring ideals in almost Dedekind domains, J. Reine Angew Math. 565 (2003), [20] H. Uda, LCM-stableness in ring extensions, Hiroshima Math. J. 13 (1983), [21] H. Uda, G 2 -stableness and LCM-stableness, Hiroshima Math. J. 18, (1988), [22] F. Wang and R. McCasland, On w-modules over strong Mori domains, Comm. Algebra 25 (1997),

17 -POWER CONDUCTOR DOMAINS 17 [23] F. Wang and R. McCasland, On strong Mori domains, J. Pure Appl. Algebra 135 (1999), [24] M. Zafrullah, A general theory of almost factoriality, Manuscripta Math. 51 (1985), [25] M. Zafrullah, On generalized Dedekind domains, Mathematika, 33 (1986), [26] M. Zafrullah, On a property of pre-schreier domains, Comm. Algebra 15 (9) (1987), Department of Mathematics, The University of Iowa, Iowa City, IA U.S.A. address: dan-anderson@uiowa.edu Department of Mathematics and Statistics, University of North Carolina at Charlotte, Charlotte, NC U.S.A. address: eghousto@uncc.edu Department of Mathematic, Idaho State University, Pocatello, ID U.S.A. address: mzafrullah@usa.net