More on the Functor Induced by z-Ideals
Document Type
Article
Publication Date
6-21-2017
Abstract
An ideal I of a commutative ring A with identity is called a z-ideal if whenever two elements of A belong to the same maximal ideals and one of the elements is in I , then so is the other. For a completely regular frame L we denote by ZId(RL) the lattice of z-ideals of the ring RL of continuous real-valued functions on L. It is a coherent frame, and it is known that L → ZId(RL) is the object part of a functor Z : CRFrm → CohFrm, where CRFrm is the category of completely regular frames and frame homomorphisms, and CohFrm is the category of coherent frames and coherent maps. We explore when this functor preserves and reflects the property of being a Heyting homomorphism, and also when it preserves and reflects the variants of openness of Banaschewski and Pultr (Appl Categ Struct 2:331–350, 1994). We also record some other properties of this functor that have hitherto not been stated anywhere.
Recommended Citation
Ighedo, O. More on the Functor Induced by z-Ideals. Appl Categor Struct 26, 459–476 (2018). https://doi.org/10.1007/s10485-017-9498-7
Peer Reviewed
1
Copyright
Springer
Comments
This article was originally published in Applied Categorical Structures, volume 26, in 2018. https://doi.org/10.1007/s10485-017-9498-7
The Link to Full Text button above directs users to a free read-only version of the article.