Rings of continuous functions on \(\sigma \)-frames (Q536038): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5835185 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4396195 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the function ring functor in pointfree topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Realcompact spaces and regular σ -frames / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rings of functions determined by zero-sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some Nearly Fine Uniform Spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lindelöf locales and realcompactness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Shirota theorem for frames / rank | |||
Normal rank |
Latest revision as of 01:58, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Rings of continuous functions on \(\sigma \)-frames |
scientific article |
Statements
Rings of continuous functions on \(\sigma \)-frames (English)
0 references
16 May 2011
0 references
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)].
0 references
completely regular \(\sigma\)-frame
0 references
zero-dimensional \(\sigma\)-frame
0 references
rings of continuous functions on a \(\sigma\)-frame
0 references
cozero part of a frame
0 references