English

Filter classes of upsets of distributive lattices

Logic 2023-03-30 v2

Abstract

Let us say that a class of upward closed sets (upsets) of distributive lattices is a finitary filter class if it is closed under homomorphic preimages, intersections, and directed unions. We show that the only finitary filter classes of upsets of distributive lattices are formed by what we call nn-filters. These are related to the finite Boolean lattice with nn atoms in the same way that filters are related to the two-element Boolean lattice: nn-filters are precisely the intersections of prime nn-filters and prime nn-filters are precisely the homomorphic preimages of the prime nn-filter of non-zero elements of the finite Boolean lattice with nn atoms. Moreover, nn-filters on Boolean algebras are the only finitary filter classes of upsets of Boolean algebras generated by prime upsets.

Keywords

Cite

@article{arxiv.2111.09806,
  title  = {Filter classes of upsets of distributive lattices},
  author = {Adam Přenosil},
  journal= {arXiv preprint arXiv:2111.09806},
  year   = {2023}
}

Comments

25 pages, 2 figures