Research Article | Open Access

# Transfer of the GPIT Property in Pullbacks

**Academic Editor:**Ayman Badawi

#### Abstract

Let be a commutative ring, a prime ideal of , a subring of , and the pullback . Ascent and descent results are given for the transfer of the -PIT and GPIT (generalized principal ideal theorem) properties between and . As a consequence, it follows that if is a maximal ideal of both and , then satisfies -PIT (resp., GPIT) if and only if satisfies -PIT (resp., GPIT).

#### 1. Introduction

All rings considered in this paper are commutative, with identity. If is a ring, denotes the set of all prime ideals of , and if , then denotes the height of in . As in [1], if is a nonnegative integer, then we say that a ring satisfies the - property if whenever is minimal as a prime ideal of containing a given -generated ideal of . Notice that each ring satisfies 0- and that 1- is the (for βprincipal ideal theorem") property introduced in [2]. Also as in [1], we say that a ring satisfies the GPIT (for βgeneralized principal ideal theorem") property in case satisfies - for all . A well-known fundamental result states that each Noetherian ring satisfies GPIT (cf. [3, Theoremββ152]). Moreover, GPIT figures implicitly in a characterization of Noetherian rings [2, Theoremββ2.6 and Remarkββ5.3(a)]. The diversity of rings satisfying [2, Corollariesββ3.5, 3.11, and 6.6] and GPIT [1, Corollaries 2.3 and 4.3] has been exhibited by studying the transfer of these properties for various ring-theoretic constructions (cf. [2, Propositionsββ3.1(a), 4.1 and 6.3, Theoremββ4.5 and Sectionββ5], [1, Propositionββ2.1, Theoremsββ3.3 and 4.2]). In particular, in view of the characterizations of Noetherian rings arising as certain pullbacks ([4, Propositionββ1.8], [5, Propositionββ1, Corollaireββ1]), earlier papers developed transfer results for and GPIT in pullbacks in case is a quasilocal domain and is a subring of (see [2, Corollaryββ3.2(c)], [1, Propositionββ2.5(b)]). The main purpose of this note is to extend those results to the context in which is not necessarily quasilocal or a domain. We thus enlarge the arena of applications in the same spirit in which the general construction studied by Brewer and Rutter [6] extended the classical construction (as in [7]) that had issued from a valuation (in particular, quasilocal) domain .

It is convenient to organize our work so that the assertions regarding transfer of GPIT are consequences of transfer results on -. Our main descent (resp., ascent) result for these properties is Theorem 2.2 (resp., Theorem 2.5). Technical results dealing with new conditions on prime ideals in pullbacks are isolated in Lemmas 2.1 and 2.4. Our best βif and only if" transfer result appears in Corollary 2.6, with the special case for the construction in Corollary 2.7.

In addition to the notation and terminology introduced above, we let denote the set of all maximal ideals of a ring . Any other material is standard, as in [7] or [3].

#### 2. Results

Henceforth, we adopt the following *standing hypotheses*: is a ring, , is a subring of , and is the pullback . Before giving our main descent result for the - and GPIT properties, we begin with a lemma that builds on a result of Cahen [5, Propositionββ5], that compares the heights of in and . An additional hypothesis is used in Lemma 2.1, since an example of Cahen [5, Exempleββ3], shows that the standing hypotheses are not sufficient to imply that .

Lemma 2.1. *Let , , , and be as in the standing hypotheses. Assume also that if satisfies , then either is comparable to (with respect to inclusion) or . Then, .*

*Proof. *According to [5, Propositionββ5], . Thus, without loss of generality, we may assume that . The assertion can be proved by applying the fundamental gluing result on the spectra of pullbacks [4, Theoremββ1.4]. We prefer the following somewhat more transparent argument.

Suppose that the assertion fails. Then, we can choose such that and . By applying the isomorphism in [4, Corollaryββ1.5(3)], we see that there exists a (uniquely determined) such that and, moreover, that . In view of the hypothesis, there are three cases to consider.

If , then , a contradiction. On the other hand, if , then , also a contradiction. We handle the remaining case, in which , by an argument that is reminiscent of a proof of Cahen [5, Lemmeββ5]. In this case, , for some and . Then,
and so , the desired contradiction.

Theorem 2.2. *Let , , , and be as in the standing hypotheses. Assume that if satisfies , then either is comparable to or . Assume also that . Then,*(a)*if is a positive integer and satisfies -, then satisfies -;*(b)*if satisfies , then satisfies .*

*Proof. *The assertion in (b) follows from that in (a), by universal quantification on . As for (a), consider an -generated ideal of and let be minimal among the prime ideals of that contain . Our task is to show that .

Suppose first that . Then, every prime of that is contained in is actually a prime ideal of , and so it follows easily that is minimal as a prime ideal of containing . Since satisfies -, . Therefore, by Lemma 2.1, .

In the remaining case, . Since , it follows that . An appeal to [4, Corollaryββ1.5(3)] yields a (uniquely determined) such that . Clearly, . Moreover, since is uniquely determined, it follows easily that is minimal among primes of that contain . As satisfies -, we have that . Furthermore, since , [4, Theoremββ1.4(c)] ensures that . Accordingly

Recall (cf. [8]) that a ring is said to be *treed* in case no maximal ideal of contains prime ideals of that are incomparable.

Corollary 2.3. *Let , , , and be as in the standing hypotheses. Assume also that and either or is treed. Then,*(a)*if is a positive integer and satisfies -, then satisfies -;*(b)*if satisfies , then satisfies .*

*Proof. *The assumptions ensure that if , then either is comparable to or . An application of Theorem 2.2 completes the proof.

We next isolate a lemma of some independent interest. Notice that the assumption in Lemma 2.4 arose naturally in the proof of Corollary 2.3.

Lemma 2.4. *Let , , , and be as in the standing hypotheses. Assume that if , then either is comparable to or . If and , then .*

*Proof. *We adapt the proof of Lemma 2.1. Let such that . Since , we may assume that ; in particular, . Therefore, by [4, Corollaryββ1.4(3)], for some (uniquely determined) . In view of the hypothesis, there are three cases to consider.

The case is handled as in the proof of Lemma 2.1. On the other hand, if , then , and so . Finally, the ostensibly final case, , cannot actually arise, for otherwise, the proof of Lemma 2.1 would show that , a contradiction.

We next present our main ascent result for the - and properties.

Theorem 2.5. *Let , , , and be as in the standing hypotheses. Assume also that . Then,*(a)*if is a positive integer and satisfies -, then satisfies -;*(b)*if satisfies , then satisfies .*

*Proof. *As in the proof of Theorem 2.2, it suffices to establish (a). To that end, let be minimal as a prime ideal of containing a given -generated ideal . We consider two cases.

Suppose first that , that is, . Choose . We claim that is minimal as a prime ideal of containing the -generated ideal . If not, pick such that . By the minimality of , for some , and so since is prime. Then, , a contradiction, thus proving the above claim.

Since , it is clear that contains the elements . Moreover, it follows from the isomorphism in [4, Corollaryββ1.5(3)] and the minimality of that is minimal among the prime ideals of containing the -generated ideal . Furthermore, this isomorphism yields that and the assumption that satisfies - yields that . Thus, , as desired.

It remains only to consider the case . Since , Lemma 2.4 may be applied, with the upshot that . Suppose that and are such that . Then, by Lemma 2.4 and the minimality of , we have that and . Hence, is minimal as a prime ideal of containing . Since satisfies -, . Thus, , which completes the proof.

Combining Corollary 2.3 and Theorem 2.5, we obtain the following sufficient conditions for the property in to be equivalent to the property in .

Corollary 2.6. *Let , , , and be as in the standing hypotheses. Assume also that and . Then*(a)*for any positive integer , satisfies - if and only if satisfies -;*(b)* satisfies if and only satisfies . *

We next state a special case of the previous corollary that generalizes [2, Corollaryββ3.2(c)] and [1, Propositionββ2.5(b)] to the general context of [6] in which need not be quasilocal.

Corollary 2.7. *Let be a ring, where is a field and . Let be a subfield of , and put . Then,*(a)*for any positive integer , satisfies - if and only if satisfies -;*(b)* satisfies if and only satisfies .*

*Remark 2.8. *(a) It was stated in Section 1 that our results generalize transfer results for PIT and GPIT that had been given in [1, 2] for the case in which is quasilocal. In those earlier results, the PIT (resp., GPIT) property for was shown to be equivalent to the condition that and the -PIT (resp., GPIT) property for . However, the condition that appears as a hypothesis, rather than a conclusion, in Theorem 2.2. Accordingly, we should underscore that, for each , the GPIT property for does *not* imply the -PIT property for under our standing hypothesis, even if .

To see this, begin by taking to be an -dimensional Noetherian unique factorization domain. Let denote the quotient field of . Set , with , and . Observe that the standing hypotheses are satisfied. Moreover, and, since is a Noetherian ring, satisfies GPIT (and, hence, -PIT). However, does not satisfy -PIT.

Indeed, pick a prime element of , so that by the classical principal ideal theorem. We have , essentially since . Moreover, , since . Then, the order-theoretic impact of the fundamental gluing result for pullbacks [4, Theoremββ1.4] yields that , even though is an -generated ideal of , and so does not satisfy -PIT.

(b) Apropos of generalizing the pullback-theoretic results on PIT and GPIT in [1, 2], we do not know whether the standing hypotheses, coupled with the additional assumptions that and satisfies -PIT with , implies that . However, we do have the following positive result along these lines for the context. Let be a domain, where is a field and . Let be a subring of , and put . If satisfies PIT, then is a field.

For an indirect proof, suppose that we can pick a nonzero nonunit . Then, for all , we have , whence . Moreover, (the point being that since ). As is a nonunit of , we can choose minimal among the prime ideals of containing . Then, , contrary to satisfying PIT.

(c) We close by answering a question of the referee that asked for additional examples of a ring satisfying the hypothesis of Theorem 2.2. Specifically, we show that for each positive integer , there exists a nontreed non-quasilocal -dimensional domain and a nonmaximal nonzero prime ideal of such that, whenever satisfies , then either is comparable to (with respect to inclusion) or .

For the details of the construction, suppose first that . Then, a suitable can be found that possesses exactly prime ideals. Indeed, consider the -element poset , where the only nontrivial relations are given by if and only if ; ; and . It is known (cf. [9, Theoremββ2.10]) that there exists a ring such that is order-isomorphic to , since is a finite poset. Then, taking to be the associated reduced ring of suffices, for the only prime ideal of that has height at least that of is , which is comparable to . Note that has exactly two maximal ideals, namely, and . The reader is invited to augment the above construction and thus produce an example with any desired finite number of maximal ideals.

Finally, in case , one can produce a suitable by arguing as above with the 6-element poset , where the only nontrivial relations are given by , and . The simple verification in this case is left to the reader.

(d) We note that the paper [10] touches on some related matters. Indeed, [10, Theoremββ2.7] shows that each -Noetherian ring satisfies GPIT, while [10, Theorem 2.2] characterizes a -Noetherian ring as a -ring such that is the pullback of a certain type of diagram.

#### References

- D. F. Anderson, D. E. Dobbs, P. M. Eakin, Jr., and W. J. Heinzer, βOn the generalized principal ideal theorem and Krull domains,β
*Pacific Journal of Mathematics*, vol. 146, no. 2, pp. 201β215, 1990. View at: Google Scholar | Zentralblatt MATH - V. Barucci, D. F. Anderson, and D. E. Dobbs, βCoherent Mori domains and the principal ideal theorem,β
*Communications in Algebra*, vol. 15, no. 6, pp. 1119β1156, 1987. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - I. Kaplansky,
*Commutative Rings*, The University of Chicago Press, Chicago, Ill, USA, 1974. - M. Fontana, βTopologically defined classes of commutative rings,β
*Annali di Matematica Pura ed Applicata*, vol. 123, pp. 331β355, 1980. View at: Publisher Site | Google Scholar | Zentralblatt MATH - P.-J. Cahen, βCouples d'anneaux partageant un idéal,β
*Archiv der Mathematik*, vol. 51, no. 6, pp. 505β514, 1988. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - J. W. Brewer and E. A. Rutter, β
*D+M*constructions with general overrings,β*The Michigan Mathematical Journal*, vol. 23, no. 1, pp. 33β42, 1976. View at: Publisher Site | Google Scholar | Zentralblatt MATH - R. Gilmer,
*Multiplicative Ideal Theory*, Marcel Dekker, New York, NY, USA, 1972, Pure and Applied Mathematics, No. 1. - D. E. Dobbs, βOn going down for simple overrings. II,β
*Communications in Algebra*, vol. 1, pp. 439β458, 1974. View at: Publisher Site | Google Scholar - W. J. Lewis, βThe spectrum of a ring as a partially ordered set,β
*Journal of Algebra*, vol. 25, pp. 419β434, 1973. View at: Publisher Site | Google Scholar | Zentralblatt MATH - A. Badawi and T. G. Lucas, βRings with prime nilradical,β in
*Arithmetical Properties of Commutative Rings and Monoids*, vol. 241 of*Lect. Notes Pure Appl. Math.*, pp. 198β212, Chapman & Hall/CRC, Boca Raton, Fla, USA, 2005. View at: Google Scholar

#### Copyright

Copyright © 2012 David E. Dobbs and Jay Shapiro. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.