A special class of congruences on -frames

DOI10.1007/S00012-017-0439-YzbMATH Open1423.06042arXiv1705.07085OpenAlexW3106465170MaRDI QIDQ2411684FDOQ2411684

Graham R. Manuell

Publication date: 24 October 2017

Published in: Algebra Universalis (Search for Journal in Brave)

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.

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)

Cites Work

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

Cited In (5)

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

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)