Abstract
A construction of the Stone—Čech compactification of a locale L is presented in this paper as a quotient of the frame of radical ideals of the algebra C *(L). As a corollary, a constructive, localic version of the Gelfand—Kolmogorov theorem is obtained.
Similar content being viewed by others
References
Banaschewski, B.: Pointfree topology and the spectra of l-rings, in Proc. Curacao Conf., June 1995, Kluwer Academic Publishers, Dordrecht, 1997, pp. 123–148.
Banaschewski, B.: Gelfand and exchange rings: Their spectra in pointfree topology, Arab. J. Sci. Eng. 25 (2000), 3–22.
Banaschewski, B. and Mulvey, C. J.: Stone-Čech compactification of locales, I, Houston J. Math. 6 (1980), 301–312.
Banaschewski, B. and Mulvey, C. J.: Stone-Čech compactification of locales II, J. Pure Appl. Algebra 33 (1984), 107–122.
Johnstone, P. T.: Wallman compactification of locales, Houston J. Math. 10 (1980), 201–206.
Johnstone, P. T.: Tychonoff's theorem without the axiom of choice, Fund. Math. 113 (1981), 21–35.
Johnstone, P. T.: Stone Spaces, Cambridge University Press, Cambridge, 1982.
Johnstone, P. T.: Almost maximal ideals, Fund. Math. 123 (1984), 197–209.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wei, H. A Constructive Proof of the Gelfand—Kolmogorov Theorem. Applied Categorical Structures 12, 197–202 (2004). https://doi.org/10.1023/B:APCS.0000018250.65771.5e
Issue Date:
DOI: https://doi.org/10.1023/B:APCS.0000018250.65771.5e