Monotone-Cevian and finitely separable lattices - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

Monotone-Cevian and finitely separable lattices

Résumé

A distributive lattice with zero is completely normal if its prime ideals form a root system under set inclusion. Every such lattice admits a binary operation (x,y) \mapsto x-y satisfying the rules x \leq y\vee (x-y) and (x-y) \wedge (y-x)=0 --- in short a deviation. In this paper we study the following additional properties of deviations: monotone (i.e., isotone in x and antitone in y) and Cevian (i.e., x-z \leq (x-y) \vee (y-z)). We relate those matters to finite separability as defined by Freese and Nation. We prove that every finitely separable completely normal lattice has a monotone deviation. We pay special attention to lattices of principal l-ideals of Abelian l-groups (which are always completely normal). We prove that for free Abelian l-groups (and also free vector lattices) those lattices admit monotone Cevian deviations. On the other hand, we construct an Archimedean l-group with strong unit whose principal l-ideal lattice does not have a monotone deviation.
Fichier principal
Vignette du fichier
MonCev.pdf (243.03 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04228820 , version 1 (04-10-2023)

Identifiants

Citer

Miroslav Ploscica, Friedrich Wehrung. Monotone-Cevian and finitely separable lattices. 2023. ⟨hal-04228820⟩
9 Consultations
9 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More