pith. sign in

arxiv: 1201.3285 · v4 · pith:V5A63Z44new · submitted 2012-01-16 · 🧮 math.RA

Preserving meets in meet-dense poset completions

classification 🧮 math.RA
keywords latticelowercompletionsconditionsposetsemimodularadmitbottom
0
0 comments X
read the original abstract

Defining P* to be the complete lattice of upsets (ordered by reverse inclusion) of a poset P we give necessary and sufficient conditions on a subset S of P* for P to admit a meet-completion e from P to Q where e preserves the infimum of an upwardly closed set from P if and only if it is in S. We show that given S satisfying these conditions the set M of these completions forms a topped weakly lower semimodular lattice. In particular, when P is finite M is a lower semimodular lattice, and a lower bounded homomorphic image of a free lattice. We provide an example where M does not have a bottom element.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.