When an algebraic frame is regular
A frame is a complete lattice \(L\) satisfying the distributive law \(a\wedge \bigvee S=\bigvee \{ a\wedge s\: s\in S\}\) for each \(a\in L\), \(S\subseteq L\). For each \(a\in L\), let \(a^{\perp }=\bigvee \{ x\in L; x\wedge a=0\}\). An element \(a\in L\) is called regular if \(a=\bigvee \{x\in L; x^{\perp }\vee a=1\}\). \(L\) is called regular if each \(a\in L\) is regular. The main theorem of the paper states that an algebraic frame \(L\) is regular iff its compact elements are complemented (i.e.\ if \(a\vee a^{\perp }=1\) for each \(a\in L\)). More generally, it is shown that each pseudocomplemented element is regular iff each \(c^{\perp \perp }\), with \(c\) compact, is complemented. With a mild assumption on \(L\), each \(c^{\perp }\), with \(c\) compact, is regular precisely when \(p\vee q=1\) for any two minimal primes \(p,q\in L\). These results are then interpreted in various frames of subobjects of \(l\)-groups and \(f\)-rings.
- Epicompletion in frames with skeletal maps. II: Compact normal joinfit frames
- Maximal d-subgroups and ultrafilters
- Some connections between frames of radical ideals and frames of \(z\)-ideals
- Amenable and locally amenable algebraic frames
- On fraction-dense algebraic frames
- Algebraic frames in which dense elements are above dense compact elements
- \(z\)-ideals in the real continuous function ring \(\mathcal{R}(L_{\tau}) \)
- On the lattice of \(z\)-ideals of a commutative ring
- On the sublocale of an algebraic frame induced by the \(d\)-nucleus
- Maximal d-elements of an algebraic frame
- Nuclear typing of frames vs spatial selectors
- On the sobriety of the inverse topology
- Yosida frames
- Feebly projectable algebraic frames and multiplicative filters of ideals
- Patch-generated frames and projectable hulls
- Morphisms and pushouts in compact normal joinfit frames
- Dimension in algebraic frames
- On the hull-kernel and inverse topologies as frames
- Saturation, Yosida covers and epicompleteness in compact normal frames
- Epicompletion in frames with skeletal maps. IV: \(\ast\)-regular frames
- Universal regular and completely regular frames.
- When certain prime ideals in rings of continuous functions are minimal or maximal.
- Comments regarding d-ideals of certain f-rings
- First steps going down on algebraic frames
- Rings in which sums of d-ideals are d-ideals
- Lamron ℓ-groups
- Epicompletion in frames with skeletal maps. III: When maps are closed
- Sublattices Generated by Polars
- When \(\mathrm{Min}(G)^{-1}\) has a clopen \(\pi\)-base.
- Topology of closure systems in algebraic lattices
- Conrad frames
- Martínez frames
- Semilattice base hierarchy for frames and its topological ramifications
- Max (dL) revisited
- Semi-Boolean and Yosida -groups, Martínez and Yosida frames, and the G+B construction
- The d-elements of precoherent preidempotent quantales and their applications
- MV-frames
- mz-elements in coherent quantales
- On the torsion ideal of a homomorphism
- Higher order mz-elements in coherent quantales
- On the structure of modal and tense operators on a Boolean algebra
- Revisiting Baer elements
- The Banaschewski-Sioen nucleus on an algebraic frame
- Two functors induced by certain ideals of function rings.
- Epicompletion in frames with skeletal maps. I: Compact regular frames
- Rigid extensions of algebraic frames
- Feebly projectable \(\ell \)-groups
- A natural equivalence for the category of coherent frames
- Regularity in algebraic frames
This page was built for publication: When an algebraic frame is regular
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2496171)
