Closure operators, frames and neatest representations

DOI10.1017/S0004972717000314zbMATH Open1423.06013MaRDI QIDQ4589153FDOQ4589153

Authors Robert Egrot

Publication date 7 November 2017

Published in Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

representationsposetsclosure operators

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Frames, locales (06D22) Logical aspects of lattices and related structures (03G10) Algebraic aspects of posets (06A11)

Abstract: Given a poset $P$ and a standard closure operator $Gamma:wp(P)owp(P)$ we give a necessary and sufficient condition for the lattice of $Gamma$-closed sets of $wp(P)$ to be a frame in terms of the recursive construction of the $Gamma$-closure of sets. We use this condition to show that given a set $mathcalU$ of distinguished joins from $P$, the lattice of $mathcalU$-ideals of $P$ fails to be a frame if and only if it fails to be $sigma$-distributive, with $sigma$ depending on the cardinalities of sets in $mathcalU$. From this we deduce that if a poset has the property that whenever $awedge(bveec)$ is defined for $a,b,cinP$ it is necessarily equal to $(awedgeb)vee(awedgec)$, then it has an $(omega,3)$-representation. This answers a question from the literature.

Recommendations

• On the representation of partially ordered sets
• Representations of algebraic lattices
• Pseudocomplements of closure operators on posets
• Closure operators on complete almost distributive lattices. III.
• Closure operators on complete almost distributive lattices. II

Cites work

• A Representation Theory for Prime and Implicative Semilattices
• Boolean Rings with Isomorphisms Preserving Suprema and Infima
• Closure
• Distributive partially ordered sets
• Distributivity in semilattices
• Each join-completion of a partially ordered set in the solution of a universal problem
• Embedding ordered sets into distributive lattices
• No finite axiomatizations for posets embeddable into distributive lattices
• On congruence lattices of lattices
• On separation properties in semilattices
• On the definition of distributive semilattices
• REPRESENTATION OF POSETS
• Representable posets
• Representation of partially ordered sets
• Standard completions for quasiordered sets
• The class of prime semilattices is not finitely axiomatizable
• Universal and internal properties of some completions of k-join-semilattices and k-join-distributive partially ordered sets.
• Universal and internal properties of some extensions of partially orderd sets.
• Weakly distributive semilattices

Cited in

(3)

• Recursive axiomatisations from separation properties
• scientific article; zbMATH DE number 1389229 (Why is no real title available?)
• On minimum matrix representation of closure operations

This page was built for publication: Closure operators, frames and neatest representations

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