Rings of continuous functions on \(\sigma \)-frames
type: Item
instance of: scholarly article
title: Rings of continuous functions on \(\sigma \)-frames
zbMATH Open document ID: 1218.06007
author: Bernhard Banaschewski
author: Christopher Gilmour
published in: Topology and its Applications
publication date: 2011-05-16T00:00:00Z
review text: A frame homomorphism \(h\colon L\to M\) induces a ring homomorphism \(\mathcal{R}h\colon\mathcal{R}L\to\mathcal{R}M\) by the composition \(\alpha\mapsto h\cdot\alpha\), where \(\mathcal{R}L\) is the \(\ell\)-ring of real-valued continuous functions on a completely regular frame \(L\). Not every \(\ell\)-ring homomorphism \(\mathcal{R}L\to\mathcal{R}M\) arises in this fashion. Let \(A\) be a completely regular \(\sigma\)-frame, and denote by \(\mathcal{R}A\) the set of all \(\sigma\)-frame homomorphisms \(\mathfrak{L}(\mathbb{R})\to A\), where \(\mathfrak{L}(\mathbb{R})\) is the usual frame of reals. In the paper under review the authors make \(\mathcal{R}A\) an \(\ell\)-ring by defining addition, multiplication and partial order exactly as in the case of \(\mathcal{R}L\). Any \(\sigma\)-frame homomorphism \(\tau\colon A\to B\) induces an \(\ell\)-ring homomorphism \(\mathcal{R}\tau\colon\mathcal{R}A\to\mathcal{R}B\) by the composition as above. The first main result in the paper states that, for any completely regular \(\sigma\)-frames \(A\) and \(B\), any \(\ell\)-ring homomorphism \(\mathcal{R}A\to\mathcal{R}B\) is induced by a \(\sigma\)-frame homomorphism \(A\to B\). As the authors remark, this is ``in marked contrast with the situation for frames''. There is also an integer-valued analogue. The paper ends with a demonstration of how else, using appropriate functors, the main results could be arrived at. Appreciation for this paper will be enhanced by reading also the article [\textit{B. Banaschewski}, ``On the function ring functor in pointfree topology'', Appl. Categ. Struct. 13, No. 4, 305--328 (2005; Zbl 1158.54308)].
reviewed by: Themba Dube
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 06F25
Mathematics Subject Classification ID: 54C30
Mathematics Subject Classification ID: 54H10
zbMATH DE Number: 5888191
zbMATH Keywords: completely regular \(\sigma\)-frame
zbMATH Keywords: zero-dimensional \(\sigma\)-frame
zbMATH Keywords: rings of continuous functions on a \(\sigma\)-frame
zbMATH Keywords: cozero part of a frame
MaRDI profile type: Publication
full work available at URL: j.topol.2011.01.006
OpenAlex ID: W1976341232
cites work: Q5835185
cites work: Q4396195
cites work: On the function ring functor in pointfree topology
cites work: Realcompact spaces and regular σ -frames
cites work: Rings of functions determined by zero-sets
cites work: Some Nearly Fine Uniform Spaces
cites work: Lindelöf locales and realcompactness
cites work: A Shirota theorem for frames
DOI: 10.1016/J.TOPOL.2011.01.006
description: scientific article; zbMATH DE number 5888191