Cevian operations on distributive lattices

DOI10.1016/J.JPAA.2019.106202MaRDI QIDQ2332142zbMATH OpenOpenAlexFDO

Authors Friedrich Wehrung

Publication date 1 November 2019

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1901.07548

zbMATH Keywords

Ceviancompletely normalcondensategrouplatticelattice-ordered

Mathematics Subject Classification ID

Partition relations (03E02) Other combinatorial set theory (03E05) Structure and representation theory of distributive lattices (06D05) MV-algebras (06D35) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Accessible and locally presentable categories (18C35)

Abstract: We construct a completely normal bounded distributive lattice D in which for every pair (a, b) of elements, the set {x $in$ D | a $le$ b $lor$ x} has a countable coinitial subset, such that D does not carry any binary operation - satisfying the identities x $le$ y $lor$(x-y),(x-y)$land$(y-x) = 0, and x-z $le$ (x-y)$lor$(y-z). In particular, D is not a homomorphic image of the lattice of all finitely generated convex {ell}-subgroups of any (not necessarily Abelian) {ell}-group. It has $aleph2elements.ThissolvesnegativelyafewproblemsstatedbyIberkleid,Mart\text{'}inez,andMcGovernin2011andrecentlybytheauthor.Thisworkalsoservesaspreparationforaforthcomingpaperinwhichweprovethatforanyinfinitecardinal$lambda$,theclassofStonedualsofspectraofallAbelianell-groupswithorder-unitisnotclosedunderL$infty${\displaystyle }$lambda$-elementary equivalence.

Review text

The second problem in the list of eleven problems in the present reviewer's book [the reviewer, Advanced Łukasiewicz calculus and MV-algebras. Berlin: Springer (2011; Zbl 1235.03002)], asks to characterize topologically the prime spectra of MV-algebras, or equivalently, of unital lattice-ordered abelian groups. In his paper [Trans. Am. Math. Soc. 371, No. 3, 2133--2158 (2019; Zbl 1472.06024)], the author gave such characterization for \textit{countable} MV-algebras. The paper under review is a continuation of this line of research, and is also a preparation of a forthcoming paper where a proof is announced that for any infinite cardinal $\lambda$, the class of Stone duals of spectra of all lattice-ordered abelian groups with order-unit is not closed under $L_{\infty\lambda}$-elementary equivalence. En passant, in the paper under review, the author solves negatively a number of problems posed by \textit{W. Iberkleid} et al. [Topology Appl. 158, No. 14, 1875--1887 (2011; Zbl 1231.06017)]. (As is fairly well known, the adjective ``Cevian in the title refers to the Italian mathematician Giovanni Ceva (1647--1734).)

Recommendations

• Cevian properties in ideal lattices of abelian \(\ell\)-groups
• An alternative proof of distributivity in \(l\)-groups
• scientific article; zbMATH DE number 3884231
• Distributive lattices with a homomorphic operation
• Convergences and higher degrees of distributivity of lattice ordered groups and of Boolean algebras

Cites work

• A completely normal spectral space that is not a real spectrum
• Advanced Łukasiewicz calculus and MV-algebras
• An infinite combinatorial statement with a poset parameter
• Categories of partial algebras for critical points between varieties of algebras.
• Conrad frames
• Distributive congruence lattices of congruence-permutable algebras
• Duality Theorems for Finitely Generated Vector Lattices
• Free Vector Lattices
• From noncommutative diagrams to anti-elementary classes
• From objects to diagrams for ranges of functors
• Groupes et anneaux reticules
• scientific article; zbMATH DE number 192848 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 3093863 (Why is no real title available?)
• Lattice Theory: Foundation
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Prime spectra of lattice-ordered abelian groups
• Spectral spaces of countable abelian lattice-ordered groups
• The possible values of critical points between varieties of lattices

Cited in

(11)

• Cevian properties in ideal lattices of abelian \(\ell\)-groups
• Strongly algebraically closed Cevian lattices
• Real spectra and \(\ell\)-spectra of algebras and vector lattices over countable fields
• Real spectrum versus \(\ell\)-spectrum via Brumfiel spectrum
• Cacti and filtered distributive laws
• From noncommutative diagrams to anti-elementary classes
• A solution to the MV-spectrum problem in size aleph one
• Elementary divisors, Hochster duality, and spectra
• Monotone-Cevian and finitely separable lattices
• The L-algebras related to prime spectra of Bézout domains and abelian -groups
• The spectrum problem for abelian \(\ell\)-groups and MV-algebras

This page was built for publication: Cevian operations on distributive lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2332142)