Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Metadata 
bibkey: hibi1987distributivelattices
authors: Takayuki Hibi
year: 1987
title: Distributive Lattices, Affine Semigroup Rings and Algebras with Straightening Laws
doi: 10.2969/aspm/01110093
url: https://doi.org/10.2969/aspm/01110093
claim: "Finite distributive lattices admit join-meet straightening relations; incomparable pairs are replaced by their meet and join."
strata_touched:
  - D5/S1/Words/AdmissibleWords/UncrossingFiber
license: citation-only
triage: anchor

Join-meet straightening on finite distributive lattices

Hibi’s paper supplies the classical straightening-law context for replacing an incomparable pair by its meet and join. The present Lean module uses only the finite Boolean meet and join instance, its explicit potential argument, and the resulting word-fiber consumer; it does not claim the classical qualitative connectivity or kernel theorem as new.

Verified locator

  • DOI: https://doi.org/10.2969/aspm/01110093