Abstract
This article considers coherent frame homomorphisms h : L → M between coherent frames, which induce an isomorphism between the boolen frames of polars, with M projectable, and such that M is generated by h(L) and certain complemented elements of M. This abstracts the passage from a semiprime commutative ring with identity to its projectable hull. The frame theoretic setting is investigated thoroughly, first without any assumptions beyond the Zermelo–Fraenkel axioms of set theory, and, subsequently, assuming that algebraic frames are spatial. The culmination of this effort is the result that the spectrum of d-elements of M is obtained from that of L by refining the given hull–kernel topology to the patch topology. The second part of the article relates the projectable hull to the (von Neumann) regular hull, in a variety of contexts, including that of f-rings. For a uniformly complete f-algebra A, it is shown that the maximal ℓ-ideals of A that are traces of real maximal ideals of the regular hull HA are precisely the almost P-points of the space of maximal ℓ-ideals of A.
Similar content being viewed by others
References
Anderson, F.W.: Lattice-ordered rings of quotients. Canad. J. Math. 17, 434–448 (1965)
Aron, E.R., Hager, A.W.: Convex vector lattices and ℓ-algebras. Topology Appl. 121, 1–10 (1981)
Ball, R.N., Hager, A.W.: Characterization of epimorphisms in archimedean lattice-ordered groups and vector lattices. In: Glass, A.M.W., Holland, W.C. (eds.) Lattice-ordered Groups, Advances and Techniques. Kluwer, Dordrecht (1989)
Banaschewski, B.: Maximal rings of quotients of semisimple commutative rings. Arch. Math. XVI, 414–420 (1965)
Banaschewski, B.: Radical ideals and coherent frames. Comment. Math. Univ. Carolin. 37, 349–370 (1996)
Banaschewski, B., Pultr, A.: Booleanization. Cahiers Topologie Géom. Differentielle Catég. XXXVII-1, 41–60 (1996)
Bigard, A., Keimel, K., Wolfenstein, S.: Groupes et Anneaux Réticulés. In: Lecture Notes in Math, vol. 608. Springer, Berlin Heidelberg New York (1977)
Conrad, P.F., Martínez, J.: Complemented lattice-ordered groups. Indag. Math. (N.S.) 1(3), 281–298 (1990)
Darnel, M.R.: The Theory of Lattice-Ordered Groups. In: Monographs and Textbooks in Pure and Applied Mathematics, vol. 187. Marcel Dekker, New York (1995)
Fine, N., Gillman, L., Lambek, J.: Rings of quotients of rings of functions. Lecture Notes in Real Algebraic and Analytic Geometry, RAAG Network, Passau (2005)
Gillman, L., Jerison, M.: Rings of Continuous Functions. In: Graduate Texts in Mathematics, vol. 43. Springer, Berlin Heidelberg New York (1976)
Hager A.W., Martínez, J.: Fraction dense algebras and spaces. Canad. J. Math. 45(5), 977–996 (1993)
Hager, A.W., Martínez, J.: Hulls for various kinds of α-completeness in archimedean lattice-ordered groups. Order 16, 89–103 (1999)
Henriksen, M., Jerison, M.: The space of minimal prime ideals of a commutative ring. Trans. AMS 115, 110–130 (1976)
Henriksen, M., Johnson, D.G.: On the structure of a class of lattice-ordered algebras. Fund. Math. 50, 73–94 (1961)
Hochster, M.: Prime ideal structure in commutative rings. Trans. AMS 142, 43–60 (1969)
Huijsmans, C.B., de Pagter, B.: On z-ideals and d-ideals in Riesz spaces, I. Indag. Math. 42, 183–195 (1980)
Huijsmans, C.B., de Pagter, B.: On z-ideals and d-ideals in Riesz spaces, II. Indag. Math. 42, 391–408 (1980)
Huijsmans, C.B., de Pagter, B.: Maximal d-ideals in a Riesz space. Canad. J. Math. 35, 1010–1029 (1983)
Johnstone, P.T.: Stone Spaces. Cambridge Studies in Adv. Math, vol. 3. Cambridge University Press, Cambridge (1982)
Lambek, J.: Lectures on Rings and Modules (3rd edn.) Chelsea, New York (1986)
Levy, R.: Almost P-spaces. Canad. J. Math. 29(2), 284–288 (1977)
Martínez, J.: Archimedean lattices. Algebra Universalis 3(fasc. 2), 247–260 (1973)
Martínez, J.: The maximal ring of quotients of an f-ring. Algebra Universalis 33, 355–369 (1995)
Martínez, J.: Polar functions, I: the summand-inducing hull of an archimedean lattice-ordered group. In: Martínez, J. (ed.), Ordered Algebraic Structures, Proc. 2001 Gainesville Conf. pp. 275–299 (2002)
Martínez, J.: Unit and kernel systems in algebraic frames. Algebra Universalis 55, 13–43 (2006)
Martínez, J., Zenk, E.R.: When an algebraic frame is regular. Algebra Universalis 50, 231–257 (2003)
Martínez, J., Zenk, E.R.: Nuclear typings of frames vs spatial selectors. Appl. Categ. Structures 14, 35–61 (2006)
Martínez, J., Zenk, E.R.: Regularity in algebraic frames. (submitted)
Martínez, J., Zenk, E.R.: Epicompletion in frames with skeletal maps, II: Coherent normal archimedean frames. (work in progress)
Monteiro, A.: L’Arithmétique des filtres et les espaces topologiques. Segundo Symposium de Matemática; Villavicencio (Mendoza), pp. 129–162 (1954)
Raphael, R.M., Woods, R.G.: The epimorphic hull of C(X). Topology Appl. 105, 65–88 (2000)
Roby, N.: Diverses caractérisations des épimorphismes. In: Les Épimorphismes d’Anneaux. Sémin. d’Alg. Comm. (P. Samuel, Dir), École Norm. Sup. de J. Filles; Paris (1968)
Storrer, H.H.: Epimorphismen von kommutativen Ringen. Comment. Math. Helv. 43, 378–401 (1968)
Utumi, Y.: On quotient rings. Osaka J. Math. 8, 1–18 (1956)
Author information
Authors and Affiliations
Corresponding author
Additional information
For Bernhard Banaschewski, on the occasion of his 80th birthday.
Rights and permissions
About this article
Cite this article
Hager, A.W., Martínez, J. Patch-generated Frames and Projectable Hulls. Appl Categor Struct 15, 49–80 (2007). https://doi.org/10.1007/s10485-007-9062-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-007-9062-y
Key words
- projectable frames
- dense and *-dense homomorphisms
- patch-generated frames
- projectable and von Neumann regular hulls
- spectra and their almost P-points