Abstract
We characterize clean elements of \({\cal R}(L)\) and show that \(\alpha \in {\cal R}(L)\) is clean if and only if there exists a clopen sublocale U in L such that \({\mathfrak{c}_L}({\rm{coz}}(\alpha - {\bf{1}})) \subseteq U \subseteq {_L}({\rm{coz}}(\alpha))\). Also, we prove that \({\cal R}(L)\) is clean if and only if \({\cal R}(L)\) has a clean prime ideal. Then, according to the results about \({\cal R}(L)\), we immediately get results about \({{\cal C}_c}(L)\).
References
A. R. Aliabad, M. Mahmoudi: Pre-image of functions in C(L). Categ. Gen. Algebr. Struct. Appl. 15 (2021), 35–58.
F. Azarpanah: When is C(X) a clean ring? Acta. Math. Hung. 94 (2002), 53–58.
R. N. Ball, A. W. Hager: On the localic Yosida representation of an archimedean lattice ordered group with weak order unit. J. Pure Appl. Algebra 70 (1991), 17–43.
R. N. Ball, J. Walters-Wayland: C- and C*-quotients in pointfree topology. Diss. Math. 412 (2002), 1–62.
B. Banaschewski: Pointfree topology and the spectra of f-rings. Ordered Algebraic Structures. Kluwer Academic, Dordrecht, 1997, pp. 123–148.
B. Banaschewski: The real numbers in pointfree topology. Textos de Mathemática. Series B 12. Universidade de Coimbra, Coimbra, 1997.
B. Banaschewski: Gelfand and exchange rings: Their spectra in pointfree topology. Arab. J. Sci. Eng., Sect. C, Theme Issues 25 (2000), 3–22.
B. Banaschewski: On the pointfree counterpart of the local definition of classical continuous maps. Categ. Gen. Algebr. Struct. Appl. 8 (2018), 1–8.
B. Banaschewski, C. Gilmour: Pseudocompactness and the cozero part of a frame. Commentat. Math. Univ. Carol. 37 (1996), 577–587.
T. Dube: Concerning P-frames, essential P-frames, and strongly zero-dimensional frames. Algebra Univers. 61 (2009), 115–138.
M. Elyasi, A. A. Estaji, M. Robat Sarpoushi: Locally functionally countable subalgebra of R(L). Arch. Math., Brno 56 (2020), 127–140.
A. A. Estaji, A. Karimi Feizabadi, M. Robat Sarpoushi: †c-ideals and prime ideals in ring Rc(L). Filomat 32 (2018), 6741–6752.
A. A. Estaji, M. Robat Sarpoushi, M. Elyasi: Further thoughts on the ring Rc(L) in frames. Algebra Univers. 80 (2019), Article ID 43, 14 pages.
M. J. Ferreira, J. Picado, S. M. Pinto: Remainders in pointfree topology. Topology Appl. 245 (2018), 21–45.
P. T. Johnstone: Stone Spaces. Cambridge Studies in Advanced Mathematics 3. Cambridge University Press, Cambridge, 1982.
P. T. Johnstone: Cartesian monads on toposes. J. Pure Appl. Algebra 116 (1997), 199–220.
P. T. Johnstone: Topos Theory. London Mathematical Society Monographs 10. Academic Press, New York, 1997.
O. A. S. Karamzadeh, M. Namdari, S. Soltanpour: On the locally functionally countable subalgebra of C(X). Appl. Gen. Topol. 16 (2015), 183–207.
A. Karimi Feizabadi, A. A. Estaji, M. Robat Sarpoushi: Pointfree topology version of image of real-valued continuous functions. Categ. Gen. Algebr. Struct. Appl. 9 (2018), 59–75.
H. Kou, M. K. Luo: Strongly zero-dimensional locales. Acta Math. Sin., Engl. Ser. 18 (2002), 47–54.
R. Mehri, R. Mohamadian: On the locally countable subalgebra of C(X) whose local domain is cocountable. Hacet. J. Math. Stat. 46 (2017), 1053–1068.
J. Picado, A. Pultr: Frames and Locales: Topology Without Points. Frontiers in Mathematics. Springer, Berlin, 2012.
M. Robat Sarpoushi: Pointfree Topology Version of Continuous Functions with Countable Image: Ph.D. Thesis. Hakim Sabzevari University, Sabzevar, 2017.
M. Taha, A. A. Estaji, M. Robat Sarpoushi: On the regularity of Cc(L). 53nd Annual Iranian Mathematics Confrence, University of Science & Technology of Mazandaran, September 5–8, 2022. pp. 1323–1326.
Acknowledgements
We would like to express our deep gratitude to the referee for improving the article with useful comments.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Estaji, A.A., Taha, M. The clean elements of the ring \({\cal R}(L)\). Czech Math J 74, 211–230 (2024). https://doi.org/10.21136/CMJ.2023.0062-23
Received:
Published:
Issue Date:
DOI: https://doi.org/10.21136/CMJ.2023.0062-23