Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Cevian operations on distributive lattices

Abstract : We construct a completely normal bounded distributive lattice D in which for every pair (a, b) of elements, the set {x ∈ D | a ≤ b ∨ x} has a countable coinitial subset, such that D does not carry any binary operation - satisfying the identities x ≤ y ∨(x-y), (x-y)∧(y-x) = 0, and (x-y)∧(y-z) ≤ x-z ≤ (x-y)∨(y-z). In particular, D is not a homomorphic image of the lattice of all finitely generated convex ℓ-subgroups of any (not necessarily Abelian) ℓ-group. It has ℵ 2 elements. This solves negatively a few problems stated by Iberkleid, Martínez, and McGovern in 2011 and recently by the author. This work also serves as preparation for a forthcoming paper in which we prove that for any infinite cardinal λ, the class of Stone duals of spectra of all Abelian ℓ-groups with order-unit is not closed under L ∞λ-elementary equivalence.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download
Contributor : Friedrich Wehrung <>
Submitted on : Monday, January 21, 2019 - 3:42:25 PM
Last modification on : Monday, April 27, 2020 - 4:14:03 PM


Files produced by the author(s)


  • HAL Id : hal-01988169, version 1
  • ARXIV : 1901.07548


Friedrich Wehrung. Cevian operations on distributive lattices. 2019. ⟨hal-01988169v1⟩



Record views


Files downloads