A curious nucleus
type: Item
instance of: scholarly article
title: A curious nucleus
zbMATH Open document ID: 1192.06009
author: Harold Simmons
published in: Journal of Pure and Applied Algebra
publication date: 2010-06-25T00:00:00Z
review text: This is an interesting paper about the following curious feature of an arbitrary frame \(A\): Let \(\mathfrak{J}A\) denote the frame of ideals of \(A\) and consider the assignment \(\Xi:A\rightarrow \mathfrak{J}A\) given by \[ \Xi(a)=\{x\in A\mid (\forall y\in A)[x\vee y=\top\Rightarrow a\vee y=\top]\}. \] The operator \(\xi:A\rightarrow A\) defined by \(\xi(a)=\bigvee\Xi(a)\) is a pre-nucleus on \(A\). The paper contains a study of this pre-nucleus and the associated nucleus together with the important property of subfitness. When \(A\) is the frame \(\mathfrak{J}D\) of ideals of a (bounded) distributive lattice \(D\), \(\xi\) coincides with the nucleus \(j_C\) introduced by \textit{T. Coquand} in [``Compact spaces and distributive lattices'', J. Pure Appl. Algebra 184, No. 1, 1--6 (2003; Zbl 1034.54005)]. What does the pre-nucleus \(\xi\) do? It measures how near to being subfit the given frame \(A\) is: \(A\) is subfit if and only if \(\xi\) is as small as possible, that is, \(A\) is subfit if and only if \(\xi\) is the identity function on \(A\). For non-subfit frames a lower bound for \(\xi\) is given. Furthermore, for the case of a spatial frame \(A\), an upper bound for \(\xi\) is also given. The paper is very well written, easy to read, and poses various interesting open questions.
reviewed by: Jorge Picado
Mathematics Subject Classification ID: 06D22
zbMATH DE Number: 5726611
zbMATH Keywords: pre-nucleus
zbMATH Keywords: nucleus
zbMATH Keywords: subfit frame
MaRDI profile type: Publication
full work available at URL: j.jpaa.2010.02.011
OpenAlex ID: W2038585944
cites work: Compact spaces and distributive lattices.
cites work: Quotient Frames and Subspaces
cites work: Q4045288
cites work: Atomless Parts of Spaces.
cites work: Q3965241
cites work: A ‘ T1’ space with no closed points, and a “ T1” locale which is not ‘ T1 ’
cites work: Q4668868
cites work: Q5442083
cites work: The lattice theoretic part of topological separation properties
cites work: Regularity, fitness, and the block structure of frames
DOI: 10.1016/J.JPAA.2010.02.011
Recommended article: More on a curious nucleus
Recommended article: On the sublocale of an algebraic frame induced by the \(d\)-nucleus
Recommended article: Yosida frames
Recommended article: Two functors induced by certain ideals of function rings.
Recommended article: Two notes on nuclei
Recommended article: Q3568664
Recommended article: More ring-theoretic characterizations of P-frames
Recommended article: Unit and kernel systems in algebraic frames
Recommended article: Strongly fixed ideals in $ C (L)$ and compact frames
Recommended article: An innocent theorem of Banaschewski, applied to an unsuspecting theorem of De Marco, and the aftermath thereof
description: scientific article; zbMATH DE number 5726611