Abstract
A Boolean term order is a total order on subsets of [n] ={1,..., n} such that ∅ ≺ α for all α \( \subseteq\) [n], α ≠ ∅, and α ≺ β ⇒ α ∪ γ ≺ β ∪ γ for all γ with γ ∩(α ∪ β) = ∅. Boolean term orders arise in several different areas of mathematics, including Gröbner basis theory for the exterior algebra, and comparative probability.
The main result of this paper is that Boolean term orders correspond to one-element extensions of the oriented matroid M(Bn), where Bn is the root system {ei : 1 ≤ i ≤ n} ∪{ei ± ej : 1 ≤ i < j ≤ n}. This establishes Boolean term orders in the framework of the Baues problem, in the sense of (Reiner, 1998). We also define a notion of coherence for a Boolean term order, and a flip relation between different term orders. Other results include examples of noncoherent term orders, including an example exhibiting flip deficiency, and enumeration of Boolean term orders for small values of n.
Similar content being viewed by others
References
Björner, A., Las Vergnas, M., Sturmfels, B., White, N. and Ziegler, G. (1993) Oriented Matroids, Encyclopedia of Mathematics and its Applications, Cambridge Univ. Press.
De Finetti, B. (1951) La “logica del plausible” secondo la conezione di Polya, in Società Italiana per il Progresso delle Scienze, XLII riunione, Roma, 1949, Relazioni, Vol. primo, Società Italiana per il Progresso delle Scienze, Roma, pp. 227–236.
Eisenbud, D. (1995) Commutative Algebra with a View Toward Algebraic Geometry, Vol. 150 of Graduate Texts in Mathematics, Springer-Verlag.
Fine, T. and Gill, J. (1976) The enumeration of comparative probability relations, Ann. Probab. 4, 667–673.
Fishburn, P. C. (1986) The axioms of subjective probability, Statist. Sci. 1(3), 335–358. With discussion.
Fishburn, P. C. (1996) Finite linear qualitative probability, J. Math. Psych. 40, 64–77.
Fishburn, P. C. (1997) Failure of cancellation conditions for additive linear orders, J. Combin. Designs 5, 353–365.
Kraft, C., Pratt, J. and Seidenberg, A. (1959) Intuitive probability on finite sets, A.Math. Statist. 30, 408–419.
Orlik, P. and Terao, H. (1992) Arrangements of Hyperplanes, Vol. 300 of Grundlehren der Mathematischen Wissenschaften, Springer-Verlag.
Reiner, V. (1998) The generalized Baues problem, Available at http://www.math.umn.edu/~reiner/Papers/papers.html.
Stokes, T. (1990) Gröbner bases in exterior algebra, J. Automated Reasoning 6, 233–250.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Maclagan, D. Boolean Term Orders and the Root System Bn . Order 15, 279–295 (1998). https://doi.org/10.1023/A:1006207716298
Issue Date:
DOI: https://doi.org/10.1023/A:1006207716298