Abstract
Convex sets may be viewed as algebras equipped with a set of binary convex combinations that is indexed by the open unit interval of real numbers. Convex sets generate the variety of barycentric algebras, which also includes semilattices where the semilattice multiplication is repeated uncountably many times. Barycentric algebras are defined by three axioms: idempotence, skew-commutativity, and skew-associativity. Since the skew-associativity axiom is rather complicated, Klaus Keimel has asked whether it can simply be replaced by the entropic law. It turns out that the answer is negative. The counterexamples presented and studied in this paper are known as threshold barycentric algebras, depending on a threshold taken from the left-hand side of the closed unit interval. They offer an entire spectrum of algebras, ranging from barycentric algebras for threshold 0 to commutative idempotent entropic groupoids for threshold 1/2.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Davey, B.A., Davis, G.: Tensor products and entropic varieties. Algebra Universalis 21, 68–88 (1985)
Frink, O.: Symmetric and self-distributive systems. Am. Math. Monthly 62, 697–707 (1955)
Gudder, S.: Convex structures and operational quantum mechanics. Comm. Math. Phys. 29, 249–264 (1973)
Ignatov, V.V.: Quasivarieties of convexors, (in Russian). Izv. Vyssh. Uchebn. Zaved. Mat. 29, 12–14 (1985)
Ježek, J., Kepka, T.: Medial Groupoids. Academia, Praha (1983)
Ježek, J., Kepka, T.: The lattice of varieties of commutative abelian distributive groupoids. Algebra Universalis 5, 225–237 (1975)
Loday, J.-L.: Dialgebras. In: Loday, J.L., Frabetti, A., Chapoton, F., Goichot, F. (eds.) Dialgebras and related operads, pp. 7–66. Springer Lecture Notes in Mathematics, Berlin (2001)
Keimel, K.: private communication (2015)
Matczak, K., Romanowska, A.: Quasivarieties of commutative binary modes. Studia Logica 78, 321–335 (2004)
Matczak, K., Smith, J.D.H.: Undirected replicas of directional binary algebras. J. Algebra Appl. 13, 1450051 (2014). (19 pp)
Neumann, W.D.: On the quasivariety of convex subsets of affine spaces. Arch. Math. (Basel) 21, 11–16 (1970)
Orłowska, E., Romanowska, A.B., Smith, J.D.H.: Abstract barycentric algebras. Fund. Inform. 81, 257–273 (2007)
Ostermann, F., Schmidt, J.: Der baryzentrische Kalkül als axiomatische Grundlage der affinen Geometrie. J. Reine Angew. Math. 224, 44–57 (1966)
Romanowska, A.B., Smith, J.D.H.: Modal Theory. Heldermann, Berlin (1985)
Romanowska, A.B., Smith, J.D.H.: On the structure of barycentric algebras. Houston J. Math. 16, 431–448 (1990)
Romanowska, A.B., Smith, J.D.H.: Modes. World Scientific, Singapore (2002)
Romanowska, A.B., Smith, J.D.H.: Barycentric algebras and gene expression. In: di Gesù, V., Pal, S.K., Petrosino, A. (eds.) WILF 2009, pp. 20–27. Springer Lecture Notes in Artificial Intelligence, Berlin (2009)
Skornyakov, L.A.: Stochastic algebras. Izv. Vyssh. Uchebn. Zaved. Mat. 29, 3–11 (1985)
Smith, J.D.H.: Modes, modals, and barycentric algebras: a brief survey and an additivity theorem. Demonstr. Math. 44, 571–587 (2011)
Smith, J.D.H.: Directional algebras. Houston J. Math. 42, 1–22 (2016)
Smith, J.D.H., Romanowska, A.B.: Post-Modern Algebra. Wiley, New York (1999)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by K. A. Kearnes.
The first author’s research was supported by the Warsaw University of Technology under grant number 504/03340/1120.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Komorowski, A., Romanowska, A.B. & Smith, J.D.H. Keimel’s problem on the algebraic axiomatization of convexity. Algebra Univers. 79, 22 (2018). https://doi.org/10.1007/s00012-018-0506-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-018-0506-z