| Title: | Integral domain extensions with the height condition (English) |
| Author: | Zeidi, Nabil |
| Language: | English |
| Journal: | Czechoslovak Mathematical Journal |
| ISSN: | 0011-4642 (print) |
| ISSN: | 1572-9141 (online) |
| Volume: | 76 |
| Issue: | 2 |
| Year: | 2026 |
| Pages: | 663-675 |
| Summary lang: | English |
| . | |
| Category: | math |
| . | |
| Summary: | Let $R \subset S$ be an extension of integral domains. We recall that $R\subset S$ satisfies the height condition if, for every prime ideal $Q$ of $S$, $ht_S(Q)=ht_R(Q\cap R)$. Several characterizations of such extensions are given. For example, we prove that if there exists a finite maximal chain of rings from $R$ to $S$, and $R$ is integrally closed in $S$, then $R\subset S$ satisfies the height condition. The second purpose is to introduce and study CH-pairs. A pair $(R,S)$ is called the CH-pair if the extension $R\subset T$ satisfies the height condition for each intermediate ring $T$ between $R$ and $S$. When $R$ is a field it is shown that the pair $(R,S)$ is a CH-pair if and only if $S$ is a field algebraic over $R$. We also establish that $(R,S)$ is a CH-pair if and only if $R\subseteq R^*$ satisfies the height condition and $(R^*,S)$ is a normal pair, where $R^*$ is the integral closure of $R$ in $S$. Further consequences are also provided. (English) |
| Keyword: | prime ideal |
| Keyword: | intermediate ring |
| Keyword: | minimal extension |
| Keyword: | normal pair of rings |
| Keyword: | height condition |
| Keyword: | going down |
| Keyword: | incomparability |
| MSC: | 13A15 |
| MSC: | 13A18 |
| MSC: | 13B02 |
| MSC: | 13B21 |
| DOI: | 10.21136/CMJ.2026.0416-25 |
| . | |
| Date available: | 2026-05-22T11:24:47Z |
| Last updated: | 2026-05-25 |
| Stable URL: | http://hdl.handle.net/10338.dmlcz/153655 |
| . | |
| Reference: | [1] Ayache, A., Dobbs, D. E.: Finite maximal chains of commutative rings.J. Algebra Appl. 14 (2015), Article ID 1450075, 27 pages. Zbl 1310.13012, MR 3257816, 10.1142/S0219498814500753 |
| Reference: | [2] Ayache, A., Jaballah, A.: Residually algebraic pairs of rings.Math. Z. 225 (1997), 49-65. Zbl 0868.13007, MR 1451331, 10.1007/PL00004598 |
| Reference: | [3] Nasr, M. Ben, Jarboui, N.: New results about normal pairs of rings with zero-divisors.Ric. Mat. 63 (2014), 149-155. Zbl 1301.13008, MR 3211064, 10.1007/s11587-013-0169-1 |
| Reference: | [4] Chatham, R. D.: Going-down pairs of commutative rings.Rend. Circ. Mat. Palermo, II. Ser. 50 (2001), 509-542. Zbl 1017.13004, MR 1871612, 10.1007/BF02844429 |
| Reference: | [5] Davis, E. D.: Overrings of commutative rings. III. Normal pairs.Trans. Am. Math. Soc. 182 (1973), 175-185. Zbl 0272.13004, MR 0325599, 10.1090/S0002-9947-1973-0325599-3 |
| Reference: | [6] Dieudonné, J.: Topics in Local Algebra.Notre Dame Mathematical Lectures 10. University of Notre Dame Press, Notre Dame (1967). Zbl 0193.00101, MR 0241408 |
| Reference: | [7] Dobbs, D. E.: On going down for simple overrings. II.Commun. Algebra 1 (1974), 439-458. Zbl 0285.13001, MR 0364225, 10.1080/00927877408548715 |
| Reference: | [8] Dobbs, D. E.: On INC-extensions and polynomials with unit content.Can. Math. Bull. 23 (1980), 37-42. Zbl 0432.13007, MR 0573556, 10.4153/CMB-1980-005-8 |
| Reference: | [9] Dobbs, D. E.: Lying-over pairs of commutative rings.Can. J. Math. 33 (1981), 454-475. Zbl 0466.13002, MR 0617636, 10.4153/CJM-1981-040-5 |
| Reference: | [10] Dobbs, D. E., Picavet, G., Picavet-L'Hermitte, M.: Characterizing the ring extensions that satisfy FIP or FCP.J. Algebra 371 (2012), 391-429. Zbl 1271.13022, MR 2975403, 10.1016/j.jalgebra.2012.07.055 |
| Reference: | [11] Ferrand, D., Olivier, J.-P.: Homomorphismes minimaux d'anneaux.J. Algebra 16 (1970), 461-471 French. Zbl 0218.13011, MR 0271079, 10.1016/0021-8693(70)90020-7 |
| Reference: | [12] Gilmer, R.: Multiplicative Ideal Theory.Pure and Applied Mathematics 12. Marcel Dekker, New York (1972). Zbl 0248.13001, MR 0427289 |
| Reference: | [13] Gilmer, R., Hoffmann, J. F.: A characterization of Prüfer domains in terms of polynomials.Pac. J. Math. 60 (1975), 81-85. Zbl 0307.13011, MR 0412175, 10.2140/pjm.1975.60.81 |
| Reference: | [14] Kaplansky, I.: Commutative Rings.University of Chicago Press, Chicago (1974). Zbl 0296.13001, MR 0345945 |
| Reference: | [15] McAdam, S.: Going down.Duke Math. J. 39 (1972), 633-636. Zbl 0252.13001, MR 0311658, 10.1215/S0012-7094-72-03969-5 |
| Reference: | [16] McAdam, S.: Going down: Ascent/descent.Commun. Algebra 29 (2001), 5191-5195. Zbl 1095.13510, MR 1856938, 10.1081/AGB-100106812 |
| Reference: | [17] L. J. Ratliff, Jr.: On quasi-unmixed local domains, the altitude formula, and the chain condition for prime ideals. I.Am. J. Math. 91 (1969), 508-528. Zbl 0182.06101, MR 0246867, 10.2307/2373524 |
| Reference: | [18] Sharp, R. Y.: Steps in Commutative Algebra.London Mathematical Society Student Texts 51. Cambridge University Press, Cambridge (2000). Zbl 0969.13001, MR 1817605, 10.1017/CBO9780511623684 |
| . |
Fulltext not available (moving wall 24 months)