Journal of the Iranian Mathematical Society

Journal of the Iranian Mathematical Society

An overview of $z$-ideals and $z^\circ$-ideals

Document Type : Dedicated to Prof. O. A. S. Karamzadeh

Author
Department of Mathematics, Shahid Chamran University of Ahvaz
Abstract
Overall‎, ‎$z$-ideals and $z^\circ$-ideals in $C(X)$‎, ‎the ring of all real-valued continuous functions on a space $X$‎, ‎play a crucial role in the ideal structure of the ring‎, ‎exhibiting connections with prime ideals and offering insights into the interplay between algebraic and topological properties of the space $X$‎. ‎By exploring their characteristics and relationships with prime ideals‎, ‎we can better understand the intricate nature of these ideals and their impact on the structure of $C(X)$‎. ‎Studying $z$-ideals and $z^\circ$-ideals in reduced rings‎, ‎particularly in $C(X)$‎, ‎sheds light on the fundamental aspects of ring theory and topology‎, ‎highlighting the intricate connections between these two fields‎. ‎A pseudoprime $z$-ideal is prime‎, ‎and a prime ideal minimal over a $z$-ideal ($z^\circ$-ideal), ‎is also a $z$-ideal ($z^\circ$-ideal)‎. ‎Additionally‎, ‎the sum of a prime ideal and a $z$-ideal is a prime $z$-ideal‎, ‎and every $z$-ideal ($z^\circ$-ideal) is an intersection of prime $z$-ideals ($z^\circ$-ideals)‎. ‎Furthermore‎, ‎every ideal contains the largest $z$-ideal and is included in the smallest $z$-ideal‎. ‎These properties demonstrate the significance of $z$-ideals and $z^\circ$-ideals in the ideal structure of the ring $C(X)$ and their role in connecting the algebraic and topological properties of the space $X$‎. ‎By exploring these properties in reduced rings‎, ‎especially in $C(X)$‎, ‎we can appreciate the intricate relationship between the algebraic aspects of $C(X)$ and the topological characteristics of $X$‎. ‎The elegance and effectiveness of $z$-ideals and $z^\circ$-ideals in this context highlight their importance in understanding the intersection of algebra and topology within $C(X)$‎. ‎The study of $z$-ideals and $z^\circ$-ideals in reduced rings‎, ‎particularly in $C(X)$‎, ‎stands out for its elegance and effectiveness in elucidating the ideal structure of the ring $C(X)$‎. ‎Inasmuch as $z$-ideals and $z^\circ$-ideals are both algebraic and topological objects‎, ‎they play a crucial role in bridging the gap between the algebraic properties of $C(X)$ and the topological properties of the space $X$‎. ‎This article aims to compile and explore the properties of $z$-ideals and $z^\circ$-ideals in $C(X)$‎, ‎emphasizing their significance in understanding the connections between algebraic and topological aspects within this framework‎.
Keywords
Subjects

[1] E. Abu Osba, M. Henriksen and O. Alkam, Combining local and Von Neumann regular rings, Comm. Algebra 32 (2004), no. 7, 2639–2653.
[2] H. Al-Ezeh, Pure ideals in reduced gelfand rings with unity, Arch. Math. (Basel) 53 (1989), no. 3, 266–269.
[3] A. R. Aliabad, z-ideals in C(X), Shahid Chamran University of Ahvaz, Iran, PhD. Thesis, 1996.
[4] A. R. Aliabad, F. Azarpanah and A. Taherifar, Relative z-ideals in commutative rings, Comm. Algebra 41 (2013), no. 1, 325–341.
[5] A. R. Aliabad, F. Azarpanah and M. Paimann, z-ideals and z-ideals in the factor rings of C(X), Bull. Iran. Math.
Soc. 36 (2010), no. 1, 211–226.
[6] Z. Arjmandnezhad, F. Azarpanah, A. A. Hesari and A. R. Salehi, Maximal z-ideals of C(X) and real maximal ideals of q(X), Quaest. Math. (2021) 1–13.
[7] G. Artico, U. Marconi and R. Moresco, A subspace of Spec(A) and its connections with the maximal ring of quotients, Rend. Sem. Mat. Univ. Padova 64 (1981) 93–107.
[8] M. F. Atiyah and I. G. Macdonald, Introduction to Commutative Algebra, Addison-Wesley Publishing Co., Reading, Mass., 1969.
[9] F. Azarpanah, Intersection of essential ideals in C(X), Proc. Amer. Math. Soc. 125 (1997), no. 7, 2149–2154.
[10] F. Azarpanah, Essential ideals in C(X), Period. Math. Hungar. 31 (1995), no. 2, 105–112.
[11] F. Azarpanah, D. Esmaeilvandi and A. R. Salehi, Depth of ideals of C(X), J. Algebra 528 (2019) 474–496.
[12] F. Azarpanah, O. A. S. Karamzadeh and A. Rezai Aliabad, On ideals consisting entirely of zero divisors, Comm.
Algebra 28 (2000), no. 2, 1061–1073.
[13] F. Azarpanah, O. A. S. Karamzadeh and A. Rezai Aliabad, On z-ideals in C(X), Fund. Math. 160 (1999), no. 1, 15–25.
[14] F. Azarpanah and M. Karavan, Nonregular ideals and z-ideals in C(X), Czechoslovak Math. J. 55 (2005), no. 130, 397–407.
[15] F. Azarpanah and O. A. S. Karamzadeh, Algebraic characterizations of some disconnected spaces, Ital. J. Pure Appl. Math. 12 (2002) 155–168.
[16] F. Azarpanah, and R. Mohamadian, ‎$\sqrt{z}$-ideals and $\sqrt{z^\circ}$-ideals in C(X), Acta. Math. Sin. 23 (2007), no. 6, 989–996.
[17] F. Azarpanah, R. Mohamadian and P. Monjezi, On PF -spaces, Topology Appl. 302 (2021), Paper No. 107821, 8 pp.
[18] F. Azarpanah, M. Namdari and A. R. Olfati, On subrings of the form I + C(X), J. Commut. Algebra 11 (2019), 4, 479–509.
[19] F. Azarpanah and M. Parsinia, On the sum of z-ideals in subrings of C(X), J. Commut. Algebra 12 (2019), no. 4, 459–466.
[20] F. Azarpanah and A. Taherifar, Relative z-ideals in C(X), Topology Appl. 156 (2009), no. 9, 1711–1717.
[21] F. Azarpanah and A. R. Olfati, On ideals of ideals in C(X), Bull. Iran. Math. Soc. 41 (2015), no. 1, 23–41.
[22] F. Azarpanah, F. Manshoor and R. Mohamadian, Connectedness and compactness in C(X) with the m-topology and generalized m-topology, Topology Appl. 159 (2012), no. 16, 3486–3493.
[23] F. Azarpanah, M. Paimann and A. R. Salehi, Connectedness of some rings of quotients of C(X) with the m-topology, Comment. Math. Univ. Carolin. 56 (2015), no. 1, 63–76.
[24] F. Azarpanah and A. R. Salehi, Ideal structure of the classical ring of quotients of C(X), Topology Appl. 209 (2016) 170–180.
[25] S. K. Berberian, Baer -Rings, Springer-Verlag, 1972.
[26] S. J. Bernau, Topologies on structure spaces of lattice groups, Pac. J. Math. 42 (1972) 557–568.
[27] A. Bigard, K. Keimel and S. Wolfenstein, Groupes et Anneaux Réticulés, Lecture Notes in Mathematics 608, Springer-Verlag, Berlin-Heidelberg, New York, 1977.
[28] R. Bkouche, Pure, mollesse et paracompacite, C.R. Acad. Sci. Paris Ser. A 270 (1970) 1653–1655.
[29] A. S. Bondarev, The presence of projections in quotient lineals of vector lattices, Dokl. Akad. Nauk. UzSSR (1974), no. 8, 5–7.
[30] J. G. Brookshear, Projective ideals in rings of continuous functions, Pacific J. Math. 71 (1977), no. 2, 313–333.
[31] J. G. Brookshear, Projective prime ideals in C(X), Proc. Amer. Math. Soc. 69 (1978), 203–204
[32] M. Contessa, A note on Baer rings, J. Algebra 118 (1988), no. 1, 20–32.
[33] F. Dashiel, A Hager and M. Henriksen, Order-Cauchy complements of rings and vector-Lattices of continuous functions, Canadian J. Math. 32 (1980), no. 3, 657–685.
[34] G. De Marco, On countably generated z-ideals of C(X), Proc. Amer. Math. Soc. 31 (1972) 574–576.
[35] G. De Marco, Projectivity of pure ideals, Rend. Sem. Mat. univ. Padova 69 (1983) 289–304.
[36] W. E. Dietrich, Jr., On the ideal structure of C(X), Trans. Amer. Math. Soc. 152 (1970) 61–77.
[37] W. E. Dietrich, Jr., A note on the ideal structure of C(X), Proc. Amer. Math. Soc. 23 (1969) 174–178.
[38] J. M. Dominguez, J. Gomez and M. A. Mulero, Intermediate algebras between C(X) and C(X) as rings of fractios of C(X), Topology Appl. 77 (1997), no. 2, 115–130.
[39] E. van Douwen, Nonnormality or hereditary paracompactness of some spaces of real functions, Topolgy Appl. 39 (1991), no. 1, 3–32.
[40] G. Di Maio, L’. Holá, D. Holý and D. McCoy, Topology on the space of continuous functions, Topology Appl. 86 (1998) 105–122.
[41] T. Dube, Rings in which sums of d-ideals are d-ideals, J. Korean Math. Soc. 56 (2019), no. 2, 539–558.
[42] T. Dube and O. Ighedo, Comments regarding d-ideals of certain f-rings, J. Algebra Appl. 12 (2013), no. 6, 16 pp.
[43] R. Engelking, General Topology, Heldermann Verlag, Berlin, 1989.
[44] M. Etebar and M. Parsinia, On m-closure of ideals in a class of subrings of C(X), Filomat 37 (2023), no. 12, 3907–3913.
[45] N. J. Fine, L. Gillman and J Lambek, Rings of Quotients of Rings of Functions, Lect. Note Ser., McGill University Press, Montreal, 1966.,
[46] N. J. Fine and L. Gillman, Extensions of continuous in βN \ N, Bull. Amer. Math. Soc. 66 (1960) 376–381.
[47] L. Gillman, Countably generated ideals in rings of continuous functions, Proc. Amer. Math. Soc. 11 (1960) 660–666.
[48] L. Gillman and M. Henriksen, Concerning rings of continuous functions, Trans. Amer. Math. Soc. 77 (1954) 340–362.
[49] L. Gillman and M. Henriksen, Rings of continuous functions in which every finitely generated ideal is principal, Trans. Amer. Math. Soc. 82 (1956) 366–391.
[50] L. Gillman and M. Jerison, Rings of Continuous Functions, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960.
[51] L. Gillman and C. W. Kohls, Convex and pseudoprime ideals in rings of continuous functions, Math. Z. 72 (1950/60) 399–409.
[52] R. Gilmer and W. Heinzer, Imbeddability of a commutative ring in a finite-dimensional ring, Manuscripta Math. 84 (1994), no. 3-4, 401–414.
[53] J. Gomez-Pérez and W. W. McGovern, The m-topology on Cm(X) revisited, Topology Appl. 1530 (2006), no. 11, 1838–1848.
[54] M. Henriksen, Spaces with pretty base, J. Pure Appl. Algebra 70 (1991), no. 1-2, 81-87.
[55] M. Henriksen and F. A. Smith, Sums of z-ideals and semiprime ideals, pp. 272–278 in General topology and its relations to modern analysis and algebra (Prague, 1981), edited by J. Novak, Sigma Ser. Pure Math. 3, Heldermann, Berlin, 1983.
[56] M. Henriksen and M. Jerison, On a theorem of Gelfand and Kolmogoroff concerning maximal ideals in rings of continuous functions, Proc. Amer. Math. Soc. 5 (1954) 447–455.
[57] M. Henriksen and M. Jerison, The space of minimal prime ideals of a commutative ring, Trans. Amer. Math. Soc. 115 (1965) 110–130.
[58] M. Henriksen and R. G. Woods, Cozero complemented spaces; when the space of minimal prime ideals of a C(X) is compact, Topology Appl. 141 (2004), no. 1, 147–170.
[59] M. Henriksen, J. Martinz and R. G. Woods, Spaces X in which all prime z-ideals of C(X) are minimal or maximal, Comment. Math. Univ. Carolinae 44 (2003), no. 2, 261–294.
[60] E. Hewit, Rings of real-valued continuous functions, I, Trans. Amer. Math. Soc. 64 (1948) 54–99.
[61] J. A. Huckaba, Commutative Ring with Zero Divisors, Marcel-Dekker, Inc., New York, 1988.
[62] C. B. Huijsmans and B. de Pagter, On z-ideals and d-ideals in Riesz spaces, I, Nederl. Akad. Wetensch. Indag. Math. 42 (1980), no. 2, 183–195.
[63] T. jenkins and J. McKnight, Coherence classes of ideals in rings of continuous functions, Indag. Math. 24 (1962) 299–306.
[64] I. Kaplansky, Commutative Rings, Allyn and Bacon, Inc., Boston, 1970.
[65] O. A. S. Karamzadeh and M. Rostami, On the intrinsic topology and some related ideals of C(X), Proc. Amer. Math. Soc. 93 (1985), no. 1, 179–184.
[66] C.W. Kohls, The space of prime ideals, Fund. Math. 45 (1957) 17–27.
[67] C. W. Kohls, Ideals in rings of continuous functions, Fund. Math. 45 (1957) 28–50.
[68] C. W. Kohls, Prime ideals in rings of continuous functions, Illinois J. Math. 2 (1958) 505–536.
[69] C. W. Kohls, Prime ideals in rings of continuous functions, II, Duke Math. J. 25 (1958) 447–458.
[70] C. W. Kohls, A note on countably generated ideals in rings of continuous functions, Proc. Amer. Math. Soc. 12 (1961) 744–749.
[71] T. Y. Lam, Lectures on modules and rings, Graduate Texts in Mathematics, 189, Springer-Verlag, New York, 1999.
[72] S. Larson, Sums of semiprime, z; and d l-ideals in a class of f -rings, Proc. Amer. Math. Soc. 109 (1990), no. 4, 895–901.
[73] S. Larson, A characterization of f-rings in which the sum of semiprime l-ideas is semiprime and its consequences, Comm. Algebra 23 (1995), no. 14, 5461–5481.
[74] A. LeDonne, On a question concerning countably generated z-ideals of C(X), Proc. Amer. Math. Soc. 80 (1980), 3, 501–510.
[75] A. LeDonne, On countably generated z-ideals of C(X) for first countable spaces, Proc. Amer. Math. Soc. 82 (1981), 2, 280–282.
[76] R. Levy, Almost P-spaces, Canadian J. Math. 29 (1977), no. 2, 284–288.
[77] T . Lucas, Two annihilator conditions: property (A) and (a.c.), Comm. Algebra 14 (1986), no. 3, 557–580.
[78] W. A. J. Luxemburg, Extensions of prime ideals and the existence of projections in Riesz spaces, Indag. Math. 35 (1973) 263–279.
[79] W. Wm. McGovern, Rings of quotients of C(X) induced by points, Acta. Math. Hungar. 105 (2004), no. 3, 215–230.
[80] G. Mason, z-Ideals and prime ideals, J. Algebra 26 (1973) 280–297.
[81] G. Mason, Prime z-ideals of C(X) and related rings, Canad. Math. Bull. 23 (1980), no. 4, 437–443.
[82] G. Mason, Prime ideals and quotient rings of reduced rings, Math. Japon. 34 (1989), no. 6, 941–956.
[83] E. Matlis, The minimal prime spectrum of a reduced ring, Illinois J. Math. 27 (1983), no. 3 53–391.
[84] M. A. Mulero, Algebraic properties of rings of continuous functions, Fund. Math. 149 (1996), no. 1, 55–66.
[85] D. G. Northcott, Ideal Theory, Cambridge University Press, Cambridge, 1953.
[86] B. de Pagter, On z-ideals and d-ideals in Riesz spaces, III, Nederl. Akad. Wetensch. Indag. Math. 43 (1981), no. 4, 409–422.
[87] D. Plank, On a class of subalgebras of C(X) with applications to βX \ X, Fund. Math. 64 (1969) 41–54.
[88] D. Rudd, On two sum theorems for ideals of C(X), Michigan Math. J. 17 (1970) 139–141.
[89] D. Rudd, On structure spaces of ideals in rings of continuous functions, Trans. Amer. Math. Soc. 190 (1974) 393–403.
[90] W. Rudin, Homogeneity problems in the theory of Čech compactifications, Duke Math. J. 23 (1956) 409–419.
[91] T. Shirota, On ideals in rings of continuous functions, Proc. Japan. Acad. 30 (1954) 85–89.
[92] R. Sikorski, Boolean Algebra (second edition), Spriger-Verlag, Berlin-New York, 1964.
[93] T. P. Speed, A note on commutative Baer rings, J. Austral. Math. Soc. 14 (1972) 257–263.
[94] A. I. Veksler, P'-points, P'-sets, P'-spaces: A new class of order-continuous measures and functionals, Sov. Math. Dokl. (Eng. Trans.) 14 (1973) 1445–1450.
[95] S. Willard, General Topology, Addison-Wesley, New York, 1970.