A special class of congruences on -frames

DOI10.1007/S00012-017-0439-YMaRDI QIDQ2411684zbMATH OpenOpenAlexFDO

Authors Graham R. Manuell

Publication date 24 October 2017

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1705.07085

zbMATH Keywords

closure\(\kappa\)-framecongruence frameclear congruence

Mathematics Subject Classification ID

Lattice ideals, congruence relations (06B10) Frames, locales (06D22) Structure and representation theory of distributive lattices (06D05)

Abstract: Madden has shown that in contrast to the situation with frames, the smallest dense quotient of a $kappa$-frame need not be Boolean. We characterise these so-called d-reduced $kappa$-frames as those which may be embedded as a generating sub-$kappa$-frame of a Boolean frame. We introduce the notion of the closure of a $kappa$-frame congruence and call a congruence clear if it is the largest congruence with a given closure. These ideas are used to prove $kappa$-frame analogues of known results concerning Boolean frame quotients. In particular, we show that d-reduced $kappa$-frames are precisely the quotients of $kappa$-frames by clear congruences and that every $kappa$-frame congruence is the meet of clear congruences.

Recommendations

• The congruence frame and the Madden quotient for partial frames
• Compactification of -frames
• \(\kappa\)-frames
• The Booleanization of a d-frame
• Quotients of d-frames

Cites work

• First Steps in Descriptive Theory of Locales
• Frames and Locales
• Modal extensions of Heyting algebras
• \(\kappa\)-frames

Cited in

(7)

• The Booleanization of a d-frame
• Variants of Booleanness: congruences of a partial frame versus those of its free frame
• Closed and open maps for partial frames
• An asymmetric characterization of the congruence frame
• The congruence frame and the Madden quotient for partial frames
• A look at the structure of congruence frames by means of Heyting congruences
• Strictly zero-dimensional biframes and a characterisation of congruence frames

This page was built for publication: A special class of congruences on \(\kappa\)-frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2411684)