Keimel's problem on the algebraic axiomatization of convexity
type: Item
instance of: scholarly article
title: Keimel's problem on the algebraic axiomatization of convexity
zbMATH Open document ID: 1400.08002
author: A. Komorowski
author: Anna Romanowska
author: J. D. H. Smith
published in: Algebra Universalis
publication date: 2018-07-16T00:00:00Z
review text: In this paper, the authors study the following: real convex sets may be presented algebraically as sets with binary operations given by weighted means, the weights being taken from the open unit interval \(I\circ=]0,1[\) in the set of reals. The class of convex sets is a quasivariety, and generates the variety, defined by identities of so called barycentric algebras (see Section 2). Both these classes have a well-developed theory. In particular, like all modes, barycentric algebras implement self-distributivity in the sense of \textit{O. Frink} [Am. Math. Mon. 62, 697--707 (1955; Zbl 0065.26501)]. The variety of barycentric algebras contains convex sets, semilattices, and certain semilattice sums of convex sets. It is defined by three types of axioms: idempotence, skew commutativity, and skew-associativity, the latter two implying the entropic property that each operation is a homomorphism. Since the skew-associativity axiom is rather complicated, Klaus Keimel asked whether it may simply be replaced by entropicity alone. In this paper, the authors show that the answer is negative. They construct an entropic algebra, of the same type as barycentric algebras, which is idempotent and skew-commutative, but is not skew-associative (see Theorem 5.1). Together with barycentric algebras, the counterexample presented by authors belongs to a much larger family of algebras described as threshold barycentric algebras, which model the concept of threshold convexity introduced in Section 4. Thus threshold barycentric algebras offer an entire spectrum of algebras, ranging from the usual barycentric algebras at one end to the commutative binary modes at the other.
reviewed by: C. Pereira da Silva
Mathematics Subject Classification ID: 08A05
Mathematics Subject Classification ID: 08A99
Mathematics Subject Classification ID: 52A01
zbMATH DE Number: 6904407
zbMATH Keywords: entropic algebra
zbMATH Keywords: barycentric algebra
zbMATH Keywords: convex set
zbMATH Keywords: semilattice
zbMATH Keywords: self-distributive
zbMATH Keywords: convexity
MaRDI profile type: Publication
full work available at URL: s00012-018-0506-z
OpenAlex ID: W2802557585
cites work: Tensor products and entropic varieties
cites work: Symmetric and Self-Distributive Systems
cites work: Q3724394
cites work: Q3308239
cites work: The lattice of varieties of commutative abelian distributive groupoids
cites work: Q2736579
cites work: Quasivarieties of cancellative commutative binary modes
cites work: Undirected replicas of directional binary algebras.
cites work: On the quasivariety on convex subsets of affine spaces
cites work: Q5445171
cites work: Der baryzentrische Kalkül als axiomatische Grundlage der affinen Geometrie.
cites work: Q3346381
cites work: Q5203081
cites work: Q4789441
cites work: Barycentric Algebras and Gene Expression
cites work: Q3712361
cites work: Modes, modals, and barycentric algebras: a brief survey and an additivity theorem
cites work: Directional algebras
cites work: Q4951437
Wikidata QID: Q129979432
DOI: 10.1007/S00012-018-0506-Z
description: scientific article; zbMATH DE number 6904407