Saved in:
Bibliographic Details
Main Author: Worley, Dale R.
Format: Preprint
Published: 2026
Subjects:
Online Access:https://arxiv.org/abs/2603.05841
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866910053554978816
author Worley, Dale R.
author_facet Worley, Dale R.
contents Birkhoff's representation theorem for finite distributive lattices states that any finite distributive lattice is isomorphic to the lattice of order ideals (lower sets) of the partial order of the join-irreducible elements of the lattice. We present a simplified version of Stone's extension of this theorem to general distributive lattices. We then apply this formulation to locally finite distributive lattices to produce a novel representation theorem: The lattice is isomorphic to the order ideals of the poset of prime filters of the lattice whose symmetric difference from a particular ideal is finite.
format Preprint
id arxiv_https___arxiv_org_abs_2603_05841
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle An extension of Birkhoff's representation theorem to locally-finite distributive lattices
Worley, Dale R.
Combinatorics
06B15
Birkhoff's representation theorem for finite distributive lattices states that any finite distributive lattice is isomorphic to the lattice of order ideals (lower sets) of the partial order of the join-irreducible elements of the lattice. We present a simplified version of Stone's extension of this theorem to general distributive lattices. We then apply this formulation to locally finite distributive lattices to produce a novel representation theorem: The lattice is isomorphic to the order ideals of the poset of prime filters of the lattice whose symmetric difference from a particular ideal is finite.
title An extension of Birkhoff's representation theorem to locally-finite distributive lattices
topic Combinatorics
06B15
url https://arxiv.org/abs/2603.05841